Composing Reachability Analyses of Hybrid Systems for Safety and Stability

DOI10.1007/978-3-642-15643-4_7zbMath1305.68110OpenAlexW1494613536WikidataQ62037237 ScholiaQ62037237MaRDI QIDQ4931283

Corina Mitrohin, Sergiy Bogomolov, Andreas Podelski

Publication date: 4 October 2010

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Composing Stability Proofs for Hybrid Systems ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)

Uses Software

• PHAVer
• HyTech

This page was built for publication: Composing Reachability Analyses of Hybrid Systems for Safety and Stability