Explicit hybrid model-predictive control: The exact solution

This article presents an algorithm for the exact solution of explicit hybrid model-predictive control problems of time-invariant, discrete-time mixed logical dynamical systems. Using multiparametric programming, this control problem is formulated as a multiparametric mixed-integer quadratic programming problem where the initial states of the system are treated as parameters. In conjunction with decomposition type or branch-and-bound type approaches, the proposed solution strategy first creates affine relaxations of nonconvex critical regions that result from the comparison of two quadratic objective functions. These relaxations are then used to generate an affine outer approximation for the critical regions. Upon termination, the bounded space of the initial states is partitioned into possibly nonconvex critical regions and corresponding optimal control laws.

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

[2]  Efstratios N. Pistikopoulos,et al.  From multi-parametric programming theory to MPC-on-a-chip multi-scale systems applications , 2012, Comput. Chem. Eng..

[3]  Alberto Bemporad,et al.  An algorithm for multi-parametric quadratic programming and explicit MPC solutions , 2003, Autom..

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

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

[6]  Efstratios N. Pistikopoulos,et al.  A branch and bound method for the solution of multiparametric mixed integer linear programming problems , 2014, J. Glob. Optim..

[7]  Ilya V. Kolmanovsky,et al.  Predictive energy management of a power-split hybrid electric vehicle , 2009, 2009 American Control Conference.

[8]  Christodoulos A. Floudas,et al.  Finding all solutions of nonlinearly constrained systems of equations , 1995, J. Glob. Optim..

[9]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

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

[11]  Garth P. McCormick,et al.  Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems , 1976, Math. Program..

[12]  Colin Neil Jones,et al.  On the facet-to-facet property of solutions to convex parametric quadratic programs , 2006, Autom..

[13]  Manfred Morari,et al.  A parametric branch and bound approach to suboptimal explicit hybrid MPC , 2014, Autom..

[14]  Tor Arne Johansen,et al.  An improved algorithm for combinatorial multi-parametric quadratic programming , 2013, Autom..

[15]  Efstratios N. Pistikopoulos,et al.  PAROC—An integrated framework and software platform for the optimisation and advanced model-based control of process systems , 2015 .

[16]  Rafael Castro-Linares,et al.  Trajectory tracking for non-holonomic cars: A linear approach to controlled leader-follower formation , 2010, 49th IEEE Conference on Decision and Control (CDC).

[17]  Tor Arne Johansen,et al.  Explicit MPC of higher-order linear processes via combinatorial multi-parametric quadratic programming , 2013, 2013 European Control Conference (ECC).

[18]  V. Sakizlis,et al.  The explicit control law for hybrid systems via parametric programming , 2001, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[19]  Efstratios N. Pistikopoulos,et al.  Perspectives in Multiparametric Programming and Explicit Model Predictive Control , 2009 .

[20]  Arun Gupta,et al.  A novel approach to multiparametric quadratic programming , 2011, Autom..

[21]  Manfred Morari,et al.  Efficient online solution of multi-parametric mixed-integer quadratic problems , 2013, Int. J. Control.

[22]  M. Morari,et al.  Optimal controllers for hybrid systems: stability and piecewise linear explicit form , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[23]  Alberto Bemporad,et al.  Piecewise linear optimal controllers for hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[24]  Efstratios N. Pistikopoulos,et al.  Constrained dynamic programming of mixed-integer linear problems by multi-parametric programming , 2014, Comput. Chem. Eng..

[25]  E. Pistikopoulos,et al.  A multiparametric programming approach for mixed-integer quadratic engineering problems , 2002 .

[26]  Christodoulos A. Floudas,et al.  ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations , 2014, Journal of Global Optimization.

[27]  Nikolaos V. Sahinidis,et al.  A polyhedral branch-and-cut approach to global optimization , 2005, Math. Program..