Stability of discrete-time switched linear systems with ω-regular switching sequences - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

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

Georges Aazan
Antoine Girard
Paolo Mason
Luca Greco

Abstract

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.
Fichier principal
Vignette du fichier
untitled-1.pdf (776.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03649665 , version 1 (22-04-2022)

Identifiers

Cite

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⟩
75 View
111 Download

Altmetric

Share

Gmail Facebook X LinkedIn More