On the decidability of stability of hybrid systems
DOI10.1145/2461328.2461339zbMath1362.68180MaRDI QIDQ2986910
Pavithra Prabhakar, Mahesh Viswanathan
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2461328.2461339
verification; undecidability; Lyapunov stability; asymptotic stability; decidability; model checking
68Q45: Formal languages and automata
93D05: Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory
93D20: Asymptotic stability 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)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on two problems in connexion with graphs
- Enhancing model checking in verification by AI techniques
- Receding horizon control for temporal logic specifications
- Model Repair for Probabilistic Systems
- Markov decision processes and regular events
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability