Control of large discrete event systems: constructive algorithms
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 34 (11) , 1164-1168
- https://doi.org/10.1109/9.40744
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automated generation and evaluation of control programs for discrete manufacturing processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Model-based low-level control in flexible manufacturing systemsRobotics and Computer-Integrated Manufacturing, 1988
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- 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
- On supervisor reduction in discrete-event systemsInternational Journal of Control, 1986