Analysis and synthesis of discrete event systems using temporal logic
- 9 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 140-145
- https://doi.org/10.1109/isic.1991.187347
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 examplesKeywords
This publication has 7 references indexed in Scilit:
- Decentralized control and coordination of discrete-event systems with partial observationIEEE Transactions on Automatic Control, 1990
- The control of discrete event systemsProceedings of the IEEE, 1989
- Supervisor specification and synthesis for discrete event systemsInternational Journal of Control, 1988
- Decentralized supervisory control of discrete-event systemsInformation Sciences, 1988
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Control problems in a temporal logic frameworkInternational Journal of Control, 1986