Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once

DOI10.1007/978-3-319-22975-1_15zbMath1465.93101OpenAlexW2185991397MaRDI QIDQ2945598

Eike Möhlmann, Willem Hagemann, Oliver Theel

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22975-1_15

zbMATH Keywords

geometrystabilityhybrid systemsreachabilitysafetyautomatic verificationLyapunov theoryunrolling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybridization methods for the analysis of nonlinear systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
• Accurate hybridization of nonlinear systems
• Avoiding geometric intersection operations in reachability analysis of hybrid systems
• Lyapunov abstractions for inevitability of hybrid systems
• Pre-orders for reasoning about stability
• Stabhyli
• Component based design of hybrid systems
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• Region Stability Proofs for Hybrid Systems
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Fully Automated Stability Verification for Piecewise Affine Systems
• Decompositional Construction of Lyapunov Functions for Hybrid Systems
• Reachability Analysis of Hybrid Systems Using Support Functions
• CSDP, A C library for semidefinite programming
• Computational techniques for hybrid system verification
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Hybrid Systems: Computation and Control

This page was built for publication: Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once