Abstraction based verification of stability of polyhedral switched systems
DOI10.1016/j.nahs.2020.100856zbMath1441.93225OpenAlexW3003200707MaRDI QIDQ2178203
Pavithra Prabhakar, Miriam García Soto
Publication date: 7 May 2020
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2020.100856
abstractioncounterexample generationmodel-checking techniquespolyhedral switched systemsstability verification
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Asymptotic stability in control theory (93D20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hybridization methods for the analysis of nonlinear systems
- On finding the strongly connected components in a directed graph
- Switching in systems and control
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
- On the decidability of stability of hybrid systems
- Stabhyli
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- On a routing problem
- Common Polynomial Lyapunov Functions for Linear Switched Systems
- Automatic Abstraction Refinement for Timed Automata
- Stability and Stabilization of Continuous‐Time Switched Linear Systems
- Counterexample Guided Abstraction Refinement for Stability Analysis
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
- Uniform Stability of Switched Linear Systems: Extensions of LaSalle's Invariance Principle
- Hybrid dynamical systems
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
This page was built for publication: Abstraction based verification of stability of polyhedral switched systems