Analysis and synthesis of switched linear control systems

Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant, but also tangible with the rich results in the linear system theory. Rapid progress in the field has generated many new ideas and powerful tools. This paper provides a concise and timely survey on analysis and synthesis of switched linear control systems, and presents the basic concepts and main properties of switched linear systems in a systematic manner. The fundamental topics include (i) controllability and observability, (ii) system structural decomposition, (iii) feedback controller design for stabilization, and (iv) optimal control.

[1]  Zhendong Sun Canonical forms of switched linear control systems , 2004, Proceedings of the 2004 American Control Conference.

[2]  Christos G. Cassandras,et al.  A hierarchical decomposition method for optimal control of hybrid systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[3]  D.D. Sworder,et al.  Control of systems subject to sudden change in character , 1976, Proceedings of the IEEE.

[4]  D. Stanford,et al.  Controllability and Stabilizability in Multi-Pair Systems , 1980 .

[5]  F. Blanchini Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions , 1994, IEEE Trans. Autom. Control..

[6]  Clyde F. Martin,et al.  A Converse Lyapunov Theorem for a Class of Dynamical Systems which Undergo Switching , 1999, IEEE Transactions on Automatic Control.

[7]  Héctor J. Sussmann,et al.  Regular Synthesis and Sufficiency Conditions for Optimality , 2000, SIAM J. Control. Optim..

[8]  A. Willsky,et al.  Discrete-time Markovian-jump linear quadratic optimal control , 1986 .

[9]  Bruce A. Francis,et al.  Stabilizing a linear system by switching control with dwell time , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[10]  Shuzhi Sam Ge,et al.  Sampling and control of switched linear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[11]  A. Michel Recent trends in the stability analysis of hybrid dynamical systems , 1999 .

[12]  João Pedro Hespanha,et al.  Stabilization of nonholonomic integrators via logic-based switching , 1999, Autom..

[13]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[14]  B. R. Barmish,et al.  Adaptive stabilization of linear systems via switching control , 1986 .

[15]  F. Blanchini,et al.  A new class of universal Lyapunov functions for the control of uncertain linear systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[16]  Robert Shorten,et al.  A new methodology for the stability analysis of pairwise triangularizable and related switching systems , 2002 .

[17]  João Pedro Hespanha,et al.  Overcoming the limitations of adaptive control by means of logic-based switching , 2003, Syst. Control. Lett..

[18]  Alim P. C. Gonçalves,et al.  The H2-control for jump linear systems: cluster observations of the Markov state , 2002, Autom..

[19]  Luther Conner,et al.  State deadbeat response and observability in multi-modal systems , 1983, The 22nd IEEE Conference on Decision and Control.

[20]  Franco Blanchini,et al.  Nonquadratic Lyapunov functions for robust control , 1995, Autom..

[21]  Jamal Daafouz,et al.  Parameter dependent Lyapunov functions for discrete time systems with time varying parametric uncertainties , 2001, Syst. Control. Lett..

[22]  David P. Stanford,et al.  The structure of the controllable set for multimodal systems , 1987 .

[23]  Timothy Johnson Synchronous switched linear systems , 1985, 1985 24th IEEE Conference on Decision and Control.

[24]  Y. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential and difference inclusions encountered in control theory , 1989 .

[25]  Ilya Kolmanovsky,et al.  Developments in nonholonomic control problems , 1995 .

[26]  Kumpati S. Narendra,et al.  Adaptive control using multiple models , 1997, IEEE Trans. Autom. Control..

[27]  G. Feng,et al.  Quadratic stabilization of uncertain discrete-time fuzzy dynamic systems , 2001 .

[28]  W. Wonham Linear Multivariable Control: A Geometric Approach , 1974 .

[29]  Shuzhi Sam Ge,et al.  Dynamic output feedback stabilization of a class of switched linear systems , 2003 .

[30]  C. Valentin-Roubinet Hybrid Systems Modelling : Mixed Petri nets , .

[31]  Daizhan Cheng,et al.  Accessibility of switched linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[32]  Robert K. Brayton,et al.  Stability of dynamical systems: A constructive approach , 1979 .

