DocumentCode
3489265
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
Volume
2
fYear
1995
fDate
5-8 Sep 1995
Firstpage
809
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1995. Canadian Conference on
Conference_Location
Montreal, Que.
ISSN
0840-7789
Print_ISBN
0-7803-2766-7
Type
conf
DOI
10.1109/CCECE.1995.526418
Filename
526418
Link To Document