Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- 1 December 1989
- journal article
- research article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 22 (1) , 177-211
- https://doi.org/10.1007/bf02088297
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observationMathematics of Control, Signals, and Systems, 1989
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automataIEEE Transactions on Automatic Control, 1989
- Modeling and analysis of transaction execution in database systemsIEEE Transactions on Automatic Control, 1988
- Decentralized supervisory control of discrete-event systemsInformation Sciences, 1988
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987