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

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

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

In this paper, we develop tools to analyze stability properties of discrete-time switched linear systems driven by switching signals belonging to a given ω-regular language. More precisely, we assume switching signals to be generated by a Büchi automaton where the alphabet corresponds to the modes of the switched system. We define notions of attractivity and uniform stability for this type of systems and also of uniform exponential stability when the considered Büchi automaton is deterministic. We then provide sufficient conditions to check these properties using Lyapunov and automata theoretic techniques. For a subclass of such systems with invertible matrices, we show that these conditions are also necessary. We finally show an example of application in the context of synchronization of oscillators over a communication network.

Mots clés: Switched systems; Büchi automata; Stability; Lyapunov methods

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

Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco. Stability of discrete-time switched linear systems with ω-regular switching sequences. HSCC 2022 - 25th ACM International Conference on Hybrid Systems : Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519543⟩. ⟨hal-03649665⟩