Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant

In this paper, we propose a (max,+)-based method for the supervision of discrete event systems subject to tight time constraints. Systems under consideration are those modeled as timed event graphs and represented with linear (max,+) state equations. The supervision is addressed by looking for solutions of constrained state equations associated with timed event graph models. These constrained state equations are derived by reducing duration constraints to elementary constraints whose contributions are injected in the system's state equations. An example for supervisor synthesis is given for an industrial manufacturing plant subject to a strict temporal constraint, the thermal treatment of rubber parts for the automotive industries. Supervisors are calculated and classified according to their performance, considering their impact on the production throughput.

[1]  Marie-Ange Manier,et al.  Control of an electroplating line in the max and min algebras , 1999, Int. J. Syst. Sci..

[2]  S. Amari,et al.  Control of Linear Min-plus Systems under Temporal Constraints , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[3]  H. Schneider,et al.  Generators, extremals and bases of max cones , 2006, math/0604454.

[4]  Katarína Cechlárová,et al.  Eigenvectors of interval matrices over max-plus algebra , 2005, Discret. Appl. Math..

[5]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[6]  Peter Butkovic,et al.  The equation A⊗x=B⊗y over (max, +) , 2003, Theor. Comput. Sci..

[7]  H. Laurent,et al.  Control synthesis for P-temporal event graphs , 2006, 2006 8th International Workshop on Discrete Event Systems.

[8]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.

[9]  Feng Chu,et al.  A Petri Net Method for Schedulability and Scheduling Problems in Single-Arm Cluster Tools With Wafer Residency Time Constraints , 2008, IEEE Transactions on Semiconductor Manufacturing.

[10]  S. Gaubert.  Theorie des systemes lineaires dans les dioides , 1992 .

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

[12]  Claude Martinez,et al.  Sizing of an industrial plant under tight time constraints using two complementary approaches: (max, +) algebra and computer simulation , 2003, Simul. Model. Pract. Theory.

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  J. Quadrat,et al.  Analyse du comportement periodique de systemes de production par la theorie des dioides , 1983 .

[15]  S. Gaubert.  Resource optimization and (min, +) spectral theory , 1995, IEEE Trans. Autom. Control..

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

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

[18]  Elizabeth A. Walkup,et al.  Optimization of linear max-plus systems with application to timing analysis , 1996 .

[19]  Tae-Eog Lee,et al.  Schedule stabilization and robust timing control for time-constrained cluster tools , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[20]  C. Commault.  Feedback stabilization of some event graph models , 1998, IEEE Trans. Autom. Control..

[21]  G. Cohen,et al.  Dioids and discrete event systems , 1994 .

[22]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[23]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[24]  Eric Goubault,et al.  The tropical double description method , 2010, STACS.

[25]  Didier Dubois,et al.  A linear-system-theoretic view of discrete-event processes , 1983 .

[26]  Laurent Libeaut.  Sur l'utilisation des dioides pour la commande des systemes a evenements discrets , 1996 .