Characterization of the ordering of path-complete stability certificates with addition-closed templates-Reference-Cited by-同舟云学术

Characterization of the ordering of path-complete stability certificates with addition-closed templates

Published:2023-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Debauche Virginie¹^ORCID,Della Rossa Matteo¹^ORCID,Jungers Raphaël¹^ORCID

Affiliation:

1. UCLouvain, Belgium

Funder

CHIST-ERA

European Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3575870.3587114

Reference23 articles.

1. G. Aazan A. Girard P. Mason and L. Greco. 2022. Stability of Discrete-Time Switched Linear Systems with ω -Regular Switching Sequences(HSCC ’22). Association for Computing Machinery New York NY USA. G. Aazan A. Girard P. Mason and L. Greco. 2022. Stability of Discrete-Time Switched Linear Systems with ω -Regular Switching Sequences(HSCC ’22). Association for Computing Machinery New York NY USA.

2. Joint Spectral Radius and Path-Complete Graph Lyapunov Functions

3. D. Angeli N. Athanasopoulos R.M. Jungers and M. Philippe. 2017. Path-Complete Graphs and Common Lyapunov Functions(HSCC ’17). Association for Computing Machinery New York NY USA 81–90. D. Angeli N. Athanasopoulos R.M. Jungers and M. Philippe. 2017. Path-Complete Graphs and Common Lyapunov Functions(HSCC ’17). Association for Computing Machinery New York NY USA 81–90.

4. MOSEK ApS. 2019. The MOSEK optimization toolbox for MATLAB manual. Version 9.0.http://docs.mosek.com/9.0/toolbox/index.html MOSEK ApS. 2019. The MOSEK optimization toolbox for MATLAB manual. Version 9.0.http://docs.mosek.com/9.0/toolbox/index.html

5. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems