On the Joint Spectral Radius of Shuffled Switched Linear Systems

Georges Aazan (1) , Antoine Girard (2) , Luca Greco (2) , Paolo Mason (2)

1 LMF - Laboratoire Méthodes Formelles
2 L2S - Laboratoire des signaux et systèmes

We present and develop tools to analyze stability properties of discrete-time switched linear systems driven by shuffled switching signals. A switching signal is said to be shuffled if all modes of the system are activated infinitely often. We establish a notion of joint spectral radius related to these systems: the shuffled joint spectral radius (SJSR) which intuitively measures the impact of shuffling on the decay rate of the system's state. We show how this quantity relates to stability properties of such systems. Specifically, from the SJSR, we can build a lower bound on the minimal shuffling rate in order to stabilize an unstable system. Then, we present several methods to approximate the SJSR, mainly by computing lower and upper bounds using Lyapunov methods and some automata theoretic techniques.

Mots clés: Switched Systems; Lyapunov Functions; Exponential Stability; Formal Languages and Automata

Domaines: Systèmes et contrôle [cs.SY]; Automatique / Robotique; Optimisation et contrôle [math.OC]

Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason. On the Joint Spectral Radius of Shuffled Switched Linear Systems. International Symposium on Mathematical Theory of Networks and Systems, 2022, Bayreuth, Germany. ⟨hal-03727152⟩