Region Stability Proofs for Hybrid Systems

DOI10.1007/978-3-540-75454-1_23MaRDI QIDQ3510850zbMATH OpenOpenAlexFDO

Authors Andreas Podelski, S. Wagner

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)

Recommendations

• Composing stability proofs for hybrid systems
• Hybrid Systems: Computation and Control
• Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Some Results in Stability Analysis of Hybrid Dynamical Systems

Cited in

(7)

• \textsc{LTL} falsification in infinite-state systems
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
• Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
• Composing stability proofs for hybrid systems
• Hybrid Systems: Computation and Control

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510850)