Real-time MPC - Stability through robust MPC design

Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-time constraint on the solution of the MPC problem, which generally prevents the computation of the optimal controller. In current approaches guarantees on feasibility and stability are sacrificed in order to achieve a real-time setting. In this paper we develop a real-time MPC scheme based on robust MPC design that recovers these guarantees while allowing for extremely fast computation. We show that a simple warm-start optimization procedure providing an enhanced feasible solution guarantees feasibility and stability for arbitrary time constraints. The proposed method can be practically implemented and efficiently solved for dynamic systems of significant problem size. Implementation details for a real-time robust MPC method are provided that achieves computation times equal to those reported for methods without guarantees. A 12-dimensional problem with 3 control inputs and a prediction horizon of 10 time steps is solved in 2msec with a performance deterioration less than 1% and thereby allows for sampling rates of 500Hz.

[1]  Stephen J. Wright,et al.  Applying new optimization algorithms to more predictive control , 1996 .

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

[3]  David Q. Mayne,et al.  Robust model predictive control of constrained linear systems with bounded disturbances , 2005, Autom..

[4]  Chaohong Cai,et al.  Input-output-to-state stability for discrete-time systems , 2008, Autom..

[5]  D. Q. Mayne,et al.  Suboptimal model predictive control (feasibility implies stability) , 1999, IEEE Trans. Autom. Control..

[6]  Henk Nijmeijer,et al.  Input-to-state stabilizing sub-optimal nonlinear MPC algorithms with an application to DC-DC converters , 2006 .

[7]  Mato Baotic,et al.  Multi-Parametric Toolbox (MPT) , 2004, HSCC.

[8]  Wpmh Maurice Heemels,et al.  Input‐to‐state stabilizing sub‐optimal NMPC with an application to DC–DC converters , 2008 .

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

[10]  Francesco Borrelli,et al.  Constrained Optimal Control of Linear and Hybrid Systems , 2003, IEEE Transactions on Automatic Control.

[11]  Stephen P. Boyd,et al.  Fast Model Predictive Control Using Online Optimization , 2010, IEEE Transactions on Control Systems Technology.

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

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

[14]  Verne C. Fryklund,et al.  What systems analysis? , 1981, Nature.

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

[16]  D. Mayne,et al.  OPTIMIZED ROBUST CONTROL INVARIANT SETS FOR CONSTRAINED LINEAR DISCRETE-TIME SYSTEMS , 2005 .

[17]  Yang Wang,et al.  Fast Model Predictive Control Using Online Optimization , 2008 .

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

[19]  D. Limón,et al.  Input-to-State Stability: A Unifying Framework for Robust Model Predictive Control , 2009 .

[20]  Manfred Morari,et al.  Real-time suboptimal model predictive control using a combination of explicit MPC and online optimization , 2008, 2008 47th IEEE Conference on Decision and Control.

[21]  Zhong-Ping Jiang,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999 .

[22]  M. Vidyasagar,et al.  Nonlinear systems analysis (2nd ed.) , 1993 .

[23]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

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

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

[26]  Hans Joachim Ferreau,et al.  An online active set strategy to overcome the limitations of explicit MPC , 2008 .

[27]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[28]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

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

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

[31]  David Q. Mayne,et al.  Invariant approximations of the minimal robust positively Invariant set , 2005, IEEE Transactions on Automatic Control.