Home
Scholarly Works
Probabilistic Supervisory Control of Probabilistic...
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 literature. At any state, the supervisor enables/disables events with certain probabilities. Necessary and sufficient conditions for the existence of such a supervisor, and an algorithm for its computation are presented.

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)

Publication Date

July 31, 2009

DOI

10.1109/tac.2009.2024376

ISSN

0018-9286

Contact the Experts team