Necessary and sufficient conditions for invariance of convex sets for discrete-time saturated systems

A convex analysis-based characterization of invariance and contractivity of compact convex sets for discretetime saturated systems is presented. Necessary and sufficient conditions for the existence of convex set-induced Lyapunov functions is provided. The results generalize the quadratic Lyapunov theory for saturated systems, apply also to asymmetric saturations and can be extended to affine nonlinearity maps. A numerical example illustrates the improvements of our method with respect to other classical ones.

[1]  Thomas Thibodeau,et al.  A Unified Lyapunov Approach to Analysis of Oscillations and Stability for Systems With Piecewise Linear Elements , 2010, IEEE Transactions on Automatic Control.

[2]  Sophie Tarbouriech,et al.  Invariance of symmetric convex sets for discrete-time saturated systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[3]  E. F. Camacho,et al.  On the computation of convex robust control invariant sets for nonlinear systems , 2010, Autom..

[4]  Sophie Tarbouriech,et al.  Polyhedral regions of local stability for linear discrete-time systems with saturating controls , 1999, IEEE Trans. Autom. Control..

[5]  Sophie Tarbouriech,et al.  Stability and Stabilization of Linear Systems with Saturating Actuators , 2011 .

[6]  Luca Zaccarian,et al.  Modern Anti-windup Synthesis: Control Augmentation for Actuator Saturation , 2011 .

[7]  Guang-Ren Duan,et al.  An improved treatment of saturation nonlinearity with its application to control of systems subject to nested saturation , 2011, Autom..

[8]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[9]  Luca Zaccarian,et al.  Stability and Performance for Saturated Systems via Quadratic and Nonquadratic Lyapunov Functions , 2006, IEEE Transactions on Automatic Control.

[10]  Tingshu Hu,et al.  Absolute stability analysis of discrete-time systems with composite quadratic Lyapunov functions , 2005, IEEE Transactions on Automatic Control.

[11]  T. Alamo,et al.  Improved computation of ellipsoidal invariant sets for saturated control systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[13]  Tingshu Hu,et al.  Exact characterization of invariant ellipsoids for single input linear systems subject to actuator saturation , 2002, IEEE Trans. Autom. Control..

[14]  T. Alamo,et al.  Convex invariant sets for discrete-time Lur'e systems , 2009, Autom..

[15]  Sophie Tarbouriech,et al.  Quadratic Stability for Hybrid Systems With Nested Saturations , 2012, IEEE Transactions on Automatic Control.

[16]  Sophie Tarbouriech,et al.  Local stabilization of discrete-time linear systems with saturating controls: an LMI-based approach , 2001, IEEE Trans. Autom. Control..