Region Stability Proofs for Hybrid Systems

DOI10.1007/978-3-540-75454-1_23zbMath1141.93353OpenAlexW1605350484MaRDI QIDQ3510850

Silke Wagner, Andreas Podelski

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://edoc.mpg.de/356626

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stability of control systems (93D99)

Related Items (5)

Composing Stability Proofs for Hybrid Systems ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ \textsc{LTL} falsification in infinite-state systems

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