The computation of full-complexity polytopic robust control invariant sets

This paper considers the problem of evaluating robust control invariant (RCI) sets for linear discrete-time systems subject to state and input constraints as well as additive disturbances. An RCI set has the property that if the system state is inside the set at any one time, then it is guaranteed to remain in the set for all future times using a pre-defined state feedback control law. This problem is important in many control applications. We present a numerically efficient algorithm for the computation of full-complexity polytopic RCI sets. Farkas' Theorem is first used to derive necessary and sufficient conditions for the existence of an admissible polytopic RCI set in the form of nonlinear matrix inequalities. An Elimination Lemma is then used to derive sufficient conditions, in the form of linear matrix inequalities, for the existence of the solution. An optimization algorithm to approximate maximal RCI sets is also proposed. Numerical examples are given to illustrate the effectiveness of the proposed algorithm.

[1]  Imad M. Jaimoukha,et al.  Low-Complexity Polytopic Invariant Sets for Linear Systems Subject to Norm-Bounded Uncertainty , 2015, IEEE Transactions on Automatic Control.

[2]  Guang-Ren Duan,et al.  Approximation and Monotonicity of the Maximal Invariant Ellipsoid for Discrete-Time Systems by Bounded Controls , 2010, IEEE Transactions on Automatic Control.

[3]  Imad M. Jaimoukha,et al.  Robust feedback model predictive control of constrained uncertain systems , 2013 .

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

[5]  Furqart Tahir.  Efficient computation of Robust Positively Invariant sets with linear state-feedback gain as a variable of optimization , 2010, 2010 7th International Conference on Electrical Engineering Computing Science and Automatic Control.

[6]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

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

[8]  C. Burgat,et al.  Regulator problem for linear discrete-time systems with non-symmetrical constrained control , 1988 .

[9]  Manfred Morari,et al.  Robust constrained model predictive control using linear matrix inequalities , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[10]  Jean-Claude Hennet,et al.  A class of invariant regulators for the discrete-time linear constrained regulation problem , 1991, Autom..

[11]  Basil Kouvaritakis,et al.  Robust receding horizon predictive control for systems with uncertain dynamics and input saturation , 2000, Autom..

[12]  G. Bitsoris.  On the positive invariance of polyhedral sets for discrete-time systems , 1988 .

[13]  Eduardo F. Camacho,et al.  Computation of polyhedral H-invariant sets for saturated systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[14]  F. Blanchini.  Constrained control for uncertain linear systems , 1991 .

[15]  Bart De Moor,et al.  On efficient computation of low-complexity controlled invariant sets for uncertain linear systems , 2010, Int. J. Control.

[16]  O. Pastravanu,et al.  Matrix framework for analysis of invariant sets , 2005, International Symposium on Signals, Circuits and Systems, 2005. ISSCS 2005..

[17]  J. Alvarez,et al.  Stabilization of linear controllable systems by means of bounded continuous nonlinear feedback control , 1994 .

[18]  Chong-Jin Ong,et al.  Support function of minimal disturbance invariant set and its derivative: Application in designing feedback gain , 2011, 2011 8th Asian Control Conference (ASCC).

[19]  Sasa V. Rakovic,et al.  Parameterized Robust Control Invariant Sets for Linear Systems: Theoretical Advances and Computational Remarks , 2010, IEEE Transactions on Automatic Control.

[20]  B. De Moor,et al.  Interpolation based MPC for LPV systems using polyhedral invariant sets , 2005, Proceedings of the 2005, American Control Conference, 2005..

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

[22]  K. T. Tan,et al.  Linear systems with state and control constraints: the theory and application of maximal output admissible sets , 1991 .

[23]  Tamás Terlaky,et al.  A Survey of the S-Lemma , 2007, SIAM Rev..

[24]  Wei-Jie Mao,et al.  Robust stabilization of uncertain time-varying discrete systems and comments on "an improved approach for constrained robust model predictive control" , 2003, Autom..

[25]  E. Misawa,et al.  Semi-ellipsoidal controlled invariant sets for constrained linear systems , 2002 .

[26]  B. Kouvaritakis,et al.  Nonlinear model predictive control with polytopic invariant sets , 2002 .

[27]  Tingshu Hu,et al.  Analysis and design for discrete-time linear systems subject to actuator saturation , 2002, Syst. Control. Lett..

[28]  Franco Blanchini,et al.  Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.