Decidable hybrid systems

DOI10.1016/0895-7177(96)00072-6zbMath0858.93008OpenAlexW2022932655MaRDI QIDQ1922203

Anuj Puri, Pravin P. Varaiya

Publication date: 15 September 1996

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0895-7177(96)00072-6

zbMATH Keywords

hybrid systemsdifferential inclusionreachability problem

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Decidable hybrid systems ⋮ Control-invariance of hybrid systems with forcible events ⋮ A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems ⋮ First-order hybrid Petri nets. An application to distributed manufacturing systems

Cites Work

• The algorithmic analysis of hybrid systems
• Decidable hybrid systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item