Abstraction based verification of stability of polyhedral switched systems

DOI10.1016/J.NAHS.2020.100856zbMATH Open1441.93225OpenAlexW3003200707MaRDI QIDQ2178203FDOQ2178203

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

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

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)

Cites Work

• Stabhyli
• 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 (4)

• Hybrid Systems: Computation and Control
• 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

• 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)