[33]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[34]  Xuping Xu,et al.  On the reachability of a class of second-order switched systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[35]  Daizhan Cheng,et al.  Stabilization of planar switched systems , 2004, Syst. Control. Lett..

[36]  M. Egerstedt,et al.  Pathwise observability and controllability are decidable , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[37]  Jamal Daafouz,et al.  Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach , 2002, IEEE Trans. Autom. Control..

[38]  J. Aubin,et al.  Existence of Solutions to Differential Inclusions , 1984 .

[39]  Michel Fliess,et al.  Reversible linear and nonlinear discrete-time dynamics , 1992 .

[40]  Z. G. Lia,et al.  Observer-based stabilization of switching linear systems , 2003 .

[41]  Abderrahmane Haddad,et al.  Error bounds in the averaging of hybrid systems , 1989 .

[42]  J. L. Mancilla-Aguilar,et al.  A converse Lyapunov theorem for nonlinear switched systems , 2000 .

[43]  F. Szigeti,et al.  A differential-algebraic condition for controllability and observability of time varying linear systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[44]  Xuping Xu,et al.  Optimal control of switched systems via non-linear optimization based on direct differentiations of value functions , 2002 .

[45]  I. Kolmanovsky,et al.  Hybrid feedback laws for a class of cascade nonlinear control systems , 1996, IEEE Trans. Autom. Control..

[46]  O. L. V. Costa,et al.  Finite horizon quadratic optimal control and a separation principle for Markovian jump linear systems , 2003, IEEE Trans. Autom. Control..

[47]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[48]  Frank Kozin,et al.  A survey of stability of stochastic systems , 1969, Autom..

[49]  N.H. McClamroch,et al.  Performance benefits of hybrid control design for linear and nonlinear systems , 2000, Proceedings of the IEEE.

[50]  Raymond A. DeCarlo,et al.  Optimal control of switching systems , 2005, Autom..

[51]  Anders Rantzer,et al.  Convex dynamic programming for hybrid systems , 2002, IEEE Trans. Autom. Control..

[52]  B. Barmish,et al.  Adaptive stabilization of linear systems via switching control , 1986, 1986 25th IEEE Conference on Decision and Control.

[53]  Qianchuan Zhao,et al.  Stable and Real-Time Scheduling of a Class of Hybrid Dynamic Systems , 1999, Discret. Event Dyn. Syst..

[54]  Shuzhi Sam Ge,et al.  Adaptive stabilization of uncertain nonholonomic systems by state and output feedback , 2003, Autom..

[55]  Shuzhi Sam Ge,et al.  Reachability and controllability of switched linear discrete-time systems , 2001, IEEE Trans. Autom. Control..

[56]  Guangming Xie,et al.  Controllability of switched linear systems , 2002, IEEE Trans. Autom. Control..

[57]  H. Witsenhausen A class of hybrid-state continuous-time dynamic systems , 1966 .

[58]  Graham C. Goodwin,et al.  Potential benefits of hybrid control for linear time invariant plants , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[59]  Daizhan Cheng,et al.  Accessibility of Switched Linear Systems , 2006, IEEE Transactions on Automatic Control.

[60]  Kazuo Tanaka,et al.  A robust stabilization problem of fuzzy control systems and its application to backing up control of a truck-trailer , 1994, IEEE Trans. Fuzzy Syst..

[61]  J. Bernussou,et al.  Robust dynamic output feedback control for switched systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[62]  Yuguang Fang,et al.  Stabilization of continuous-time jump linear systems , 2002, IEEE Trans. Autom. Control..

[63]  Kazuo Tanaka,et al.  Synthesis of gain-scheduled controller for a class of LPV systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[64]  David P. Stanford,et al.  Stability for a Multi-Rate Sampled-Data System , 1979 .

[65]  H. H. E. Leipholz Stability of Dynamic Systems , 1983 .

[66]  Mato Baotic,et al.  Hybrid Systems Modeling and Control , 2003, Eur. J. Control.

[67]  David P. Stanford,et al.  State deadbeat response and observability in multi-modal systems , 1983 .

