Robust control of constrained max‐plus‐linear systems

Max-plus-linear (MPL) systems are a class of nonlinear systems that can be described by models that are ‘linear’ in the max-plus algebra. We provide here solutions to the three types of finite-horizon min–max control problems for uncertain MPL systems, depending on the nature of the control input over which we optimize: open-loop input sequences, disturbances feedback policies, and state feedback policies. We assume that the uncertainty lies in a bounded polytope and that the closed-loop input and state sequence should satisfy a given set of linear inequality constraints for all admissible disturbance realizations. Despite the fact that the controlled system is nonlinear, we provide sufficient conditions that allow one to preserve convexity of the optimal value function and its domain. As a consequence, the min–max control problems can be either recast as a linear program or solved via N parametric linear programs, where N is the prediction horizon. In some particular cases of the uncertainty description (e.g. interval matrices), by employing results from dynamic programming, we show that a min–max control problem can be recast as a deterministic optimal control problem. Copyright © 2008 John Wiley & Sons, Ltd.

[1]  Laurent Hardouin,et al.  A First Step Towards Adaptive Control for Linear Systems in Max Algebra , 2000, Discret. Event Dyn. Syst..

[2]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[3]  Bertrand Cottenceau,et al.  Optimal closed-loop control of timed EventGraphs in dioids , 2003, IEEE Trans. Autom. Control..

[4]  Vijay K. Garg,et al.  Supervisory control of real-time discrete event systems using lattice theory , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[5]  Vijay K. Garg,et al.  Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control , 1995, Theor. Comput. Sci..

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

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

[8]  Eric C. Kerrigan,et al.  Optimization over state feedback policies for robust control with constraints , 2006, Autom..

[9]  J. Loiseau,et al.  Model matching for timed event graphs , 1996 .

[10]  P. Tondel,et al.  Unique polyhedral representations of continuous selections for convex multiparametric quadratic programs , 2005, Proceedings of the 2005, American Control Conference, 2005..

[11]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[12]  D. Bertsekas,et al.  On the minimax reachability of target sets and target tubes , 1971 .

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

[14]  A. Ben-Tal,et al.  Adjustable robust solutions of uncertain linear programs , 2004, Math. Program..

[15]  Bart De Schutter,et al.  Properties of MPC for Max-Plus-Linear Systems , 2002, Eur. J. Control.

[16]  David Q. Mayne,et al.  Control of Constrained Dynamic Systems , 2001, Eur. J. Control.

[17]  J. Löfberg,et al.  Approximations of closed-loop minimax MPC , 2003, CDC.

[18]  Bertrand Cottenceau,et al.  Interval analysis and dioid: application to robust controller design for timed event graphs , 2004, Autom..

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

[20]  I. Necoara,et al.  Model predictive control for Max-Plus-Linear and piecewise affine systems , 2006 .

[21]  Bart De Schutter,et al.  Model predictive control for perturbed max-plus-linear systems , 2002, Syst. Control. Lett..

[22]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[23]  V. Garg,et al.  Supervisory control of real-time discrete-event systems using lattice theory , 1996, IEEE Trans. Autom. Control..

[24]  Bertrand Cottenceau,et al.  Model reference control for timed event graphs in dioids , 2001, Autom..