A comparison of two synthesis methods for timed discrete-event systems
Michel Barbeau, F. Kabanza, Richard St‐Denis · 2002
The control theory for discrete-event systems has become noteworthy due to its utility in automatically generating controllers. Recently two timed versions of this framework were developed to enable the specification of temporal properties and synthesis of controllers that supervise process under time progression: one is operational, the other is axiomatic. The comparative study done in this paper shows their relative strengths and weaknesses.