Title :
Analysis and synthesis of discrete event systems using temporal logic
Author_Institution :
Dept. of Electr. & Comput. Eng., Wayne State Univ., Detroit, MI, USA
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;
Conference_Titel :
Intelligent Control, 1991., Proceedings of the 1991 IEEE International Symposium on
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-0106-4
DOI :
10.1109/ISIC.1991.187347
