Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

by Vera Pantelic, Steven Postma, Mark Lawford


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 behaviour of a plant is identical to a given probabilistic specification. The probabilistic supervisors we employ are a generalization of the deterministi c 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.


BibTeX Entry

title={Probabilistic Supervisory Control of Probabilistic Discrete Event Systems},
author={Vera Pantelic and Steven Postma and Mark Lawford},
journal={Automatic Control, IEEE Transactions on},
keywords={ control system synthesis, discrete event systems, stochastic control, discrete-event systems, probabilisitic supervisory control},

Mark Lawford
Last modified: Wed May 27 16:50:40 EDT 2009