Composing Stability Proofs for Hybrid Systems

DOI10.1007/978-3-642-24310-3_20zbMath1348.68107OpenAlexW197679583MaRDI QIDQ3172858

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Attainable sets, reachability (93B03) Stability of control systems (93D99)

Related Items (2)

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

Uses Software

• PHAVer
• HyTech

Cites Work

• A theory of timed automata
• Region Stability Proofs for Hybrid Systems
• Composing Reachability Analyses of Hybrid Systems for Safety and Stability
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Composing Stability Proofs for Hybrid Systems