Abstract
Concurrency theory and formal verification of discrete systems have resulted in a wealth of system relationships, including the notions of language inclusion, simulation and bisimulation relations. These notions have had great impact in not only reducing the analysis complexity of discrete systems, but also in reducing problems for continuous and hybrid systems to purely discrete problems.
Such relationships for discrete systems require system observations to be identical. When interacting with the physical world, modeled by continuous or hybrid systems, exact relationships are restrictive and not robust. In this talk, we will present a framework of system approximation that applies to discrete, continuous, and hybrid systems by developing notions of approximate language inclusion, approximate simulation, and approximate bisimulation relations. We define a hierarchy of approximation pseudo-metrics between two systems that quantify the quality of the approximation, and capture the established exact relationships as zero sections.
Algorithms are developed for computing the proposed pseudo-metrics, both exactly and approximately. The exact algorithms require the generalization of the fixed point algorithms for computing simulation and bisimulation relations, or dually, the solution of a static game whose cost is the so-called branching distance between the systems. Approximations for the pseudo-metrics can be obtained by considering Lyapunov-like functions called simulation and bisimulation functions. We will present algorithms for computing the proposed pseudo-metrics for a variety of classes of continuous, hybrid systems, and stochastic hybrid systems, as well as in approximating continuous systems by purely discrete ones.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pappas, G.J. (2009). Approximations of Discrete, Continuous, and Hybrid Systems. In: Ouaknine, J., Vaandrager, F.W. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2009. Lecture Notes in Computer Science, vol 5813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04368-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-04368-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04367-3
Online ISBN: 978-3-642-04368-0
eBook Packages: Computer ScienceComputer Science (R0)