Supervisory Control of Probabilistic DES

by M. Lawford and W.M. Wonham

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.


Download

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)


BibTeX Entry

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


[ CAS | ML | Papers ]