On the decidability of stability of hybrid systems

DOI10.1145/2461328.2461339zbMath1362.68180OpenAlexW1979256001MaRDI 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

verificationundecidabilityLyapunov stabilityasymptotic stabilitydecidabilitymodel checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Asymptotic stability in control theory (93D20) 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)

Related Items (3)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the decidability of stability of hybrid systems