Explicit MPC based on Approximate Dynamic Programming

In this paper we show how to synthesize simple explicit MPC controllers based on approximate dynamic programming. Here, a given MPC optimization problem over a finite horizon is solved iteratively as a series of problems of size one. The optimal cost function of each subproblem is approximated by a quadratic function that serves as a cost-to-go function for the subsequent iteration. The approximation is designed in such a way that closed-loop stability and recursive feasibility is maintained. Specifically, we show how to employ sum-of-squares relaxations to enforce that the approximate cost-to-go function is bounded from below and from above for all points of its domain. By resorting to quadratic approximations, the complexity of the resulting explicit MPC controller is considerably reduced both in terms of memory as well as the on-line computations. The procedure is applied to control an inverted pendulum and experimental data are presented to demonstrate viability of such an approach.

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

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

[3]  Pablo A. Parrilo Sums of squares of polynomials and their applications , 2004, ISSAC '04.

[4]  Mato Baotic,et al.  On the computation of linear model predictive control laws , 2010, Autom..

[5]  Manfred Morari,et al.  Polytopic Approximation of Explicit Model Predictive Controllers , 2010, IEEE Transactions on Automatic Control.

[6]  Deepak Ingole,et al.  Reducing Memory Footprints in Explicit Model Predictive Control using Universal Numbers , 2017 .

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

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

[9]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[10]  Mato Baotić,et al.  Optimal control of piecewise affine systems - a multi-parametric approach , 2005 .

[11]  Miroslav Fikar,et al.  Stabilizing polynomial approximation of explicit MPC , 2011, Autom..

[12]  David Q. Mayne,et al.  Model predictive control: Recent developments and future promise , 2014, Autom..

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

[14]  Peter Bakaráč,et al.  Design and development of a low-cost inverted pendulum for control education , 2017, 2017 21st International Conference on Process Control (PC).

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

[16]  Manfred Morari,et al.  Optimal complexity reduction of polyhedral piecewise affine systems , 2008, Autom..

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

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

[19]  Efstratios N. Pistikopoulos,et al.  Explicit/multi-parametric model predictive control (MPC) of linear discrete-time systems by dynamic and multi-parametric programming , 2011, Autom..

[20]  G. Stengle A nullstellensatz and a positivstellensatz in semialgebraic geometry , 1974 .

[21]  A. Bemporad,et al.  Efficient on-line computation of constrained optimal control , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[22]  Leopold B. Willner On Parametric Linear Programming , 1967 .

[23]  G Valencia-Palomo,et al.  Using Laguerre functions to improve efficiency of multi-parametric predictive control , 2010, Proceedings of the 2010 American Control Conference.

[24]  T. Gál,et al.  Multiparametric Linear Programming , 1972 .