Theory and computation of discrete state space decompositions for hybrid systems
DOI10.1016/J.EJCON.2012.09.001zbMATH Open1293.93129OpenAlexW2085444703MaRDI QIDQ397399FDOQ397399
Elena De Santis, Maria D. Di Benedetto
Publication date: 12 August 2014
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ejcon.2012.09.001
System structure simplification (93B11) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Switching in systems and control
- Bisimilar linear systems.
- O-minimal hybrid systems.
- Observability and controllability of piecewise affine and hybrid systems
- Analysis and synthesis of switched linear control systems
- Bisimilar control affine systems
- Controllers for reachability specifications for hybrid systems
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- A structural approach to detectability for a class of hybrid systems
- Digital idle speed control of automotive engines: a safety problem for hybrid systems
- Bisimulation relations for dynamical, control, and hybrid systems
- Editorial: Observability and observer-based control of hybrid systems
- Hybrid automata with finite bisimulations
- Computation of Maximal Safe Sets for Switching Systems
- Hybrid Systems: Computation and Control
- Equivalence of switching linear systems by bisimulation
Cited In (3)
This page was built for publication: Theory and computation of discrete state space decompositions for hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397399)