Lyapunov stability for piecewise affine systems via cone-copositivity

Cone-copositive piecewise quadratic Lyapunov functions (PWQ-LFs) for the stability analysis of continuous-time piecewise affine (PWA) systems are proposed. The state space is assumed to be partitioned into a finite number of convex, possibly unbounded, polyhedra. Preliminary conditions on PWQ functions for their sign in the polyhedra and continuity over the common boundaries are provided. The sign of each quadratic function is studied by means of cone-constrained matrix inequalities which are translated into linear matrix inequalities (LMIs) via cone-copositivity. The continuity is guaranteed by adding equality constraints over the polyhedra intersections. An asymptotic stability result for PWA systems is then obtained by finding a continuous PWQ-LF through the solution of a set of constrained LMIs. The effectiveness of the proposed approach is shown by analyzing an opinion dynamics model and two saturating control systems.

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

[2]  Vincent Acary,et al.  Switching, relay and complementarity systems: A tutorial on their well-posedness and relationships , 2012 .

[3]  M. Kanat Camlibel,et al.  Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior , 2011, IEEE Transactions on Automatic Control.

[4]  Mirjam Dür,et al.  An improved algorithm to test copositivity , 2012, J. Glob. Optim..

[5]  Gang Feng,et al.  Stability analysis of piecewise discrete-time linear systems , 2002, IEEE Trans. Autom. Control..

[6]  Francesco Vasca,et al.  Cone-copositivity for absolute stability of Lur'e systems , 2014, 53rd IEEE Conference on Decision and Control.

[7]  Morten Hovd,et al.  Relaxing PWQ Lyapunov stability criteria for PWA systems , 2013, Autom..

[8]  Hassan K. Khalil,et al.  Nonlinear Systems Third Edition , 2008 .

[9]  Luigi Iannelli,et al.  Stability analysis of conewise linear systems with sliding modes , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[10]  David Avis,et al.  On canonical representations of convex polyhedra , 2002 .

[11]  Luis Rodrigues,et al.  A unified dissipativity approach for stability analysis of piecewise smooth systems , 2011, Autom..

[12]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[13]  Shuzhong Zhang,et al.  On Cones of Nonnegative Quadratic Functions , 2003, Math. Oper. Res..

[14]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[15]  Xiaoming Hu,et al.  Opinion consensus of modified Hegselmann-Krause models , 2012, CDC.

[16]  M. Kanat Camlibel,et al.  Quadratic stability and stabilization of bimodal piecewise linear systems , 2014, Autom..

[17]  Ali Karimpour,et al.  Discontinuous piecewise quadratic Lyapunov functions for planar piecewise affine systems , 2013 .

[18]  Sébastien Motsch,et al.  Heterophilious Dynamics Enhances Consensus , 2013, SIAM Rev..

[19]  Mirjam Dür,et al.  Algorithmic copositivity detection by simplicial partition , 2008 .

[20]  Basílio E. A. Milani,et al.  Piecewise-affine Lyapunov functions for continuous-time linear systems with saturating controls , 2004, Proceedings of the 2004 American Control Conference.

[21]  Luigi Iannelli,et al.  Cone-Copositive Piecewise Quadratic Lyapunov Functions for Conewise Linear Systems , 2015, IEEE Transactions on Automatic Control.

[22]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[23]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[24]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[25]  Zongli Lin,et al.  Stability and performance analysis of saturated systems via partitioning of the virtual input space , 2015, Autom..