Title :
A comparison of two synthesis methods for timed discrete-event systems
Author :
Barbeau, M. ; Kabanza, F. ; St-Denis, R.
Author_Institution :
Dept. de Math. et d´´Inf., Sherbrooke Univ., Que., Canada
Abstract :
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
Keywords :
control system synthesis; discrete event systems; axiomatic method; operational method; synthesis methods; temporal properties; timed discrete-event systems; Automatic control; Control system synthesis; Control systems; Control theory; Debugging; Discrete event systems; Law; Legal factors; Process control; Supervisory control;
Conference_Titel :
Electrical and Computer Engineering, 1995. Canadian Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-7803-2766-7
DOI :
10.1109/CCECE.1995.526418
