Flexible Piecewise Function Evaluation Methods Based on Truncated Binary Search Trees and Lattice Representation in Explicit MPC

Efficient methods for evaluation of piecewise functions defined over convex polyhedral partitions are proposed. As an important application, the explicit model predictive control problem is considered which requires a piecewise affine (PWA) control law to be evaluated online. The widely used binary search tree (BST) method is modified to be able to deal with a wider class of problems for which the BST method becomes prohibitive in terms of preprocessing time or memory requirements. The proposed method combines an orthogonal truncated binary search tree (OTBST) and lattice representation for PWA functions in a unified structure enjoying the advantages of both approaches. Both OTBST and Lattice-based OTBST (LOTBST) methods enable the designer to tradeoff between preprocessing time, storage requirement, and online computation time. The OTBST approach can be applied to more general partitions, e.g., discontinues and overlapping, while the LOTBST is directed towards more efficient evaluation of PWA functions, associated to the explicit MPC solutions. The key feature of the proposed methods is that the exact solution can be computed with predefined worst case online computation time guarantees. The computations are readily implementable using fixed-point arithmetic on a low cost microcontroller since there is no recursive accumulation of round-off errors, and the online algorithm is simple with a small footprint suitable for formal verification of correctness of implementation. Using several examples it is shown that the proposed LOTBST leads to a considerably less preprocessing time and memory requirement comparing to the pure BST and less online computation time comparing to the pure lattice representation.

[1]  Tor Arne Johansen,et al.  Hardware Synthesis of Explicit Model Predictive Controllers , 2007, IEEE Transactions on Control Systems Technology.

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

[3]  Alberto Bemporad,et al.  Efficient On-Line Computation of Constrained Optimal Control , 2008, SIAM J. Control. Optim..

[4]  Leonidas G. Bleris,et al.  A System-on-a-Chip Implementation for Embedded Real-Time Model Predictive Control , 2009, IEEE Transactions on Control Systems Technology.

[5]  T. Johansen.  On multi-parametric nonlinear programming and explicit nonlinear model predictive control , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[6]  H. J. Ferreau,et al.  An online active set strategy to overcome the limitations of explicit MPC , 2008 .

[7]  Richard H. Middleton,et al.  Networked control design for linear systems , 2003, Autom..

[8]  Marco Storace,et al.  Digital Circuit Realization of Piecewise-Affine Functions With Nonuniform Resolution: Theory and FPGA Implementation , 2010, IEEE Transactions on Circuits and Systems II: Express Briefs.

[9]  Tor Arne Johansen,et al.  Using hash tables to manage the time-storage complexity in a point location problem: Application to explicit model predictive control , 2011, Autom..

[10]  Xiaoyan Ma,et al.  Analytical expression of explicit MPC solution via lattice piecewise-affine function , 2009, Autom..

[11]  Tor Arne Johansen,et al.  Combining Truncated Binary Search Tree and Direct Search for Flexible Piecewise Function Evaluation for Explicit MPC in Embedded Microcontrollers , 2011 .

[12]  L. Chua,et al.  A generalized canonical piecewise-linear representation , 1990 .

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

[14]  Alberto Bemporad,et al.  Model predictive control based on linear programming - the explicit solution , 2002, IEEE Transactions on Automatic Control.

[15]  Brett Ninness,et al.  ASIC and FPGA implementation strategies for Model Predictive Control , 2009, 2009 European Control Conference (ECC).

[16]  T. Johansen,et al.  COMPLEXITY REDUCTION IN EXPLICIT LINEAR MODEL PREDICTIVE CONTROL , 2002 .

[17]  Manfred Morari,et al.  Real-time suboptimal model predictive control using a combination of explicit MPC and online optimization , 2008, 2008 47th IEEE Conference on Decision and Control.

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

[19]  Colin Neil Jones,et al.  A logarithmic-time solution to the point location problem for parametric linear programming , 2006, Autom..

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

[21]  Colin N. Jones,et al.  Optimized decision trees for point location in polytopic data sets - application to explicit MPC , 2010, Proceedings of the 2010 American Control Conference.

[22]  Manfred Morari,et al.  High-speed online MPC based on a fast gradient method applied to power converter control , 2010, Proceedings of the 2010 American Control Conference.

[23]  Jan M. Maciejowski,et al.  Embedded Model Predictive Control (MPC) using a FPGA , 2008 .

[24]  M. Morari,et al.  Efficient evaluation of piecewise control laws defined over a large number of polyhedra , 2007, 2007 European Control Conference (ECC).

[25]  J. M. Tarela,et al.  Region configurations for realizability of lattice Piecewise-Linear models , 1999 .