Necessary and sufficient condition for stabilizability of discrete-time linear switched systems: a set-theory approach

Mirko Fiacchini (1) , Marc Jungers (2)

1 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité
2 CRAN - Centre de Recherche en Automatique de Nancy

In this paper, the stabilizability of discrete-time linear switched systems is considered. Several sufficient conditions for stabilizability are proposed in the literature, but not a necessary and sufficient one. The main contribution is a computation-oriented necessary and sufficient condition for stabilizability based on set-theory. Based on such a condition, an algorithm for computing the Lyapunov functions and a procedure to design the stabilizing switching control law are provided. The generic algorithm is based on the invariance of unions of compact, convex sets containing the origin and is applied to numerical examples using ellipsoids and polytopes. It will be shown in particular that no assumption is made on the existence of a Schur convex combination of the matrices, assumption on which the Lyapunov-Metzler inequalities approach is based. Further discussions with respect to the literature and concluding remarks are also proposed.

Domaines: Systèmes dynamiques [math.DS]

Mirko Fiacchini, Marc Jungers. Necessary and sufficient condition for stabilizability of discrete-time linear switched systems: a set-theory approach. IFAC Joint conference SSSC - 5th Symposium on System Structure and Control, Feb 2013, Grenoble, France. pp.196-201. ⟨hal-00921268⟩