Supervisory control of discrete event systems
- 1 June 1996
- journal article
- Published by Elsevier in Mathematical and Computer Modelling
- Vol. 23 (11-12), 25-53
- https://doi.org/10.1016/0895-7177(96)00063-5
Abstract
No abstract availableKeywords
This publication has 48 references indexed in Scilit:
- Equivalence preserving transformations for timed transition modelsIEEE Transactions on Automatic Control, 1995
- Modeling and Control of Logical Discrete Event SystemsPublished by Springer Nature ,1995
- Supervisory control of a rapid thermal multiprocessorIEEE Transactions on Automatic Control, 1993
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- Predicates and predicate transformers for supervisory control of discrete event dynamical systemsIEEE Transactions on Automatic Control, 1993
- Control of discrete event systems modeled as hierarchical state machinesIEEE Transactions on Automatic Control, 1993
- On the consistency of hierarchical supervision in discrete-event systemsIEEE Transactions on Automatic Control, 1990
- A framework for real-time discrete event controlIEEE Transactions on Automatic Control, 1990
- Modeling and analysis of transaction execution in database systemsIEEE Transactions on Automatic Control, 1988
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987