A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains

ABSTRACT This paper analyses stability of discrete-time piecewise-affine systems, defined on possibly non-invariant domains, taking into account the possible presence of multiple dynamics in each of the polytopic regions of the system. An algorithm based on linear programming is proposed, in order to prove exponential stability of the origin and to find a positively invariant estimate of its region of attraction. The results are based on the definition of a piecewise-affine Lyapunov function, which is in general discontinuous on the boundaries of the regions. The proposed method is proven to lead to feasible solutions in a broader range of cases as compared to a previously proposed approach. Two numerical examples are shown, among which a case where the proposed method is applied to a closed-loop system, to which model predictive control was applied without a-priori guarantee of stability.

[1]  Luca Zaccarian,et al.  Lyapunov-Based Sufficient Conditions for Exponential Stability in Hybrid Systems , 2013, IEEE Transactions on Automatic Control.

[2]  Zhendong Sun,et al.  Stability of piecewise linear systems revisited , 2010, Annu. Rev. Control..

[3]  Alberto Bemporad,et al.  Stability analysis of discrete-time piecewise-affine systems over non-invariant domains , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[4]  Alberto Bemporad,et al.  Stability and Invariance Analysis of Uncertain Discrete-Time Piecewise Affine Systems , 2013, IEEE Transactions on Automatic Control.

[5]  W. P. M. H. Heemels,et al.  Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems , 2009, IEEE Transactions on Automatic Control.

[6]  Jamal Daafouz,et al.  Comparison between classes of state-quadratic Lyapunov functions for discrete-time linear polytopic and switched systems , 2012, Syst. Control. Lett..

[7]  Alberto Bemporad,et al.  Ultra-Fast Stabilizing Model Predictive Control via Canonical Piecewise Affine Approximations , 2011, IEEE Transactions on Automatic Control.

[8]  Colin Neil Jones,et al.  On the facet-to-facet property of solutions to convex parametric quadratic programs , 2006, Autom..

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

[10]  Alberto Bemporad,et al.  Stability and invariance analysis of uncertain PWA systems based on linear programming , 2011, IEEE Conference on Decision and Control and European Control Conference.

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

[12]  Manfred Morari,et al.  Multi-Parametric Toolbox 3.0 , 2013, 2013 European Control Conference (ECC).

[13]  A. Bemporad,et al.  Stability and Invariance Analysis of Approximate Explicit MPC based on PWA Lyapunov Functions , 2011 .

[14]  Mato Baotic,et al.  Stabilizing low complexity feedback control of constrained piecewise affine systems , 2005, Autom..

[15]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[16]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[17]  Manfred Morari,et al.  Polytopic Approximation of Explicit Model Predictive Controllers , 2010, IEEE Transactions on Automatic Control.

[18]  David Q. Mayne,et al.  Reachability analysis of discrete-time systems with disturbances , 2006, IEEE Transactions on Automatic Control.

[19]  M. Morari,et al.  A survey on stability analysis of discrete-time piecewise affine systems , 2005 .

[20]  A. Papachristodoulou,et al.  Analysis of switched and hybrid systems - beyond piecewise quadratic methods , 2003, Proceedings of the 2003 American Control Conference, 2003..

[21]  Manfred Morari,et al.  Analysis of discrete-time piecewise affine and hybrid systems , 2002, Autom..

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

[23]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

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