DocumentCode

489230

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

fYear

1991

fDate

26-28 June 1991

Firstpage

2934

Lastpage

2935

Keywords

Control systems; Control theory; Discrete event systems; History; Logic; Machine shops; State-space methods;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 1991

Conference_Location

Boston, MA, USA

Print_ISBN

0-87942-565-2

Type

conf

Filename

4791940