Composing stability proofs for hybrid systems
From MaRDI portal
Publication:3172858
DOI10.1007/978-3-642-24310-3_20zbMATH Open1348.68107OpenAlexW197679583MaRDI QIDQ3172858FDOQ3172858
Authors: Corina Mitrohin, Andreas Podelski 
Publication date: 7 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_20
Recommendations
- Region Stability Proofs for Hybrid Systems
- Composing reachability analyses of hybrid systems for safety and stability
- Hybrid Systems: Computation and Control
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
Formal languages and automata (68Q45) Attainable sets, reachability (93B03) Stability of control systems (93D99)
Cites Work
Cited In (8)
- Hybrid Systems: Computation and Control
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Towards Component Based Design of Hybrid Systems: Safety and Stability
- Deadness and how to disprove liveness in hybrid dynamical systems
- Region Stability Proofs for Hybrid Systems
- A complete-order hybrid identifier for multiprogrammed stabilization
- Composing reachability analyses of hybrid systems for safety and stability
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
Uses Software
This page was built for publication: Composing stability proofs for hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172858)
