Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach

Marc Jungers (1) , Antoine Girard (2) , Mirko Fiacchini (3)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 L2S - Laboratoire des signaux et systèmes
3 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité

This paper addresses the issue of stabilizability of an autonomous discrete-time switched system via a switching law that is constrained to belong to a language generated by an nondeterministic finite state automaton. Firstly the automaton is decomposed into strongly connected components to reduce the problem to the stabilizability of each non trivial strongly connected component. Secondly the approach considering Lyapunov-Metzler inequalities taking into account the language constraint for a strongly connected component is proposed. Links with the current literature are discussed and a detailed example is given to illustrate our contributions.

Domains: Optimization and Control [math.OC]; Systems and Control [cs.SY]; Automatic

Marc Jungers, Antoine Girard, Mirko Fiacchini. Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach. 55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799120⟩. ⟨hal-01386851⟩