A sparse ADMM-based solver for linear MPC subject to terminal quadratic constraint

This paper presents a sparse solver based on the alternating direction method of multipliers algorithm for a linear model predictive control (MPC) formulation in which the terminal state is constrained to a given ellipsoid. The motivation behind this solver is to substitute the typical polyhedral invariant set used as a terminal constraint in many nominal and robust linear MPC formulations with an invariant set in the form of an ellipsoid, which is (typically) much easier to compute and results in an optimization problem with significantly fewer constraints, even for average-sized systems. However, this optimization problem is no longer the quadratic programming problem found in most linear MPC approaches, thus meriting the development of a tailored solver. The proposed solver is suitable for its use in embedded systems, since it is sparse, has a small memory footprint and requires no external libraries. We show the results of its implementation in an embedded system to control a simulated multivariable plant, comparing it against other alternatives.

[1]  John O'Reilly,et al.  Optimisation of attraction domains of nonlinear MPC via LMI methods , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[2]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[3]  Stephen P. Boyd,et al.  OSQP: an operator splitting solver for quadratic programs , 2017, 2018 UKACC 12th International Conference on Control (CONTROL).

[4]  Moritz Diehl,et al.  CasADi: a software framework for nonlinear optimization and optimal control , 2018, Mathematical Programming Computation.

[5]  Yu-Hong Dai,et al.  Fast Algorithms for Projection on an Ellipsoid , 2006, SIAM J. Optim..

[6]  Rolf Findeisen,et al.  A fast gradient method for embedded linear predictive control , 2011 .

[7]  Marko Bacic,et al.  Model predictive control , 2003 .

[8]  Sophie Tarbouriech,et al.  Stability and Stabilization of Linear Systems with Saturating Actuators , 2011 .

[9]  Eduardo F. Camacho,et al.  Robust tube-based MPC for tracking of constrained linear systems with additive disturbances , 2010 .

[10]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[11]  Amir Beck,et al.  First-Order Methods in Optimization , 2017 .

[12]  Manfred Morari,et al.  A Projected Gradient and Constraint Linearization Method for Nonlinear Model Predictive Control , 2016, SIAM J. Control. Optim..

[13]  Kim-Chuan Toh,et al.  SDPT3 -- A Matlab Software Package for Semidefinite Programming , 1996 .

[14]  Daniel Limon,et al.  Implementation of model predictive control for tracking in embedded systems using a sparse extended ADMM algorithm , 2020, ArXiv.

[15]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[16]  Daniel Limon,et al.  Tractable robust MPC design based on nominal predictions , 2021, ArXiv.

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

[18]  Stephen P. Boyd,et al.  Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers , 2011, Found. Trends Mach. Learn..

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

[20]  Nikos D. Sidiropoulos,et al.  Consensus-ADMM for General Quadratically Constrained Quadratic Programming , 2016, IEEE Transactions on Signal Processing.

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

[22]  Daniel Limon,et al.  Implementation of Model Predictive Control in Programmable Logic Controllers , 2021, IEEE Transactions on Control Systems Technology.

[23]  E. F. Camacho,et al.  On the computation of convex robust control invariant sets for nonlinear systems , 2010, Autom..

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

[25]  Michael I. Jordan,et al.  A General Analysis of the Convergence of ADMM , 2015, ICML.

[26]  E. Kerrigan.  Robust Constraint Satisfaction: Invariant Sets and Predictive Control , 2000 .

[27]  Christian Kirches,et al.  qpOASES: a parametric active-set algorithm for quadratic programming , 2014, Mathematical Programming Computation.

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

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