[68]  C. Iung,et al.  Linear quadratic optimization for hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[69]  Raymond A. DeCarlo,et al.  Switched Controller Synthesis for the Quadratic Stabilisation of a Pair of Unstable Linear Systems , 1998, Eur. J. Control.

[70]  L. Gurvits Stability of discrete linear inclusion , 1995 .

[71]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[72]  Dapeng Xiong,et al.  Set-valued methods for linear parameter varying systems, , 1999, Autom..

[73]  Elias B. Kosmatopoulos,et al.  A switching adaptive controller for feedback linearizable systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[74]  Roy Leitch,et al.  Model switching in intelligent control systems , 1999, Artif. Intell. Eng..

[75]  J. Hespanha Extending LaSalle's invariance principle to switched linear systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[76]  David P. Stanford,et al.  Complete controllability and contractibility in multimodal systems , 1988 .

[77]  Jerzy Tokarzewski,et al.  Stability of periodically switched linear systems and the switching frequency , 1987 .

[78]  Tao Zhang,et al.  Stable Adaptive Neural Network Control , 2001, The Springer International Series on Asian Studies in Computer and Information Science.

[79]  S. Shankar Sastry,et al.  Observability of Linear Hybrid Systems , 2003, HSCC.

[80]  Zhenyu Yang,et al.  An algebraic approach towards the controllability of controlled switching linear hybrid systems , 2002, Autom..

[81]  Héctor J. Sussmann,et al.  New theories of set-valued differentials and new versions of the maximum principle of optimal control theory , 2001 .

[82]  Shuzhi Sam Ge,et al.  Controllability and reachability criteria for switched linear systems , 2002, Autom..

[83]  Indra Narayan Kar Quadratic stabilization of a collection of linear systems , 2002, Int. J. Syst. Sci..

[84]  Bo Lincoln,et al.  LQR optimization of linear system switching , 2002, IEEE Trans. Autom. Control..

[85]  Andrzej Fryszowski,et al.  Continuous version of Filippov-Wažewski relaxation theorem , 1991 .

[86]  Alexander Leonessa,et al.  Nonlinear system stabilization via hierarchical switching control , 2001, IEEE Trans. Autom. Control..

[87]  L. Silverman,et al.  Constructive Stability and Asymptotic Stability of Dynamical Systems , 1980 .

[88]  M. Mariton,et al.  Jump Linear Systems in Automatic Control , 1992 .

[89]  Robert Shorten,et al.  Issues in the design of switched linear control systems: A benchmark study , 2003 .

[90]  A. Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[91]  Francesco Borrelli,et al.  Constrained Optimal Control of Linear and Hybrid Systems , 2003, IEEE Transactions on Automatic Control.

[92]  F. Blanchini The gain scheduling and the robust state feedback stabilization problems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[93]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[94]  Eduardo D. Sontag,et al.  An infinite-time relaxation theorem for differential inclusions , 2001 .

[95]  Zhendong Sun,et al.  On reachability and stabilization of switched linear systems , 2001, IEEE Trans. Autom. Control..

[96]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[97]  K. Loparo,et al.  Analysis of switched linear systems in the plane, part 2: Global behavior of trajectories, controllability and attainability , 1987 .

[98]  Robin J. Evans,et al.  A new approach to robust control of hybrid systems over infinite time , 1998, IEEE Trans. Autom. Control..

[99]  Guangming Xie,et al.  Controllability and stabilizability of switched linear-systems , 2003, Syst. Control. Lett..

[100]  Andrzej Polanski On absolute stability analysis by polyhedral Lyapunov functions , 2000, Autom..

[101]  Roger W. Brockett,et al.  Electrical networks containing controlled switches , 1974 .

[102]  J. Lygeros,et al.  Toward optimal control of switched linear systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[103]  Panos J. Antsaklis,et al.  Optimal control of switched systems based on parameterization of the switching instants , 2004, IEEE Transactions on Automatic Control.

[104]  E. S. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential inclusions and periodic motions of time-varying nonlinear control systems , 1996 .

[105]  Robert K. Brayton,et al.  Constructive stability and asymptotic stability of dynamical systems , 1980 .

[106]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[107]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.