Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

by Vera Pantelic, Steven Postma, Mark Lawford

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.


Download


BibTeX Entry

@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},
}
    

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