Suboptimal Explicit Receding Horizon Control via Approximate Multiparametric Quadratic Programming

Algorithms for solving multiparametric quadratic programming (MPQP) were recently proposed in Refs. 1–2 for computing explicit receding horizon control (RHC) laws for linear systems subject to linear constraints on input and state variables. The reason for this interest is that the solution to MPQP is a piecewise affine function of the state vector and thus it is easily implementable online. The main drawback of solving MPQP exactly is that, whenever the number of linear constraints involved in the optimization problem increases, the number of polyhedral cells in the piecewise affine partition of the parameter space may increase exponentially. In this paper, we address the problem of finding approximate solutions to MPQP, where the degree of approximation is arbitrary and allows to tradeoff between optimality and a smaller number of cells in the piecewise affine solution. We provide analytic formulas for bounding the errors on the optimal value and the optimizer, and for guaranteeing that the resulting suboptimal RHC law provides closed-loop stability and constraint fulfillment.

[1]  Angelo Miele,et al.  Theory of optimum aerodynamic shapes , 1965 .

[2]  J. P. Lasalle.  Stability theory for ordinary differential equations. , 1968 .

[3]  Joel Wood Cantrell.  Method of independent multipliers for minimizing unconstrained functions , 1969 .

[4]  H. Y. Huang.  Unified approach to quadratically convergent algorithms for function minimization , 1970 .

[5]  On a conjugate gradient-restoration algorithm for mathematical programming problems , 1971 .

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

[7]  Mokhtar S. Bazaraa,et al.  Nonlinear Programming: Theory and Algorithms , 1993 .

[8]  Hector A. Rosales-Macedo.  Nonlinear Programming: Theory and Algorithms (2nd Edition) , 1993 .

[9]  Olvi L. Mangasarian,et al.  New Error Bounds for the Linear Complementarity Problem , 1994, Math. Oper. Res..

[10]  Olvi L. Mangasarian,et al.  New improved error bounds for the linear complementarity problem , 1994, Math. Program..

[11]  Dale E. Seborg,et al.  Nonlinear Process Control , 1996 .

[12]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[13]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[14]  J. Maciejowski,et al.  Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model predictive control , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[15]  Alberto Bemporad,et al.  Performance analysis of piecewise linear systems and model predictive control systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[16]  T. Johansen,et al.  On explicit suboptimal LQR with state and input constraints , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[17]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[18]  Efstratios N. Pistikopoulos,et al.  An Algorithm for the Solution of Multiparametric Mixed Integer Linear Programming Problems , 2000, Ann. Oper. Res..

[19]  M. Morari,et al.  Stability and stabilization of piecewise affine and hybrid systems: an LMI approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

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

[21]  G. Goodwin,et al.  Global analytical model predictive control with input constraints , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[22]  T. Johansen,et al.  An algorithm for multi-parametric quadratic programming and explicit MPC solutions , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[23]  Alberto Bemporad,et al.  Convexity recognition of the union of polyhedra , 2001, Comput. Geom..

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

[25]  Alberto Bemporad,et al.  Inner and outer approximations of polytopes using boxes , 2004, Comput. Geom..