Supervisory control and reactive synthesis: a comparative introduction
- 15 March 2016
- journal article
- research article
- Published by Springer Science and Business Media LLC in Discrete Event Dynamic Systems
- Vol. 27 (2), 209-260
- https://doi.org/10.1007/s10626-015-0223-0
Abstract
No abstract availableKeywords
Funding Information
- National Science Foundation (CCF-1138860)
This publication has 60 references indexed in Scilit:
- A direct path to dependable softwareCommunications of the ACM, 2009
- Know means no: Incorporating knowledge into discrete-event control systemsIEEE Transactions on Automatic Control, 2000
- On supervisory control of sequential behaviorsIEEE Transactions on Automatic Control, 1992
- Think globally, act locally: decentralized supervisory controlIEEE Transactions on Automatic Control, 1992
- The control of discrete event systemsProceedings of the IEEE, 1989
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automataIEEE Transactions on Automatic Control, 1989
- Control problems in a temporal logic frameworkInternational Journal of Control, 1986
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969