Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

V. Pantelic, S.M. Postma, M. Lawford
2009 IEEE Transactions on Automatic Control  
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
more » ... events with certain probabilities. Necessary and sufficient conditions for the existence of such a supervisor, and an algorithm for its computation are presented. Index Terms-Probabilistic discrete event systems, random disablement, supervisory control.
doi:10.1109/tac.2009.2024376 fatcat:qh5coo6g7bcc3ajbw475ym57wi