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
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;
Conference_Titel :
American Control Conference, 1999. Proceedings of the 1999
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4990-3
DOI :
10.1109/ACC.1999.786212
