Journal article
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
Abstract
This paper considers supervisory control of probabilistic discrete event systems (PDESs). PDESs are modeled as generators of probabilistic languages. The supervisory control problem considered is to find, if possible, a supervisor under whose control the behavior of a plant is identical to a given probabilistic specification. The probabilistic supervisors we employ are a generalization of the deterministic ones previously employed in the …
Authors
Pantelic V; Postma SM; Lawford M
Journal
IEEE Transactions on Automatic Control, Vol. 54, No. 8, pp. 2013–2018
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/tac.2009.2024376
ISSN
0018-9286