Control of (max, +)-linear systems minimizing delays

In this paper, we develop a new control technique for discrete event dynamic systems subject to synchronization phenomena. We propose a feedback controller for (max, + )-linear systems which delays input events as little as possible while constraints on internal or output events are satisfied. The synthesis is mainly based on new results about fixed points of antitone (i.e., order reversing) mappings.

[1]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[2]  W. Wonham,et al.  Supremum operators and computation of supremal elements in system theory , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[3]  R. Santos-Mendes,et al.  Generalized multivariable control of discrete event systems in dioids , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[4]  P. Cousot,et al.  Constructive versions of tarski's fixed point theorems , 1979 .

[5]  Laurent Houssin.  Contributions à la commande des systèmes (max,+)-linéaires : applications aux réseaux de transport , 2006 .

[6]  Jean-Louis Boimond,et al.  CONTROL OF CONSTRAINED (MAX,+)-LINEAR SYSTEMS MINIMIZING DELAYS , 2006 .

[7]  R. E. Smithson.  Fixed points in partially ordered sets , 1973 .

[8]  Isabel Demongodin,et al.  Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs , 2012, IEEE Transactions on Automatic Control.

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

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

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

[12]  Jean-Louis Boimond,et al.  Just in Time Control of Constrained (max,+)-Linear Systems , 2007, Discret. Event Dyn. Syst..

[13]  Geert Jan Olsder,et al.  Max Plus at Work-Modelling and Analysis of Synchronized Systems , 2006 .

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

[15]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[16]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[17]  W. Marsden.  I and J , 2012 .