Abstract: In this paper the Supervisory Control Problem (SCP) for discrete event systems (DES) is generalized to a class of probabilistic discrete event systems (PDES). Necessary and sufficient conditions for the existence of a solution to the probabilistic SCP for a class of nonterminating PDES are developed. Methods of representing probabilistic supervisors for PDES are described and the computation of supervisors is briefly discussed. Finally, we discuss how the results may be extended to terminating probabilistic languages.
Below we have available the full version of the paper that appeared in the conference proceedings in shortened form due to space constaints.
MWSCS93.ps (264k, postscript) OR MWSCS93.pdf (220k, PDF)
@inproceedings{LawWon:93, author={M. Lawford and W.M. Wonham}, title={Supervisory control of probabilistic discrete event systems}, booktitle={Proceedings of the 36th Midwest Symposium on Circuits and Systems}, volume={1}, month=aug, year={1993}, date={16-18 Aug 1993}, pages={327-331}, publisher={IEEE}, url={URL: http://ieeexplore.ieee.org/iel2/1096/8013/00343043.pdf?isNumber=8013\u220f=STD&arnumber=343043&arNumber=343043&arSt=327&ared=331+vol.1&arAuthor=Lawford%2C+M.%3B+Wonham%2C+W.M.} }