Title :
A Temporal Logic Approach to the Control of Discrete Event Systems
Author :
Lin, Jing-Yue ; Ionescu, Dan
Author_Institution :
Department of Electrical Engineering, University of Ottawa, Ottawa, Ontario, Canada KIN 6N5
Keywords :
Control systems; Control theory; Discrete event systems; History; Logic; Machine shops; State-space methods;
Conference_Titel :
American Control Conference, 1991
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-87942-565-2
