Robust nonlinear receding horizon control with constraint tightening: off line approximation and application to networked control system

Nonlinear Receding Horizon (RH) control, also known as moving horizon control or nonlinear Model Predictive Control (MPC), refers to a class of algorithms that make explicit use of a nonlinear process model to optimize the plant behavior, by computing a sequence of future manipulated variable adjustments. Usually the optimal control sequence is obtained by minimizing a multi-stage cost functional on the basis of open-loop predictions. The presence of uncertainty in the model used for the optimization raises the question of robustness, i.e., the maintenance of certain properties such as stability and performance in the presence of uncertainty. The need for guaranteeing the closed-loop stability in presence of uncertainties motivates the conception of robust nonlinear MPC, in which the perturbations are explicitly taken in account in the design of the controller. When the nature of the uncertainty is know, and it is assumed to be bounded in some compact set, the robust RH control can be determined, in a natural way, by solving a min–max optimal control problem, that is, the performance objective is optimized for the worst-case scenario. However, the use of min-max techniques is limited by the high computational burden required to solve the optimization problem. In the case of constrained system, a possibility to ensure the robust constraint satisfaction and the closed-loop stability without resorting to min-max optimization consists in imposing restricted (tightened) constraints on the the predicted trajectories during the optimization. In this framework, an MPC scheme with constraint tightening for discrete-time nonlinear systems affected by state-dependent and norm bounded uncertainties is proposed and discussed. A novel method to tighten the constraints relying on the nominal state prediction is described, leading to less conservative set contractions than in the existing approaches. Moreover, by imposing a stabilizing state constraint at the end of the control horizon (in place of the usual terminal one placed at the end of the prediction horizon), less stringent assumptions can be posed II on the terminal region, while improving the robust stability properties of the MPC closed-loop system. The robust nonlinear MPC formulation with tightened constraints is then used to design offline approximate feedback laws able to guarantee the practical stability of the closed-loop system. By using off-line approximations, the computational burden due to the on-line optimization is removed, thus allowing for the application of the MPC to systems with fast dynamics. In this framework, we will also address the problem of approximating possibly discontinuous feedback functions, thus overcoming the limitation of existent approximation scheme which assume the continuity of the RH control law (whereas this condition is not always verified in practice, due to both nonlinearities and constraints). Finally, the problem of stabilizing constrained systems with networked unreliable (and delayed) feedback and command channels is also considered. In order to satisfy the control objectives for this class of systems, also referenced to as Networked Control Systems (NCS’s), a control scheme based on the combined use of constraint tightening MPC with a delay compensation strategy will be proposed and analyzed. The stability properties of all the aforementioned MPC schemes are characterized by using the regional Input-to-State Stability (ISS) tool. The ISS approach allows to analyze the dependence of state trajectories of nonlinear systems on the magnitude of inputs, which can represent control variables or disturbances. Typically, in MPC the ISS property is characterized in terms of Lyapunov functions, both for historical and practical reasons, since the optimal finite horizon cost of the optimization problem can be easily used for this task. Note that, in order to study the ISS property of MPC closed-loop systems, global results are in general not useful because, due to the presence of state and input constraints, it is impossible to establish global bounds for the multi-stage cost used as Lyapunov function. On the other hand local results do not allow to analyze the properties of the predictive control law in terms of its region of attraction. Therefore, regional ISS results have to employed for MPC controlled systems. Moreover, in the case of NCS, the resulting control strategy yields to a time-varying closed-loop system, whose stability properties can be analyzed using a novel regional ISS characterization in terms of time-varying Lyapunov functions.

[1]  G. Nicolao,et al.  On the robustness of receding-horizon control with terminal constraints , 1996, IEEE Trans. Autom. Control..

[2]  Thomas Parisini,et al.  Set invariance under controlled nonlinear dynamics with application to robust RH control , 2008, 2008 47th IEEE Conference on Decision and Control.

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

[4]  Yuanqing Xia,et al.  Networked Predictive Control of Systems With Random Network Delays in Both Forward and Feedback Channels , 2007, IEEE Transactions on Industrial Electronics.

[5]  Eduardo F. Camacho,et al.  Explicit solution of min-max MPC with additive uncertainties and quadratic criterion , 2006, Syst. Control. Lett..

[6]  Lorenzo Fagiano,et al.  Fast implementation of predictive controllers using SM approximation methodologies , 2007, 2007 46th IEEE Conference on Decision and Control.

