Parallel Explicit Model Predictive Control

This paper is about a real-time model predictive control (MPC) algorithm for large-scale, structured linear systems with polytopic state and control constraints. The proposed controller receives the current state measurement as an input and computes a sub-optimal control reaction by evaluating a finite number of piecewise affine functions that correspond to the explicit solution maps of small-scale parametric quadratic programming (QP) problems. We provide recursive feasibility and asymptotic stability guarantees, which can both be verified offline. The feedback controller is suboptimal on purpose because we are enforcing real-time requirements assuming that it is impossible to solve the given large-scale QP in the given amount of time. In this context, a key contribution of this paper is that we provide a bound on the sub-optimality of the controller. Our numerical simulations illustrate that the proposed explicit real-time scheme easily scales up to systems with hundreds of states and long control horizons, system sizes that are completely out of the scope of existing, non-suboptimal Explicit MPC controllers.

[1]  Efstratios N. Pistikopoulos,et al.  On multi-parametric programming and its applications in process systems engineering , 2016 .

[2]  Victor M. Zavala,et al.  The advanced-step NMPC controller: Optimality, stability and robustness , 2009, Autom..

[3]  Moritz Diehl,et al.  An Augmented Lagrangian Based Algorithm for Distributed NonConvex Optimization , 2016, SIAM J. Optim..

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

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

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

[7]  M. Diehl,et al.  Real-time optimization and nonlinear model predictive control of processes governed by differential-algebraic equations , 2000 .

[8]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[9]  Moritz Diehl,et al.  A distributed method for convex quadratic programming problems arising in optimal control of distributed systems , 2013, 52nd IEEE Conference on Decision and Control.

[10]  Manfred Morari,et al.  Distributed synthesis and stability of cooperative distributed model predictive control for linear systems , 2016, Autom..

[11]  Stephen P. Boyd,et al.  A Splitting Method for Optimal Control , 2013, IEEE Transactions on Control Systems Technology.

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

[13]  Bart De Schutter,et al.  Accelerated gradient methods and dual decomposition in distributed model predictive control , 2013, Autom..

[14]  Yang Wang,et al.  A hierarchical time-splitting approach for solving finite-time optimal control problems , 2013, 2013 European Control Conference (ECC).

[15]  Manfred Morari,et al.  Towards computational complexity certification for constrained MPC based on Lagrange Relaxation and the fast gradient method , 2011, IEEE Conference on Decision and Control and European Control Conference.

[16]  Benjamin Karg,et al.  Efficient Representation and Approximation of Model Predictive Control Laws via Deep Learning , 2018, IEEE Transactions on Cybernetics.

[17]  Deepak Ingole,et al.  FPGA Implementation of Explicit Model Predictive Control for Closed Loop Control of Depth of Anesthesia , 2015 .

[18]  Alberto Bemporad,et al.  Predictive Control for Linear and Hybrid Systems , 2017 .

[19]  Manfred Morari,et al.  Complexity reduction of receding horizon control , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[20]  M. Morari,et al.  Geometric Algorithm for Multiparametric Linear Programming , 2003 .

[21]  Colin Neil Jones,et al.  Constrained LQR using online decomposition techniques , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[22]  Harvey J. Everett.  Generalized Lagrange Multiplier Method for Solving Problems of Optimum Allocation of Resources , 1963 .

[23]  M. Morari,et al.  Move blocking strategies in receding horizon control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[24]  Hans Joachim Ferreau,et al.  Efficient Numerical Methods for Nonlinear MPC and Moving Horizon Estimation , 2009 .

[25]  Stefano Di Cairano,et al.  On region-free explicit model predictive control , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

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

[27]  Lars Grüne,et al.  Analysis and Design of Unconstrained Nonlinear MPC Schemes for Finite and Infinite Dimensional Systems , 2009, SIAM J. Control. Optim..

[28]  M. Kvasnica,et al.  Parallel Explicit MPC for Hardware with Limited Memory , 2017 .

[29]  Manfred Morari,et al.  Multi-Parametric Toolbox 3.0 , 2013, 2013 European Control Conference (ECC).

[30]  Stephen P. Boyd,et al.  Automatic code generation for real-time convex optimization , 2010, Convex Optimization in Signal Processing and Communications.

[31]  Johan A. K. Suykens,et al.  Application of a Smoothing Technique to Decomposition in Convex Optimization , 2008, IEEE Transactions on Automatic Control.

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

[33]  Manfred Morari,et al.  Computational aspects of distributed optimization in model predictive control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

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

[35]  Moritz Diehl,et al.  An auto-generated real-time iteration algorithm for nonlinear MPC in the microsecond range , 2011, Autom..

[36]  Manfred Morari,et al.  Enumeration-based approach to solving parametric linear complementarity problems , 2015, Autom..