On piecewise quadratic control-Lyapunov functions for switched linear systems

In this paper, we prove that a discrete-time switched linear system is exponentially stabilizable if and only if there exists a stationary hybrid-control law that consists of a homogeneous switching-control law and a piecewise-linear continuous-control law under which the closed-loop system has a piecewise quadratic Lyapunov function. Such a converse control-Lyapunov function theorem justifies many of the earlier controller-synthesis methods that have adopted piecewise-quadratic Lyapunov functions and piecewise-linear continuous-control laws for convenience or heuristic reasons. Furthermore, several important properties of the proposed stabilizing control law are derived and their connections to other existing controllers studied in the literature are discussed.

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

[2]  Jianghai Hu,et al.  On the Value Functions of the Discrete-Time Switched LQR Problem , 2009, IEEE Transactions on Automatic Control.

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

[4]  Jianghai Hu,et al.  On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems , 2008, HSCC.

[5]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[6]  Hai Lin,et al.  A Converse Lyapunov Theorem for Uncertain Switched Linear Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[8]  Robin J. Evans,et al.  Stability results for switched controller systems , 1999, Autom..

[9]  S. Pettersson,et al.  Stabilization of hybrid systems using a min-projection strategy , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[10]  P.J. Antsaklis,et al.  Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[11]  S. Pettersson.  Synthesis of switched linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[12]  S. Pettersson,et al.  Controller design of switched linear systems , 2004, Proceedings of the 2004 American Control Conference.

[13]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[14]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[15]  Jianghai Hu,et al.  On the value functions of the optimal quadratic regulation problem for discrete-time switched linear systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[16]  Hai Lin,et al.  Hybrid H∞ state feedback control for discrete-time switched linear systems , 2007, 2007 IEEE 22nd International Symposium on Intelligent Control.

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

[18]  J. W. Nieuwenhuis,et al.  Boekbespreking van D.P. Bertsekas (ed.), Dynamic programming and optimal control - volume 2 , 1999 .

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

[20]  Alessandro Abate,et al.  Efficient suboptimal solutions of switched LQR problems , 2009, 2009 American Control Conference.

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