Synthesis of real-time supervisors for controlled time Petri nets

A method is presented to synthesize real-time supervisors for controlled time Petri nets (CtlTPNs) based on the synthesis of logical supervisors for a related untimed controlled automata. The approach is based on the generation of the control class graph (CCG) for the CtlTPN which models the complete logical behavior of the timed system.<<ETX>>

[1]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[2]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[3]  W. M. Wonham,et al.  A framework for real-time discrete event control , 1990 .

[4]  Bruce H. Krogh,et al.  Logical analysis and control of time Petri nets , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[5]  C. H. Golaszewski,et al.  Supervisory control of discrete event processes with arbitrary controls , 1988 .

[6]  W. Wonham,et al.  The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.