Supervisory control of probabilistic discrete-event systems with recovery
Yonghua Li, Feng Lin, Zheng Hui Lin · IEEE Transactions on Automatic Control · 1999
The authors discuss supervisory control of probabilistic discrete event systems. Supervisors for such systems will take probabilities of event occurrences into consideration in making control decisions. The authors introduce a concept called "/spl epsiv/-containment of a given language" and subsequently study its algebraic properties. They discuss standard supervisor (with only enablement/disablement) synthesis problems and reset supervisor (with recovery mechanism) synthesis problems for both fully observed and partially observed systems.