Region Stability Proofs for Hybrid Systems
From MaRDI portal
Publication:3510850
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
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