Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems
From MaRDI portal
Publication:6165341
DOI10.1016/j.automatica.2023.111165zbMath1520.93455arXiv2206.11176OpenAlexW4383336716WikidataQ124817358 ScholiaQ124817358MaRDI QIDQ6165341
Guillaume O. Berger, Sriram Sankaranarayanan
Publication date: 31 July 2023
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2206.11176
Linear programming (90C05) Lyapunov and storage functions (93D30) Linear systems in control theory (93C05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lower bounds on complexity of Lyapunov functions for switched linear systems
- Stability theory of switched dynamical systems
- Constrained stabilization of continuous-time linear systems
- Local stability analysis using simulations and sum-of-squares programming
- Complexity of stability and controllability of elementary hybrid systems
- Piecewise Lyapunov functions for robust stability of linear time-varying systems
- Piecewise linear control systems. A computational approach
- Exact computation of joint spectral characteristics of linear operators
- On absolute stability analysis by polyhedral Lyapunov functions
- Data driven stability analysis of black-box switched linear systems
- Homogeneous polynomial forms for robustness analysis of uncertain systems
- Polytope Lyapunov functions for stable and for stabilizable LSS
- Optimal control of constrained piecewise affine systems.
- Lectures on Modern Convex Optimization
- A Convex Condition for Robust Stability Analysis via Polyhedral Lyapunov Functions
- δ-Complete Decision Procedures for Satisfiability over the Reals
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- Nonquadratic Lyapunov functions for robust stability analysis of linear uncertain systems
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Counterexample Guided Abstraction Refinement for Stability Analysis
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
- Set-theoretic methods in control