Modelling and control of discrete event systems using switching max-plus-linear systems

Abstract In this paper we consider the modelling and control of discrete event systems using switching max-plus-linear systems. In switching max-plus-linear systems we can switch between different modes of operation. In each mode the discrete event system is described by a max-plus-linear state space model with different system matrices for each mode. The switching allows us to change the structure of the system, to break synchronization and to change the order of events. We will give some examples of this type of systems. We define the model predictive control design problem for this type of discrete event system, and we show that solving this problem in general leads to a mixed integer optimization problem.

[1]  B. De Schutter,et al.  Model predictive control for max-min-plus-scaling systems - efficient implementation , 2002 .

[2]  Leon O. Chua,et al.  Canonical piecewise-linear representation , 1988 .

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

[4]  Lawrence. Davis,et al.  Handbook Of Genetic Algorithms , 1990 .

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

[6]  Domine M. W. Leenaerts,et al.  Piecewise Linear Modeling and Analysis , 1998 .

[7]  Bart De Schutter,et al.  MPC for continuous piecewise-affine systems , 2004, Syst. Control. Lett..

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

[9]  S. Gaubert.  Performance evaluation of (max, +) automata , 1995, IEEE Trans. Autom. Control..

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

[11]  Fred W. Glover,et al.  Tabu Search , 1997, Handbook of Heuristics.

[12]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[13]  Laurence A. Wolsey,et al.  bc–opt: a branch-and-cut code for mixed integer programs , 1999, Math. Program..

[14]  B. De Schutter,et al.  Modeling and control of railway networks , 2004, ACC.

[15]  B. De Schutter,et al.  Modelling and control of discrete event systems using switching max-plus-linear systems , 2004 .

[16]  Sven Leyffer,et al.  Numerical Experience with Lower Bounds for MIQP Branch-And-Bound , 1998, SIAM J. Optim..