DocumentCode
2918187
Title
Analysis and synthesis of discrete event systems using temporal logic
Author
Lin, Feng
Author_Institution
Dept. of Electr. & Comput. Eng., Wayne State Univ., Detroit, MI, USA
fYear
1991
fDate
13-15 Aug 1991
Firstpage
140
Lastpage
145
Abstract
A systematic way of analyzing and synthesizing supervised discrete event systems using temporal logic is proposed. Syntax and semantics of temporal logic that are suitable for the study of supervised discrete-event systems are introduced. A systematic way is given to verify that a temporal logic formula is satisfied in a supervised discrete-event system. Given a temporal logic formula, a supervised discrete-event system satisfying the formula is synthesized. A synthesis algorithm is developed. The development is illustrated by examples
Keywords
discrete time systems; resource allocation; temporal logic; analysis; discrete time systems; resource allocation; semantics; supervised discrete event systems; syntax; synthesis; temporal logic; Automata; Control system synthesis; Control systems; Controllability; Discrete event systems; Logic; Observability; Safety; Supervisory control;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control, 1991., Proceedings of the 1991 IEEE International Symposium on
Conference_Location
Arlington, VA
ISSN
2158-9860
Print_ISBN
0-7803-0106-4
Type
conf
DOI
10.1109/ISIC.1991.187347
Filename
187347
Link To Document