DocumentCode
2262876
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
fYear
1993
fDate
16-18 Aug 1993
Firstpage
327
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on
Conference_Location
Detroit, MI
Print_ISBN
0-7803-1760-2
Type
conf
DOI
10.1109/MWSCAS.1993.343043
Filename
343043
Link To Document