Supervisory control of a class of discrete event processes
- 10 October 2005
- book chapter
- Published by Springer Nature
- p. 475-498
- https://doi.org/10.1007/bfb0006306
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Supervisory control of discrete event processesPublished by Springer Nature ,2005
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Supervision of discrete event processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- APPLICATION OF FORMAL LANGUAGE THEORY TO PROBLEMS OF SECURITY AND SYNCHRONIZATION11Preparation of this paper was supported in part by the National Science Foundation under Grant No. MCS79–04012.Published by Elsevier ,1980
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Linear Multivariable Control: a Geometric ApproachPublished by Springer Nature ,1979
- A Boolean Model for a Class of Discrete Event SystemsIEEE Transactions on Systems, Man, and Cybernetics, 1974