Constrained optimal control via multiparametric quadraticprogramming

The standard way of solving a mathematical program, is to feed the program into some numerical solver, which usually is custom-made for a class of problems. When several optimization problems, which only differ by the value of some parameter vector, are to be solved, an alternative may be to consider the problem as a parametric program. Some classes of parametric programs can be solved explicitly, giving the optimal solution as an explicit function of the parameter vector. When the mathematical program originates from a control problem, such an explicit solution may give real-time implementational advantages compared to using a numerical solver.This thesis treats topics within parametric programming, and control problems which can be addressed by this method. The main motivation for our work on parametric programming has been the possibility of formulating a constrained receding horizon optimal control problem (RHC) as a parametric program. RHC has been a successful control method in the process industries, where the relatively low sampling rates have allowed realtime numerical solvers to be applied. However, with the explicit solution obtained by solving a parametric program, the range of applications where RHC can be applied is extended.Chapters 2 and 3 treat topics within multiparametric quadratic programming (mpQP), which can be used to obtain an explicit piecewise linear (PWL) solution to the RHC problem when a linear model is used to characterize the underlying dynamics subject to linear inequality constraints. An algorithm to solve such problems is developed, giving an off-line execution speed which is an order of magnitude faster than existing solvers. Moreover, some theoretical aspects of mpQP are explored, in particular related to degeneracy of the problem.The explicit solutions to some of the main classes of multiparametric programs are PWL functions of the parameter vector. When the problem size increases, these functions tend to be complex. When such a complex PWL function is to be evaluated in a real-time control application, efficient and reliable implementation is needed. In Chapter 4 we suggest to represent general PWL functions as binary search trees. This method gives a evaluation time which is logarithmic in the number of regions in the PWL function. The method has given good results on practical problems.Some of the advantages of having an explicit PWL solution to a control problem are low hardware and software complexity, verifiability of the solution and possible high sampling rates. These are qualities which make these methods attractive for embedded solutions, such as in the automotive industry. In Chapter 5 we address the problem of lateral stabilization of automotive vehicles. The idea is that in situations where the driver is about to lose control of the vehicle the controller can retain steerability by applying appropriate braking forces to the individual wheels. The control law is obtained by formulating an RHC problem with a nonlinear dynamical model and constraints that capture physical limitation and represent safe operation of the vehicle. This can be considered a multiparametric nonlinear program (mpNLP), to which an approximate solution is computed by giving several local mpQP approximations. Satisfactory performance is obtained on simulations.Constrained control allocation for over-actuated marine vessels, aircraft or other mechanical systems is an application area which is well suited for solution via parametric programming. This is the topic of Chapter 6. MpQPs are formulated for control allocation in a high-performance aircraft, and compared to the methods found in the existing literature, good results were obtained, both in terms of optimality and real-time properties. Experimental results were obtained from constrained control allocation on a dynamically positioned model supply ship.

[1]  J. Sack,et al.  Handbook of computational geometry , 2000 .

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

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

[4]  Alberto Bemporad,et al.  Approximate multiparametric convex programming , 2003 .

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

[6]  J. G. Evans,et al.  Postoptimal Analyses, Parametric Programming, and Related Topics , 1979 .

[7]  B. Foss,et al.  Constrained quadratic stabilization of discrete-time uncertain non-linear multi-model systems using piecewise affine state-feedback , 1999 .

[8]  Tomas Gal,et al.  A Historical Sketch on Sensitivity Analysis and Parametric Programming , 1997 .

[9]  Jens Lüdemann Heterogeneous and hybrid control with application in automotive systems , 2002 .

[10]  Larry Jenkins,et al.  Parametric methods in integer linear programming , 1991 .

[11]  Alfred V. Aho,et al.  Data Structures and Algorithms , 1983 .

[12]  T. Johansen,et al.  Efficient Optimal Constrained Control Allocation via Multiparametric Programming , 2005 .

[13]  A. Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[14]  A. Vicino,et al.  Sequential approximation of feasible parameter sets for identification with set membership uncertainty , 1996, IEEE Trans. Autom. Control..

[15]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

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

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

[18]  Vadim I. Utkin,et al.  Linear and nonlinear controller design for robust automatic steering , 1995, IEEE Trans. Control. Syst. Technol..

