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 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.
@ARTICLE{PantelicPostmaLawford09, title={Probabilistic Supervisory Control of Probabilistic Discrete Event Systems}, author={Vera Pantelic and Steven Postma and Mark Lawford}, journal={Automatic Control, IEEE Transactions on}, year={2009}, month={Aug.}, volume={54}, number={8}, pages={2013--2018}, keywords={ control system synthesis, discrete event systems, stochastic control, discrete-event systems, probabilisitic supervisory control}, }