Composing stability proofs for hybrid systems

DOI10.1007/978-3-642-24310-3_20MaRDI QIDQ3172858zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• A theory of timed automata
• Composing reachability analyses of hybrid systems for safety and stability
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Region Stability Proofs for Hybrid Systems

Cited in

(9)

• Hybrid tools for hybrid systems -- proving stability and safety at once
• A complete-order hybrid identifier for multiprogrammed stabilization
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Composing reachability analyses of hybrid systems for safety and stability
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Hybrid Systems: Computation and Control
• Region Stability Proofs for Hybrid Systems
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Deadness and how to disprove liveness in hybrid dynamical systems

Describes a project that uses

Uses Software

• PHAVer
• HyTech

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)