[19]  M. Morari,et al.  A geometric algorithm for multi-parametric linear programming , 2003 .

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

[21]  E. Gilbert,et al.  Optimal infinite-horizon feedback laws for a general class of constrained discrete-time systems: Stability and moving-horizon approximations , 1988 .

[22]  Stephen J. Wright,et al.  Numerical Optimization , 2018, Fundamental Statistical Inference.

[23]  M. Morari,et al.  Piecewise linear robust model predictive control , 2001 .

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

[25]  Uwe Kiencke,et al.  Automotive Control Systems , 2005 .

[26]  D. Enns CONTROL ALLOCATION APPROACHES , 1998 .

[27]  Stephen P. Boyd,et al.  Quadratic stabilization and control of piecewise-linear systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[28]  W. Jacobs,et al.  Smooth Patterns of Production , 1954 .

[29]  Tomas Gal,et al.  A “Historiogramme” of Parametric Programming , 1980 .

[30]  O. Harkegard Efficient active set algorithms for solving constrained least squares problems in aircraft control allocation , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[31]  M. Morari,et al.  Explicit solution of LP-based model predictive control , 2000 .

[32]  H. Michalska,et al.  Receding horizon control of nonlinear systems , 1988, Proceedings of the 28th IEEE Conference on Decision and Control,.

[33]  P. Gill,et al.  User's Guide for SOL/NPSOL: A Fortran Package for Nonlinear Programming. , 1983 .

[34]  C. R. Cutler,et al.  Dynamic matrix control¿A computer control algorithm , 1979 .

[35]  Alberto Bemporad,et al.  A Hybrid Approach to Traction Control , 2001, HSCC.

[36]  Thor I. Fossen,et al.  Marine Control Systems Guidance, Navigation, and Control of Ships, Rigs and Underwater Vehicles , 2002 .

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

[38]  A. Bemporad,et al.  Suboptimal Explicit Receding Horizon Control via Approximate Multiparametric Quadratic Programming , 2003 .

[39]  Jens Kalkkuhl,et al.  Wheel slip control in ABS brakes using gain scheduled constrained LQR , 2001, 2001 European Control Conference (ECC).

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

[41]  M. Karwan,et al.  Redundancy in mathematical programming : a state-of-the-art survey , 1983 .

[42]  W. B. Jackson,et al.  Constrained optimization based control of real time large-scale systems: airjet object movement system , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[43]  George B. Dantzig,et al.  Fourier-Motzkin Elimination and Its Dual , 1973, J. Comb. Theory A.

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

[45]  O. J. Sordalen,et al.  Optimal thrust allocation for marine vessels , 1997 .

[46]  P. R. Bélanger,et al.  Piecewise-linear LQ control for systems with input constraints , 1994, Autom..

[47]  Yinyu Ye,et al.  Convergence behavior of interior-point algorithms , 1993, Math. Program..

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

[49]  T. A. Badgwell,et al.  An Overview of Industrial Model Predictive Control Technology , 1997 .

[50]  Thor I. Fossen,et al.  Fuel-efficient rudder and propeller control allocation for marine craft: experiments with a model ship , 2003, IEEE Trans. Control. Syst. Technol..

[51]  Tor Arne Johansen,et al.  Optimal constrained control allocation in marine surface vessels with rudders , 2003 .

[52]  Tor A. Johansen,et al.  Lateral vehicle stabilization using constrained nonlinear control , 2003, 2003 European Control Conference (ECC).

[53]  Wayne C. Durham Constrained Control Allocation , 1992 .

[54]  E. Pistikopoulos,et al.  A multiparametric programming approach for linear process engineering problems under uncertainty , 1997 .

[55]  Wayne C. Durham Efficient, Near-Optimal Control Allocation , 1999 .

[56]  J. Maciejowski,et al.  Robustly stable feedback min-max model predictive control , 2003, Proceedings of the 2003 American Control Conference, 2003..

[57]  Alberto Bemporad,et al.  On the Optimal Control Law for Linear Discrete Time Hybrid Systems , 2002, HSCC.

[58]  H. Michalska RECEDING HORIZON CONTROL OF NON-LINEAR SYSTEMS , 1988 .

[59]  John M. Wilson,et al.  Advances in Sensitivity Analysis and Parametric Programming , 1998, J. Oper. Res. Soc..

