DocumentCode
343243
Title
Control computation and complexity of temporal-safety in discrete-event systems
Author
Seow, Kiam Tian ; Devanathan, R.
Author_Institution
Sch. of Mech. & Production Eng., Nanyang Technol. Inst., Singapore
Volume
3
fYear
1999
fDate
1999
Firstpage
1976
Abstract
Presents a basic computation method to solve a class of control synthesis problems associated with temporal-safety supervision of logical discrete-event systems. A worst-case complexity analysis is also given to enable an objective assessment of the proposed method
Keywords
computational complexity; control system synthesis; discrete event systems; temporal logic; control synthesis problems; logical discrete-event systems; temporal-safety supervision; worst-case complexity analysis; Control system synthesis; Control systems; Discrete event systems; Instruments; Law; Legal factors; Logic; Natural languages; Safety; Supervisory control;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1999. Proceedings of the 1999
Conference_Location
San Diego, CA
ISSN
0743-1619
Print_ISBN
0-7803-4990-3
Type
conf
DOI
10.1109/ACC.1999.786212
Filename
786212
Link To Document