Theory and computation of discrete state space decompositions for hybrid systems
From MaRDI portal
Publication:397399
DOI10.1016/j.ejcon.2012.09.001zbMath1293.93129MaRDI QIDQ397399
Maria Domenica Di Benedetto, Elena De Santis
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
93B11: System structure simplification
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A structural approach to detectability for a class of hybrid systems
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Controllers for reachability specifications for hybrid systems
- Switching in systems and control
- Bisimilar linear systems.
- Analysis and synthesis of switched linear control systems
- O-minimal hybrid systems.
- Bisimilar control affine systems
- Digital idle speed control of automotive engines: a safety problem for hybrid systems
- Bisimulation relations for dynamical, control, and hybrid systems
- Observability and controllability of piecewise affine and hybrid systems
- 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