Title :
Supervisory control of probabilistic discrete event systems
Author :
Lawford, M. ; Wonham, W.M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
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
Keywords :
SCADA systems; discrete event systems; optimal control; probabilistic logic; nonterminating PDES; probabilistic discrete event systems; probabilistic languages; probabilistic supervisors; supervisory control problem; Algebra; Automata; Automatic control; Carbon capture and storage; Control systems; Discrete event systems; Optimal control; Stochastic processes; Sufficient conditions; Supervisory control;
Conference_Titel :
Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on
Conference_Location :
Detroit, MI
Print_ISBN :
0-7803-1760-2
DOI :
10.1109/MWSCAS.1993.343043
