Efficient computation of controller partitions in multi-parametric programming

The off-line solution to optimal control problems for linear or piecewise-affine systems with constraints has garnered much attention because the on-line implementation can be realized with a simple look-up table. Specifically, multi-parametric programming techniques can be utilized to compute a piecewise-affine feedback law off-line. Even though the computation is performed off-line, the necessary computation time may easily become excessive for larger problems. This paper identifies the computation of minimal representations of polytopes as a key driver for complexity and presents an efficient method for reducing the associated computation cost. The method utilizes bounding-boxes and ray-shooting to discard redundant hyper-planes efficiently. A case study demonstrates the computational advantages.

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

[2]  M. Morari,et al.  Optimal complexity reduction of piecewise affine models based on hyperplane arrangements , 2004, Proceedings of the 2004 American Control Conference.

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

[4]  Mato Baotic,et al.  A new algorithm for constrained finite time optimal control of hybrid systems with a linear performance index , 2003, 2003 European Control Conference (ECC).

[5]  M. Baotic,et al.  An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

[6]  M. Morari,et al.  Robust Receding Horizon Control - analysis & synthesis , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[7]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[8]  Stanley Zionts,et al.  Redundancy in Mathematical Programming , 1983 .

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

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

[11]  Mato Baotic,et al.  Multi-Parametric Toolbox (MPT) , 2004, HSCC.

[12]  Fabio Danilo Torrisi,et al.  Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata , 2003 .

[13]  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).

[14]  P. Grieder,et al.  Low complexity control of piecewise affine systems with stability guarantee , 2004, Proceedings of the 2004 American Control Conference.

[15]  J. Gondzio,et al.  Presolove Analysis of Linear Programs Prior to Applying an Interior Point Method , 1997, INFORMS J. Comput..

[16]  Dick den Hertog,et al.  Interior Point Approach to Linear, Quadratic and Convex Programming: Algorithms and Complexity , 1994 .

[17]  M. Baotic,et al.  Infinite time optimal control of hybrid systems with a linear performance index , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

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

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

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

[21]  Arnon Boneh.  Preduce — A Probabilistic Algorithm Identifying Redundancy by a Random Feasible Point Generator (RFPG) , 1983 .