Robust control of multi-product job-shops in repetitive functioning mode

This work deals with the robustness of dynamic discrete event systems including time interval constraints. It presents a method to compute the passive robustness by the decomposition of the P-time Petri net model into four sets. A computing algorithm of a lower bound of the maximal time disturbances allowed on a given point is provided. Also, we focus on the active robustness by giving some definitions and lemmas. Finally, we present a theorem containing a local sufficient condition for the active robust control use.

[1]  P. Aygalinc,et al.  Structural analysis of p-time Petri nets , 1996 .

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

[3]  Simon Collart Dutilleul,et al.  P-time Petri nets and the hoist scheduling problem , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[4]  S. Calvez,et al.  P-Time Petri Nets for Manufacturing Systems with Staying Time Constraints , 1997 .

[5]  Simona Iuliana Caramihai,et al.  On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[6]  B. Krogh,et al.  On the complexity of forbidden state problems for controlled marked graphs , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[7]  Jianguo Long Sur la conduite hiérarchisée des systèmes flexibles de production , 1993 .