Journal article
Optimal Supervisory Control of Probabilistic Discrete Event Systems
Abstract
Probabilistic discrete event systems (PDES) are modeled as generators of probabilistic languages and the supervisors employed are a probabilistic generalization of deterministic supervisors used in standard supervisory control theory. In the case when there exists no probabilistic supervisor such that the behavior of a plant under control exactly matches the probabilistic language given as the requirements specification, we want to find a …
Authors
Pantelic V; Lawford M
Journal
IEEE Transactions on Automatic Control, Vol. 57, No. 5, pp. 1110–1124
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/tac.2011.2173420
ISSN
0018-9286