Composing reachability analyses of hybrid systems for safety and stability

DOI10.1007/978-3-642-15643-4_7MaRDI QIDQ4931283zbMATH OpenOpenAlexWikidataFDO

Authors Sergiy Bogomolov, Corina Mitrohin, 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)

Recommendations

• Composing stability proofs for hybrid systems
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Reachability Analysis of Hybrid Systems Using Support Functions
• Safe \& robust reachability analysis of hybrid systems
• Hybrid Systems: Computation and Control

Cited in

(12)

• Combinatorial methods for invariance and safety of hybrid systems
• Safe \& robust reachability analysis of hybrid systems
• Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Composing stability proofs for hybrid systems
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Comparing Forward and Backward Reachability as Tools for Safety Analysis
• Reachability Analysis of Hybrid Systems Using Support Functions
• A computational approach to synthesizing guards for hybrid systems
• Local lipschitzness of reachability maps for hybrid systems with applications to safety
• Hybrid Systems: Computation and Control
• Spread the work: multi-threaded safety analysis for hybrid systems

Describes a project that uses

Uses Software

• PHAVer
• HyTech

This page was built for publication: Composing reachability analyses of hybrid systems for safety and stability

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