Characterization of the ordering of path-complete stability certificates with addition-closed templates
DOI10.1145/3575870.3587114MaRDI QIDQ6202083FDOQ6202083
Authors: Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers 
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
- Switching in systems and control
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
- Conjugate Convex Lyapunov Functions for Dual Linear Differential Inclusions
- Joint spectral radius and path-complete graph Lyapunov functions
- Stability of discrete-time switching systems with constrained switching sequences
- Stability of shuffled switched linear systems: A joint spectral radius approach
- Smooth Lyapunov functions and robustness of stability for difference inclusions
- A Characterization of Lyapunov Inequalities for Stability of Switched Systems
- Switching systems with dwell time: computing the maximal Lyapunov exponent
- On Path-Complete Lyapunov Functions: Geometry and Comparison
- Comparison of path-complete Lyapunov functions via template-dependent lifts
- A complete characterization of the ordering of path-complete methods
- Path-complete graphs and common Lyapunov functions
- Converse Lyapunov Theorems for Discrete-Time Switching Systems With Given Switches Digraphs
This page was built for publication: Characterization of the ordering of path-complete stability certificates with addition-closed templates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202083)