[7]  Hannu T. Toivonen,et al.  A neural network model predictive controller , 2006 .

[8]  M. ALAMIRf,et al.  Stability of a Truncated Infinite Constrained Receding Horizon Scheme : the General Discrete Nonlinear Case * , 2003 .

[9]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[10]  Edoardo Mosca,et al.  Predictive teleoperation of constrained dynamic systems via Internet-like channels , 2006, IEEE Transactions on Control Systems Technology.

[11]  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.

[12]  Bruno Sinopoli,et al.  Optimal linear LQG control over lossy networks without packet acknowledgment , 2008 .

[13]  Eric C. Kerrigan,et al.  Optimization over state feedback policies for robust control with constraints , 2006, Autom..

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

[15]  Arjan van der Schaft,et al.  A receding-horizon approach to the nonlinear Hinfinity control problem , 2001, Autom..

[16]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[17]  Emanuele Garone,et al.  LQG Control OVer Multi-channel TCP-like Erasure Networs With Probabilistic Packet Acknowledgements , 2008, IEEE Conference on Decision and Control.

[18]  Eduardo F. Camacho,et al.  Application of an explicit min-max MPC to a scaled laboratory process , 2005 .

[19]  J. R. Cueli,et al.  Iterative nonlinear model predictive control. Stability, robustness and applications , 2008 .

[20]  Tamer Basar,et al.  Optimal control of LTI systems over unreliable communication links , 2006, Autom..

[21]  Tongwen Chen,et al.  Explicit robust model predictive control using recursive closed‐loop prediction , 2006 .

[22]  Riccardo Scattolini,et al.  Regional Input-to-State Stability for Nonlinear Model Predictive Control , 2006, IEEE Transactions on Automatic Control.

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

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

[25]  Dragan Nesic,et al.  Discrete-time Lyapunov-based small-gain theorem for parameterized interconnected ISS systems , 2003, IEEE Trans. Autom. Control..

[26]  Carlos Canudas de Wit,et al.  1 On the Use of State Predictors in Networked Control Systems , 2006 .

[27]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[28]  Sunil Arya,et al.  An optimal algorithm for approximate nearest neighbor searching fixed dimensions , 1998, JACM.

[29]  Panos J. Antsaklis,et al.  Control and Communication Challenges in Networked Real-Time Systems , 2007, Proceedings of the IEEE.

[30]  Eduardo Sontag,et al.  Formulas relating KL stability estimates of discrete-time and sampled-data nonlinear systems , 1999 .

[31]  Ajay D. Kshemkalyani,et al.  Clock synchronization for wireless sensor networks: a survey , 2005, Ad Hoc Networks.

[32]  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..

[33]  Eduardo Sontag,et al.  On characterizations of the input-to-state stability property , 1995 .

[34]  Thomas Parisini,et al.  Robust Model Predictive Control of Nonlinear Systems With Bounded and State-Dependent Uncertainties , 2009, IEEE Transactions on Automatic Control.

[35]  Y. Tipsuwan,et al.  Control methodologies in networked control systems , 2003 .

[36]  Ilia G. Polushin,et al.  On the Model-Based Approach to Nonlinear Networked Control Systems , 2007, ACC.

[37]  C. Chen,et al.  On Receding Horizon Feedback Control , 1981 .

[38]  H. Michalska,et al.  Receding horizon control of nonlinear systems , 1988, Proceedings of the 28th IEEE Conference on Decision and Control,.

[39]  Alberto Bemporad,et al.  On the Stability and Robustness of Non-smooth Nonlinear Model Predictive Control , 2005 .

[40]  Xiaoqi Tang,et al.  Time synchronization of hierarchical real-time networked CNC system based on ethernet/internet , 2008 .

[41]  Andrew R. Teel,et al.  Nominally Robust Model Predictive Control With State Constraints , 2007, IEEE Transactions on Automatic Control.

[42]  Mihail L. Sichitiu,et al.  Tiny-sync: Tight time synchronization for wireless sensor networks , 2007, TOSN.

[43]  Frank Allgöwer,et al.  State and Output Feedback Nonlinear Model Predictive Control: An Overview , 2003, Eur. J. Control.

[44]  D. Mayne,et al.  Min-max feedback model predictive control for constrained linear systems , 1998, IEEE Trans. Autom. Control..

[45]  Tor Arne Johansen,et al.  Approximate explicit constrained linear model predictive control via orthogonal search tree , 2003, IEEE Trans. Autom. Control..

