Lyapunov abstractions for inevitability of hybrid systems

DOI10.1145/2185632.2185652zbMath1361.68145OpenAlexW2066057891MaRDI QIDQ2986758

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

zbMATH Keywords

stabilityhybrid systemslivenessswitching systemsformal methodsabstraction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Lyapunov and storage functions (93D30) 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) Hybrid systems of ordinary differential equations (34A38)

Related Items (6)

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Stability analysis of planar probabilistic piecewise constant derivative systems ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

Uses Software

• Sostools
• PHAVer
• StateFlow
• LySHA

This page was built for publication: Lyapunov abstractions for inevitability of hybrid systems