Compositional abstractions of hybrid control systems
From MaRDI portal
Publication:702842
DOI10.1023/B:DISC.0000018571.14789.24zbMath1060.93070OpenAlexW2125506596WikidataQ57582096 ScholiaQ57582096MaRDI QIDQ702842
Publication date: 19 January 2005
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:disc.0000018571.14789.24
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Large-scale systems (93A15) Axiomatic systems theory (93A05)
Related Items (9)
Trajectory-Based Theory for Hybrid Systems ⋮ Bisimilar Finite Abstractions of Interconnected Systems ⋮ Unnamed Item ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ Towards Component Based Design of Hybrid Systems: Safety and Stability ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ Networks of hybrid open systems ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems ⋮ Theorem of abstraction for equivalent controllers in hybrid systems
This page was built for publication: Compositional abstractions of hybrid control systems
