Author:
Aazan Georges,Girard Antoine,Greco Luca,Mason Paolo
Funder
European Research Council
Agence nationale de la recherche
Reference33 articles.
1. Stability of shuffled switched linear systems: A joint spectral radius approach;Aazan;Automatica,2022
2. Aazan, G., Girard, A., Mason, P., & Greco, L. (2022). Stability of discrete-time switched linear systems with ω-regular switching sequences. In ACM international conference on hybrid systems: computation and control (pp. 1–7).
3. Switching observers for continuous-time and discrete-time linear systems;Alessandri,2001
4. Compositional modeling and analysis of multi-hop control networks;Alur;IEEE Transactions on Automatic control,2011
5. Pathwise observability and controllability are decidable;Babaali,2003