[46]  H. Witsenhausen A minimax control problem for sampled linear systems , 1968 .

[47]  Luigi Chisci,et al.  Systems with persistent disturbances: predictive control with restricted constraints , 2001, Autom..

[48]  Graham C. Goodwin,et al.  Constrained Control and Estimation: an Optimization Approach , 2004, IEEE Transactions on Automatic Control.

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

[50]  M. A. Henson,et al.  Receding horizon control and discontinuous state feedback stabilization , 1995 .

[51]  Dawn M. Tilbury,et al.  Packet-based control: The H2-optimal solution , 2006, Autom..

[52]  Eduardo Sontag,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.

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

[54]  Riccardo Scattolini,et al.  A stabilizing model-based predictive control algorithm for nonlinear systems , 2001, Autom..

[55]  Thomas Parisini,et al.  Approximate off-line receding horizon control of constrained nonlinear discrete-time systems , 2009, 2009 European Control Conference (ECC).

[56]  W. P. M. H. Heemels,et al.  Predictive control of hybrid systems: Input-to-state stability results for sub-optimal solutions , 2009, Autom..

[57]  I. Karafyllis,et al.  Necessary and sufficient conditions for robust global asymptotic stabilization of discrete-time systems , 2006 .

[58]  Eduardo Sontag Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.

[59]  Andrew R. Teel,et al.  Model predictive control: for want of a local control Lyapunov function, all is not lost , 2005, IEEE Transactions on Automatic Control.

[60]  T.A. Johansen,et al.  Explicit Approximate Approach to Feedback Min-Max Model Predictive Control of Constrained Nonlinear Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[61]  Frank Allgöwer,et al.  Robust model predictive control for nonlinear discrete‐time systems , 2003 .

[62]  J. Maciejowski,et al.  Feedback min‐max model predictive control using a single linear program: robust stability and the explicit solution , 2004 .

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

[64]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[65]  Lalo Magni,et al.  Special section technical notes and correspondence. Min-max model predictive control of nonlinear systems using discontinuous feedbacks , 2003, IEEE Trans. Autom. Control..

[66]  Dragan Nesic,et al.  A note on input-to-state stabilization for nonlinear sampled-data systems , 2002, IEEE Trans. Autom. Control..

[67]  Bruno Sinopoli,et al.  Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.

[68]  M.S. Branicky,et al.  Play-back buffers in networked control systems: Evaluation and design , 2008, 2008 American Control Conference.

[69]  Alberto Bemporad,et al.  Evaluation of piecewise affine control via binary search tree , 2003, Autom..

[70]  D.E. Quevedo,et al.  Packetized Predictive Control over Erasure Channels , 2007, 2007 American Control Conference.

[71]  Eduardo F. Camacho,et al.  Input to state stability of min-max MPC controllers for nonlinear systems with bounded uncertainties , 2006, Autom..

[72]  Tor Arne Johansen,et al.  Explicit model predictive control of gas-liquid separation plant , 2003, 2003 European Control Conference (ECC).

[73]  F. Allgöwer,et al.  A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability , 1997 .

[74]  Marko Bacic,et al.  Constrained NMPC via state-space partitioning for input-affine non-linear systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

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

[76]  Jay H. Lee,et al.  Model predictive control: past, present and future , 1999 .

[77]  James B. Rawlings,et al.  Discrete-time stability with perturbations: application to model predictive control , 1997, Autom..

[78]  Alberto Bemporad,et al.  Predictive control of teleoperated constrained systems with unbounded communication delays , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[79]  Marios M. Polycarpou,et al.  Cooperative Constrained Control of Distributed Agents With Nonlinear Dynamics and Delayed Information Exchange: A Stabilizing Receding-Horizon Approach , 2008, IEEE Transactions on Automatic Control.

[80]  Hannu T. Toivonen,et al.  Neural network approximation of a nonlinear model predictive controller applied to a pH neutralization process , 2005, Comput. Chem. Eng..

[81]  Eduardo Sontag Further facts about input to state stabilization , 1990 .

[82]  Mayuresh V. Kothare,et al.  An e!cient o"-line formulation of robust model predictive control using linear matrix inequalities (cid:1) , 2003 .

[83]  Clarence W. de Silva,et al.  Compensation for transmission delays in an ethernet-based control network using variable-horizon predictive control , 2006, IEEE Transactions on Control Systems Technology.

[84]  Clarence W. de Silva,et al.  Stability validation of a constrained model predictive networked control system with future input buffering , 2007, Int. J. Control.

