Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 34 (1), 10-19
- https://doi.org/10.1109/9.8645
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Reducibility in analysis of coordinationPublished by Springer Nature ,2006
- Mutual exclusion problems for discrete event systems with shared eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the control of discrete-event dynamical systemsMathematics of Control, Signals, and Systems, 1989
- Finitely recursive process models for discrete event systemsIEEE Transactions on Automatic Control, 1988
- Decentralized supervisory control of discrete-event systemsInformation Sciences, 1988
- On observability of discrete-event systemsInformation Sciences, 1988
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- The complementation problem for Büchi automata with applications to temporal logicTheoretical Computer Science, 1987
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Object histories which avoid certain subsequencesInformation and Computation, 1987