Stability of discrete-time switched linear systems with ω-regular switching sequences-Reference-Cited by-同舟云学术

Stability of discrete-time switched linear systems with ω-regular switching sequences

Published:2022-05-04 Issue: Volume: Page:
ISSN:
Container-title:25th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Aazan Georges¹,Girard Antoine²,Mason Paolo²,Greco Luca³

Affiliation:

1. LMF - Université Paris-Saclay, France

2. Laboratoire des Signaux et Systèmes - CNRS, France

3. Laboratoire des Signaux et Systèmes - Université Paris-Saclay, France

Funder

European Research Council

Agence Nationale de la Recherche

Publisher

ACM

Link

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

Reference18 articles.

1. Compositional Modeling and Analysis of Multi-Hop Control Networks

2. Stability analysis of switched linear systems defined by graphs

3. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press.

4. Convergence in Multiagent Coordination, Consensus, and Flocking

5. A Gel’fand-type spectral radius formula and stability of linear constrained switching systems

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An automata theoretic approach to observer design for switched linear systems;Automatica;2024-07

2. Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals;IEEE Control Systems Letters;2024

3. A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear Systems;Lecture Notes in Control and Information Sciences;2024

4. Characterization of the ordering of path-complete stability certificates with addition-closed templates;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09