Manifolds, tensor analysis, and applications: 2nd edition
Manifolds, tensor analysis, and applications: 2nd edition
Nonlinear control systems: an introduction (2nd ed.)
Nonlinear control systems: an introduction (2nd ed.)
Theoretical Computer Science
Communication and Concurrency
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Towards Continuous Abstractions of Dynamical and Control Systems
Hybrid Systems IV
Subanalytic Stratifications and Bisimulations
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Concurrency, Graphs and Models
| Hi-index | 0.00 |
In this paper we consider the problem of extracting an abstraction from a hybrid control system while preserving timed languages. Such consistent abstractions are clearly useful as the abstracted, higher level model could be used for controller synthesis or verification of the more complicated lower level model. The class of abstracting maps we consider in this paper compress only the continuous states without aggregating any discrete states. Given such an abstracting map, we determine natural conditions that determine when trajectories of the original hybrid system can be generated by the abstracted hybrid system. Conversely, we determine conditions under which the two hybrid systems generate exactly the same timed language.