Extremal trajectories in P-time Event Graphs: application to control synthesis with specifications

This paper presents a modelling and an analysis of P-time Event Graphs in the field of topical algebra. A particular serie of matrices is introduced whose evolution determines the system behavior and the existence of a trajectory without token deaths. The extremal trajectories obeying to an interval of desired output are deduced. If every event is controllable, the Just-In-Time control of Timed Event Graph is solved when additional specifications are given by a P-time Event Graph.

[1]  Pascal Yim,et al.  Time window specification and validation with Petri Nets , 2003, ETFA.

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

[3]  Jean Cochet-Terrasson.  A constructive xed point theorem for min-max functions , 1999 .

[4]  Philippe Declerck,et al.  Modelling and analysis of p-time event graphs in the (min, max, +) algebra , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[5]  Stéphane Gaubert,et al.  From First to Second-Order Theory of Linear Discrete Event Systems , 1993 .

[6]  Jean Cochet-Terrasson.  Algorithmes d'itération sur les politiques pour les applications monotones contractantes , 2001 .

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

[8]  S. Calvez,et al.  Using P-Time Petri Nets for Robust Control of Manufacturing Systems , 1997 .

[9]  C. D. Simon,et al.  Time window specification and validation with Petri Nets , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[10]  Philippe Declerck,et al.  OPTIMAL CONTROL SYNTHESIS IN INTERVAL DESCRIPTOR SYSTEMS APPLICATION TO TIME STREAM EVENT GRAPHS , 2005 .

[11]  D. Zheng,et al.  On the cycle time of non-autonomous min-max systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[12]  S. Gaubert,et al.  THE DUALITY THEOREM FOR MIN-MAX FUNCTIONS , 1997 .

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