Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems

被引:29
作者
Fiacchini, Mirko [1 ]
Jungers, Marc [2 ,3 ]
Girard, Antoine [4 ]
机构
[1] Univ Grenoble Alpes, CNRS, Grenoble INP, GIPSA Lab, F-38000 Grenoble, France
[2] Univ Lorraine, CRAN, UMR 7039, 2 Ave Foret de Haye, F-54516 Vandoeuvre Les Nancy, France
[3] CNRS, CRAN, UMR 7039, Paris, France
[4] Univ Paris Saclay, Univ Paris Sud, Cent Supelec, L2S,CNRS, 3 Rue Joliot Curie, F-91192 Gif Sur Yvette, France
关键词
Switched linear systems; Set-theory; Stabilizability; Automata; STABILITY; STABILIZABILITY;
D O I
10.1016/j.automatica.2018.03.039
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, the stabilizability of discrete-time switched linear systems subject to constraints on the switching law is considered. The admissible switching sequences are given by the language generated by a nondeterministic finite state automaton. Constructive necessary and sufficient conditions for recurrent stabilizability are given and the exact relations with the existence of control Lyapunov functions and with general stabilizability are provided. The dependence of stabilizability on the automaton initial state is also proved. (C) 2018 Elsevier Ltd. All rights reserved.
引用
收藏
页码:64 / 74
页数:11
相关论文
共 26 条
[1]   JOINT SPECTRAL RADIUS AND PATH-COMPLETE GRAPH LYAPUNOV FUNCTIONS [J].
Ahmadi, Amir Ali ;
Jungers, Raphael M. ;
Parrilo, Pablo A. ;
Roozbehani, Mardavij .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2014, 52 (01) :687-717
[2]  
Athanasopoulos N., 2017, ARXIV170200598
[3]  
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[4]   NONQUADRATIC LYAPUNOV FUNCTIONS FOR ROBUST-CONTROL [J].
BLANCHINI, F .
AUTOMATICA, 1995, 31 (03) :451-461
[5]   Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions [J].
Blanchini, Franco ;
Savorgnan, Carlo .
AUTOMATICA, 2008, 44 (04) :1166-1170
[6]  
Blanchini F, 2008, SYST CONTROL-FOUND A, P1
[7]   Stability analysis and control synthesis for switched systems: A switched Lyapunov function approach [J].
Daafouz, J ;
Riedinger, P ;
Iung, C .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (11) :1883-1887
[8]   Theory and computation of discrete state space decompositions for hybrid systems [J].
De Santis, E. ;
Di Benedetto, M. D. .
EUROPEAN JOURNAL OF CONTROL, 2013, 19 (01) :1-10
[9]  
Fiacchini M, 2016, 2016 EUROPEAN CONTROL CONFERENCE (ECC), P2035, DOI 10.1109/ECC.2016.7810591
[10]   On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons [J].
Fiacchini, Mirko ;
Girard, Antoine ;
Jungers, Marc .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (05) :1181-1193