Supervisory Control of a Class of Discrete Event Processes
- 1 January 1987
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Control and Optimization
- Vol. 25 (1) , 206-230
- https://doi.org/10.1137/0325013
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- The temporal semantics of concurrent programsPublished by Springer Nature ,2005
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Supervisory control of a class of discrete event processesPublished by Springer Nature ,2005
- Supervisory control of discrete event processesPublished by Springer Nature ,2005
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- 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
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978
- A Boolean Model for a Class of Discrete Event SystemsIEEE Transactions on Systems, Man, and Cybernetics, 1974