Lyapunov abstractions for inevitability of hybrid systems
DOI10.1145/2185632.2185652zbMATH Open1361.68145OpenAlexW2066057891MaRDI QIDQ2986758FDOQ2986758
Authors: Parasara Sridhar Duggirala, Sayan Mitra 
Publication date: 16 May 2017
Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2185632.2185652
Recommendations
- Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
- Non-convex invariants and urgency conditions on linear hybrid automata
- The algorithmic analysis of hybrid systems
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Lyapunov and storage functions (93D30) Hybrid systems of ordinary differential equations (34A38)
Cited In (9)
- An axiomatic approach to existence and liveness for differential equations
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Deadness and how to disprove liveness in hybrid dynamical systems
- Stability analysis of planar probabilistic piecewise constant derivative systems
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
Uses Software
This page was built for publication: Lyapunov abstractions for inevitability of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986758)
