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

zbMATH Keywords

verification; undecidability; Lyapunov stability; asymptotic stability; decidability; model checking

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

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

Stability analysis of planar probabilistic piecewise constant derivative systems, Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs, Abstraction based verification of stability of polyhedral switched systems

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