Deadness and how to disprove liveness in hybrid dynamical systems

DOI10.1016/j.tcs.2016.06.009zbMath1345.68215MaRDI QIDQ2629097

Eva María Navarro-López, Rebekah Carter

Publication date: 20 July 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.06.009

zbMATH Keywords

stability analysis; hybrid systems; liveness; hybrid automata; discontinuous systems

Mathematics Subject Classification ID

68Q45: Formal languages and automata

93D05: Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory

68Q60: Specification and verification (program logics, model checking, etc.)

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Uses Software

• MetiTarski
• KeYmaera
• RSOLVER
• Benchmarks
• HSolver
• LySHA
• Breach
• ABsolver