Feedback Stabilization of Switching Discrete-Time Systems via Lie-Algebraic Techniques

This technical note addresses the stabilization of switching discrete-time linear systems with control inputs under arbitrary switching. A sufficient condition for the uniform global exponential stability (UGES) of such systems is the existence of a common quadratic Lyapunov function (CQLF) for the component subsystems, which is ensured when the closed-loop component subsystem matrices are stable and generate a solvable Lie algebra. The present work develops an iterative algorithm that seeks the feedback maps required for stabilization based on the previous Lie-algebraic condition. The main theoretical contribution of the technical note is to show that this algorithm will find the required feedback maps if and only if the Lie-algebraic problem has a solution. The core of the proposed algorithm is a common eigenvector assignment procedure, which is executed at every iteration. We also show how the latter procedure can be numerically implemented and provide a key structural condition which, if satisfied, greatly simplifies the required computations.

[1]  Z. Artstein Stabilization with relaxed controls , 1983 .

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

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

[4]  Felipe Cucker,et al.  Avoiding Collisions in Flocks , 2010, IEEE Transactions on Automatic Control.

[5]  Hernan Haimovich,et al.  On feedback stabilisation of switched discrete-time systems via Lie-algebraic techniques , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[6]  Ernesto Mordecki,et al.  Cucker-Smale Flocking Under Hierarchical Leadership and Random Interactions , 2009, SIAM J. Appl. Math..

[7]  C. Dubi An algorithmic approach to simultaneous triangularization , 2009 .

[8]  F. Felicioni,et al.  A Lie Algebraic Approach to Design of Stable Feedback Control Systems with Varying Sampling Rate , 2008 .

[9]  J. Humphreys Introduction to Lie Algebras and Representation Theory , 1973 .

[10]  A. Morse,et al.  Stability of switched systems: a Lie-algebraic condition ( , 1999 .

[11]  Murat Arcak,et al.  Constructive nonlinear control: a historical perspective , 2001, Autom..

[12]  Eduardo Sontag A Lyapunov-Like Characterization of Asymptotic Controllability , 1983, SIAM Journal on Control and Optimization.

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

[14]  Long Wang,et al.  Linear matrix inequality approach to quadratic stabilisation of switched systems , 2004 .

[15]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[16]  E. Tadmor,et al.  From particle to kinetic and hydrodynamic descriptions of flocking , 2008, 0806.2182.

[17]  Yasuaki Kuroe,et al.  A solution to the common Lyapunov function problem for continuous-time systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[18]  F. Cucker,et al.  Flocking with informed agents , 2008 .

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

[20]  Seung-Yeal Ha,et al.  Emergence of time-asymptotic flocking in a stochastic Cucker-Smale system , 2009 .

[21]  Jesús Rosado,et al.  Asymptotic Flocking Dynamics for the Kinetic Cucker-Smale Model , 2010, SIAM J. Math. Anal..

[22]  F. Cucker,et al.  Flocking in noisy environments , 2007, 0706.3343.

[23]  Hernan Haimovich,et al.  Feedback stabilisation of switched systems via iterative approximate eigenvector assignment , 2010, 49th IEEE Conference on Decision and Control (CDC).

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

[25]  Seung-Yeal Ha,et al.  Emergent Behavior of a Cucker-Smale Type Particle Model With Nonlinear Velocity Couplings , 2010, IEEE Transactions on Automatic Control.

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

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

[28]  G. Basile,et al.  Controlled and conditioned invariants in linear system theory , 1992 .

[29]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

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

[31]  Felipe Cucker,et al.  Emergent Behavior in Flocks , 2007, IEEE Transactions on Automatic Control.

[32]  Pedro Elosegui,et al.  Extension of the Cucker-Smale Control Law to Space Flight Formations , 2009 .

[33]  Seung-Yeal Ha,et al.  A simple proof of the Cucker-Smale flocking dynamics and mean-field limit , 2009 .

[34]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[35]  J. Theys Joint spectral radius : theory and approximations/ , 2005 .

[36]  Robin J. Evans,et al.  Hybrid Dynamical Systems: Controller and Sensor Switching Problems , 2012 .