[60]  O. H. Brownlee,et al.  ACTIVITY ANALYSIS OF PRODUCTION AND ALLOCATION , 1952 .

[61]  Sophie Tarbouriech,et al.  Piecewise-Linear Robust Control of Systems with Input Constraints , 1999, Eur. J. Control.

[62]  Wayne C. Durham,et al.  Null-space augmented solutions to constrained control allocation problems , 1995 .

[63]  F. Borrelli Discrete time constrained optimal control , 2002 .

[64]  T. Johansen,et al.  Computation and approximation of piecewise affine control laws via binary search trees , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[65]  João Borges de Sousa,et al.  Optimum Allocation For Multiple Thrusters , 1999 .

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

[67]  Manfred Morari,et al.  Model predictive control: Theory and practice - A survey , 1989, Autom..

[68]  Audra E. Kosh,et al.  Linear Algebra and its Applications , 1992 .

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

[70]  T. Terlaky,et al.  The Optimal Set and Optimal Partition Approach to Linear and Quadratic Programming , 1996 .

[71]  Thor I. Fossen,et al.  Passive nonlinear observer design for ships using Lyapunov methods: full-scale experiments with a supply vessel , 1999, Autom..

[72]  Wayne C. Durham Constrained control allocation - Three-moment problem , 1994 .

[73]  D. M. Prett,et al.  Optimization and constrained multivariable control of a catalytic cracking unit , 1980 .

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

[75]  Hans Bock,et al.  A Direct Multiple Shooting Method for Real-Time Optimization of Nonlinear DAE Processes , 2000 .

[76]  Jay H. Lee,et al.  Model predictive control: past, present and future , 1999 .

[77]  Tor Arne Johansen,et al.  Constrained nonlinear control allocation with singularity avoidance using sequential quadratic programming , 2004, IEEE Transactions on Control Systems Technology.

[78]  D. Chmielewski,et al.  On constrained infinite-time linear quadratic optimal control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[79]  E. Kerrigan Robust Constraint Satisfaction: Invariant Sets and Predictive Control , 2000 .

[80]  Michael A. Saunders,et al.  MINOS 5. 0 user's guide , 1983 .

[81]  James B. Rawlings,et al.  Constrained linear quadratic regulation , 1998, IEEE Trans. Autom. Control..

[82]  Bjarne A. Foss,et al.  Constrained quadratic stabilization of discrete-time uncertain nonlinear multi-model systems using piecewise affine state-feedback , 1999 .

[83]  Fredrik Gustafsson,et al.  Slip-based tire-road friction estimation , 1997, Autom..

[84]  J. Rawlings,et al.  The stability of constrained receding horizon control , 1993, IEEE Trans. Autom. Control..

[85]  A. Tucker,et al.  Linear Inequalities And Related Systems , 1956 .

[86]  A. Grancharova,et al.  APPROXIMATE EXPLICIT MODEL PREDICTIVE CONTROL IMPLEMENTED VIA ORTHOGONAL SEARCH TREE PARTITIONING , 2002 .

[87]  J. L. Testud,et al.  Paper: Model predictive heuristic control , 1978 .

[88]  Wayne C. Durham Attainable moments for the constrained control allocation problem , 1994 .

[89]  J. B. Rosen,et al.  Inequalities for Stochastic Nonlinear Programming Problems , 1964 .

[90]  Arthur M. Geoffrion,et al.  Parametric and Postoptimality Analysis in Integer Linear Programming , 1976 .

[91]  Marc Bodson,et al.  Evaluation of optimization methods for control allocation , 2001 .

[92]  Mario Sznaier,et al.  Suboptimal control of linear systems with state and control inequality constraints , 1987, 26th IEEE Conference on Decision and Control.

[93]  Wayne C. Durham,et al.  Closed-form solutions to constrained control allocation problem , 1995 .

[94]  Thor I. Fossen,et al.  Robust Control Allocation of Overactuated Ships; Experiments with a Model Ship , 1997 .

[95]  Marc Bodson,et al.  Fast Implementation of Direct Allocation with Extension to Coplanar Controls , 2002 .

[96]  Heidar A. Malki,et al.  Control Systems Technology , 2001 .

[97]  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..