Characterization of the ordering of path-complete stability certificates with addition-closed templates
From MaRDI portal
Publication:6202083
DOI10.1145/3575870.3587114MaRDI QIDQ6202083
Matteo Della Rossa, Raphaël M. Jungers, Virginie Debauche
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Stability of discrete-time switching systems with constrained switching sequences
- Switching in systems and control
- Switching systems with dwell time: computing the maximal Lyapunov exponent
- Comparison of path-complete Lyapunov functions via template-dependent lifts
- Stability of shuffled switched linear systems: A joint spectral radius approach
- Smooth Lyapunov functions and robustness of stability for difference inclusions
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
- On Path-Complete Lyapunov Functions: Geometry and Comparison
- Converse Lyapunov Theorems for Discrete-Time Switching Systems With Given Switches Digraphs
- A complete characterization of the ordering of path-complete methods
- Path-Complete Graphs and Common Lyapunov Functions
- Conjugate Convex Lyapunov Functions for Dual Linear Differential Inclusions
- A Characterization of Lyapunov Inequalities for Stability of Switched Systems
- Joint Spectral Radius and Path-Complete Graph Lyapunov Functions
This page was built for publication: Characterization of the ordering of path-complete stability certificates with addition-closed templates
