Conference
Supervisory control of probabilistic discrete event systems
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 …
Authors
Lawford M; Wonham WM
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 1993
DOI
10.1109/mwscas.1993.343043
Name of conference
Proceedings of 36th Midwest Symposium on Circuits and Systems