Stable Model Predictive Control for Constrained Max-Plus-Linear Systems

Discrete-event systems with synchronization but no concurrency can be described by models that are “linear” in the max-plus algebra, and they are called max-plus-linear (MPL) systems. Examples of MPL systems often arise in the context of manufacturing systems, telecommunication networks, railway networks, parallel computing, etc. In this paper we provide a solution to a finite-horizon model predictive control (MPC) problem for MPL systems where it is required that the closed-loop input and state sequence satisfy a given set of linear inequality constraints. Although the controlled system is nonlinear, by employing results from max-plus theory, we give sufficient conditions such that the optimization problem that is performed at each step is a linear program and such that the MPC controller guarantees a priori stability and satisfaction of the constraints. We also show how one can use the results in this paper to compute a time-optimal controller for linearly constrained MPL systems.

[1]  B. Schutter.  "Max-Algebraic System Theory for Discrete Event Systems" , 1996 .

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

[3]  van der Arjan Schaft,et al.  Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 , 2005, CDC 2005.

[4]  J. Mairesse.  A graphical approach of the spectral theory in the (max, +) algebra , 1995, IEEE Trans. Autom. Control..

[5]  R. Ruth,et al.  Stability of dynamical systems , 1988 .

[6]  K. T. Tan,et al.  Linear systems with state and control constraints: the theory and application of maximal output admissible sets , 1991 .

[7]  S Gaubert Communicated,et al.  On the Burnside Problem for Semigroups of Matrices in the (max,+) Algebra , 1996 .

[8]  Bart De Schutter,et al.  Stabilization of max-plus-linear systems using model predictive control: The unconstrained case , 2008, Autom..

[9]  S. Gaubert.  On the burnside problem for semigroups of matrices in the (max, +) algebra , 1996 .

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

[11]  E. Menguy,et al.  A feedback control in Max-Algebra , 1997, 1997 European Control Conference (ECC).

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

[13]  Edward W. Kamen,et al.  Reachability and observability of linear systems over max-plus , 1999, Kybernetika.

[14]  Charles R. Johnson,et al.  The perron root of a weighted geometric mean of nonneagative matrices , 1988 .

[15]  Bart De Schutter,et al.  Model predictive control for max-plus-linear discrete event systems , 2001, Autom..

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

[17]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

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

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

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

[21]  Kevin M. Passino,et al.  Stability Analysis of Discrete Event Systems , 1998 .

[22]  R. Weiner.  Lecture Notes in Economics and Mathematical Systems , 1985 .

[23]  B. De Schutter,et al.  On MPC for max-plus-linear systems: Analytic solution and stability , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

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

[26]  J. Hellendoorn,et al.  Reasoning with fuzzy logic , 1990 .

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

[28]  Geert Jan Olsder,et al.  Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications , 2005 .

[29]  J. P. Lasalle.  The stability of dynamical systems , 1976 .

[30]  J. Loiseau,et al.  Admissible initial conditions and control of timed event graphs , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.