Efficient interior point methods for multistage problems arising in receding horizon control

Receding horizon control requires the solution of an optimization problem at every sampling instant. We present efficient interior point methods tailored to convex multistage problems, a problem class which most relevant MPC problems with linear dynamics can be cast in, and specify important algorithmic details required for a high speed implementation with superior numerical stability. In particular, the presented approach allows for quadratic constraints, which is not supported by existing fast MPC solvers. A categorization of widely used MPC problem formulations into classes of different complexity is given, and we show how the computational burden of certain quadratic or linear constraints can be decreased by a low rank matrix forward substitution scheme. Implementation details are provided that are crucial to obtain high speed solvers.We present extensive numerical studies for the proposed methods and compare our solver to three well-known solver packages, outperforming the fastest of these by a factor 2-5 in speed and 3-70 in code size. Moreover, our solver is shown to be very efficient for large problem sizes and for quadratically constrained QPs, extending the set of systems amenable to advanced MPC formulations on low-cost embedded hardware.

[1]  J. Sherman,et al.  Adjustment of an Inverse Matrix Corresponding to a Change in One Element of a Given Matrix , 1950 .

[2]  E. Yip A Note on the Stability of Solving a Rank-p Modification of a Linear System by the Sherman–Morrison–Woodbury Formula , 1986 .

[3]  Sanjay Mehrotra,et al.  On the Implementation of a Primal-Dual Interior Point Method , 1992, SIAM J. Optim..

[4]  James Demmel,et al.  Applied Numerical Linear Algebra , 1997 .

[5]  Stephen J. Wright Primal-Dual Interior-Point Methods , 1997, Other Titles in Applied Mathematics.

[6]  Stephen J. Wright,et al.  Application of Interior-Point Methods to Model Predictive Control , 1998 .

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

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

[9]  Stephen J. Wright,et al.  Object-oriented software for quadratic programming , 2003, TOMS.

[10]  Iain S. Duff,et al.  MA57---a code for the solution of sparse symmetric definite and indefinite systems , 2004, TOMS.

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

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

[13]  Mato Baotic,et al.  Constrained Optimal Control of Hybrid Systems With a Linear Performance Index , 2006, IEEE Transactions on Automatic Control.

[14]  Gene H. Golub,et al.  Methods for modifying matrix factorizations , 1972, Milestones in Matrix Computation.

[15]  H. J. Ferreau,et al.  An online active set strategy to overcome the limitations of explicit MPC , 2008 .

[16]  Manfred Morari,et al.  Real-time input-constrained MPC using fast gradient methods , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[17]  Manfred Morari,et al.  Real-time MPC - Stability through robust MPC design , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[18]  Manfred Morari,et al.  Sensorless explicit model predictive control of permanent magnet synchronous motors , 2009, 2009 IEEE International Electric Machines and Drives Conference.

[19]  L. Harnefors,et al.  Multivariable predictive control of voltage source converter HVDC transmission systems , 2010, 2010 IEEE International Symposium on Industrial Electronics.

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

[21]  Stephen P. Boyd,et al.  AUTOMATIC GENERATION OF HIGH-SPEED SOLVERS , 2011 .

[22]  Stephen P. Boyd,et al.  Receding Horizon Control , 2011, IEEE Control Systems.

[23]  W. Marsden I and J , 2012 .