The control of discrete event systems
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 77 (1) , 81-98
- https://doi.org/10.1109/5.21072
Abstract
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems arise in a variety of contexts ranging from computer operating systems to the control of complex multimode processes. A control theory for the logical aspects of such DESs is surveyed. The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered. Automata and formal language models for DESs are surveyed.<>Keywords
This publication has 50 references indexed in Scilit:
- On the control of discrete-event dynamical systemsMathematics of Control, Signals, and Systems, 1989
- On sSupervisory control of real-time discrete-event systemsInformation Sciences, 1988
- Decentralized supervisory control of discrete-event systemsInformation Sciences, 1988
- On observability of discrete-event systemsInformation Sciences, 1988
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- A Control Theory for Discrete-Event SystemsPublished by Springer Nature ,1988
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- On supervisor reduction in discrete-event systemsInternational Journal of Control, 1986
- Extensions of the multiarmed bandit problem: The discounted caseIEEE Transactions on Automatic Control, 1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984