Set invariance under controlled nonlinear dynamics with application to robust RH control

This paper is concerned with the characterization of the maximal admissible uncertainty under which a nonlinear discrete-time dynamic system can be stabilized in the neighborhood of the origin by a Receding Horizon (RH) state-feedback control scheme. This topic is of great interest in both analysis and design of robust RH controllers for constrained discrete-time nonlinear systems. In particular, under mild assumptions on the nominal transition map, the robustness of the overall RH control scheme is shown to depend on the invariance properties of the terminal set constraint, which is a design parameter for the controller. In this framework, resorting to set invariance theoretic arguments, a numerical procedure is proposed which allows to evaluate the robust invariance properties of the terminal set constraint. An application example is provided to show the effectiveness of the proposed approach.

[1]  D. Limón,et al.  Input-to-state stable MPC for constrained discrete-time nonlinear systems with bounded additive uncertainties , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[2]  E. Gilbert,et al.  Theory and computation of disturbance invariant sets for discrete-time linear systems , 1998 .

[3]  W. Heemels,et al.  Squaring the circle: an algorithm for generating polyhedral invariant sets from ellipsoidal ones , 2006 .

[4]  Eduardo F. Camacho,et al.  On the computation of invariant sets for constrained nonlinear systems: An interval arithmetic approach , 2003, ECC.

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

[6]  D. Bertsekas,et al.  On the minimax reachability of target sets and target tubes , 1971 .

[7]  Zvi Artstein,et al.  Feedback and invariance under uncertainty via set-iterates , 2008, Autom..

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

[9]  David Q. Mayne,et al.  Optimized robust control invariance for linear discrete-time systems: Theoretical foundations , 2007, Autom..

[10]  A. Bemporada,et al.  Squaring the circle : An algorithm for generating polyhedral invariant sets from ellipsoidal ones , 2007 .

[11]  J. Maciejowski,et al.  Robust feasibility in model predictive control: necessary and sufficient conditions , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[12]  F. Blanchini.  Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions , 1994, IEEE Trans. Autom. Control..

[13]  L. Magni,et al.  Robust receding - horizon control of nonlinear systems with state dependent uncertainties: An input-to-state stability approach , 2008, 2008 American Control Conference.

[14]  John Lygeros,et al.  A GEOMETRIC APPROACH TO REACHABILITY COMPUTATIONS FOR CONSTRAINED DISCRETE-TIME SYSTEMS , 2002 .

[15]  Pieter Collins.  Optimal Semicomputable Approximations to Reachable and Invariant Sets , 2006, Theory of Computing Systems.

[16]  P. Collins.  On the Computability of Reachable and Invariant Sets , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[17]  Thomas Parisini,et al.  Nonlinear stabilization by receding-horizon neural regulators , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.