[85]  T. Parisini,et al.  Stabilization of Networked Control Systems by Nonlinear Model Predictive Control: A Set Invariance Approach , 2009 .

[86]  Masayuki Fujita,et al.  Approximate robust receding horizon control for piecewise linear systems via orthogonal partitioning , 2003, 2003 European Control Conference (ECC).

[87]  Stephen J. Wright,et al.  Nonlinear Predictive Control and Moving Horizon Estimation — An Introductory Overview , 1999 .

[88]  Thomas Parisini,et al.  A receding-horizon regulator for nonlinear systems and a neural approximation , 1995, Autom..

[89]  Eduardo Sontag,et al.  New characterizations of input-to-state stability , 1996, IEEE Trans. Autom. Control..

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

[91]  S. Joe Qin,et al.  A survey of industrial model predictive control technology , 2003 .

[92]  E. Receding horizon H , control for nonlinear discrete-time systems , 2004 .

[93]  Panos J. Antsaklis,et al.  Guest Editorial Special Issue on Networked Control Systems , 2004, IEEE Trans. Autom. Control..

[94]  Vincenzo Liberatore,et al.  Integrated Play-Back, Sensing, and Networked Control , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[95]  Thomas Parisini,et al.  Networked Predictive Control of Uncertain Constrained Nonlinear Systems: Recursive Feasibility and Input-to-State Stability Analysis , 2011, IEEE Transactions on Automatic Control.

[96]  Zhong-Ping Jiang,et al.  A converse Lyapunov theorem for discrete-time systems with disturbances , 2002, Syst. Control. Lett..

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

[98]  Jie Yu,et al.  Unconstrained receding-horizon control of nonlinear systems , 2001, IEEE Trans. Autom. Control..

[99]  Alberto Bemporad,et al.  Min-max control of constrained uncertain discrete-time linear systems , 2003, IEEE Trans. Autom. Control..

[100]  Hong Ye,et al.  Scheduling of networked control systems , 2001 .

[101]  D. Mayne,et al.  Optimal control of constrained, piecewise affine systems with bounded disturbances , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[102]  Éva Gyurkovics,et al.  Quadratic stabilisation with H∞-norm bound of non-linear discrete-time uncertain systems with bounded control , 2003, Syst. Control. Lett..

[103]  J. Maciejowski,et al.  Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model predictive control , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[104]  Alessandro Astolfi,et al.  Input-to-state stability for discrete-time time-varying systems with applications to robust stabilization of systems in power form , 2005, Autom..

[105]  A. Astolfi,et al.  Simple Robust Control Invariant Tubes for Some Classes of Nonlinear Discrete Time Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[106]  D. Mayne,et al.  Robust receding horizon control of constrained nonlinear systems , 1993, IEEE Trans. Autom. Control..

[107]  James B. Rawlings,et al.  Tutorial overview of model predictive control , 2000 .

[108]  E. Gilbert,et al.  Optimal infinite-horizon feedback laws for a general class of constrained discrete-time systems: Stability and moving-horizon approximations , 1988 .

[109]  Dragan Nesic,et al.  A Lyapunov Proof of an Improved Maximum Allowable Transfer Interval for Networked Control Systems , 2007, IEEE Transactions on Automatic Control.

[110]  Carlos Canudas-de-Wit,et al.  Remote Stabilization Via Communication Networks With a Distributed Control Law , 2007, IEEE Transactions on Automatic Control.

[111]  W. P. M. H. Heemels,et al.  On input-to-state stability of min-max nonlinear model predictive control , 2008, Syst. Control. Lett..

[112]  Zhong-Ping Jiang,et al.  Nonlinear small-gain theorems for discrete-time feedback systems and applications , 2004, Autom..

[113]  Eduardo F. Camacho,et al.  On the stability of constrained MPC without terminal constraint , 2006, IEEE Transactions on Automatic Control.

[114]  A. Astolfi,et al.  Input-to-state stability for parameterized discrete-time time-varying nonlinear systems with applications , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[115]  T. Alamo,et al.  Stability analysis of systems with bounded additive uncertainties based on invariant sets: Stability and feasibility of MPC , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[116]  Andrew R. Teel,et al.  Examples when nonlinear model predictive control is nonrobust , 2004, Autom..

[117]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[118]  Riccardo Scattolini,et al.  Neural Network Implementation of Nonlinear Receding-Horizon Control , 1999, Neural Computing & Applications.