Abstraction based verification of stability of polyhedral switched systems

DOI10.1016/J.NAHS.2020.100856MaRDI QIDQ2178203zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

abstractioncounterexample generationmodel-checking techniquespolyhedral switched systemsstability verification

Mathematics Subject Classification ID

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)

Recommendations

• Hybridization for Stability Analysis of Switched Linear Systems
• Formal synthesis of stabilizing controllers for switched systems
• Stability of switched polynomial systems
• Hybrid Systems: Computation and Control
• A numerical technique for the stability analysis of linear switched systems

Cites work

• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
• Automatic Abstraction Refinement for Timed Automata
• Common Polynomial Lyapunov Functions for Linear Switched Systems
• Counterexample guided abstraction refinement for stability analysis
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 5347321 (Why is no real title available?)
• scientific article; zbMATH DE number 1956582 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Hybrid automata-based CEGAR for rectangular hybrid systems
• Hybrid dynamical systems
• Hybridization methods for the analysis of nonlinear systems
• On a routing problem
• On finding the strongly connected components in a directed graph
• On the decidability of stability of hybrid systems
• Simulation-guided Lyapunov analysis for hybrid dynamical systems
• Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
• Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
• Stability and Stabilization of Continuous‐Time Switched Linear Systems
• Switching in systems and control
• Uniform Stability of Switched Linear Systems: Extensions of LaSalle's Invariance Principle

Cited in

(6)

• Synthesis of P-stable abstractions
• A numerical technique for the stability analysis of linear switched systems
• Formal synthesis of stabilizing controllers for switched systems
• Hybrid Systems: Computation and Control
• Verifying Switched System Stability With Logic
• Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems

Describes a project that uses

Uses Software

• NetworkX
• GLPK
• z3
• PPL
• SpaceEx
• Stabhyli
• Averist

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)