The computational complexity of decentralized discrete-event control problems
- 1 July 1995
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 40 (7), 1313-1319
- https://doi.org/10.1109/9.400469
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Protocol verification using discrete-event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Supervisory control of a rapid thermal multiprocessorIEEE Transactions on Automatic Control, 1993
- Think globally, act locally: decentralized supervisory controlIEEE Transactions on Automatic Control, 1992
- Decentralized control and coordination of discrete-event systems with partial observationIEEE Transactions on Automatic Control, 1990
- On the control of discrete-event dynamical systemsMathematics of Control, Signals, and Systems, 1989
- Modeling and analysis of transaction execution in database systemsIEEE Transactions on Automatic Control, 1988
- On observability of discrete-event systemsInformation Sciences, 1988
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- A Control Theory for Discrete-Event SystemsPublished by Springer Nature ,1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987