Abstraction based verification of stability of polyhedral switched systems
DOI10.1016/J.NAHS.2020.100856zbMATH Open1441.93225OpenAlexW3003200707MaRDI QIDQ2178203FDOQ2178203
Authors: Miriam García Soto, Pavithra Prabhakar 
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
Recommendations
abstractioncounterexample generationmodel-checking techniquespolyhedral switched systemsstability verification
Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Asymptotic stability in control theory (93D20)
Cites Work
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- On a routing problem
- Switching in systems and control
- On finding the strongly connected components in a directed graph
- Title not available (Why is that?)
- Simulation-guided Lyapunov analysis for hybrid dynamical systems
- Stability and Stabilization of Continuous‐Time Switched Linear Systems
- Title not available (Why is that?)
- 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
- Common Polynomial Lyapunov Functions for Linear Switched Systems
- Title not available (Why is that?)
- Automatic Abstraction Refinement for Timed Automata
- Hybridization methods for the analysis of nonlinear systems
- On the decidability of stability of hybrid systems
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Title not available (Why is that?)
- Counterexample guided abstraction refinement for stability analysis
Cited In (6)
- Formal synthesis of stabilizing controllers for switched systems
- Hybrid Systems: Computation and Control
- Synthesis of P-stable abstractions
- Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
- Verifying Switched System Stability With Logic
- A numerical technique for the stability analysis of linear switched systems
Uses Software
This page was built for publication: Abstraction based verification of stability of polyhedral switched systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178203)
