文章基本信息

标题：Local Mean Payoff Supervisory Control under Partial Observation ⁎
本地全文：下载
作者：Yiding Ji ; Xiang Yin ; Wei Xiao 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：4
页码：390-396
DOI：10.1016/j.ifacol.2021.04.066
语种：English
出版社：Elsevier
摘要：AbstractThe problem under investigation in this work is local mean payoff supervisory control of partially observed discrete event systems. The system is modeled as a weighted finite state automaton and weight flows are generated with transitions. The local mean payoff over a finite number of events may serve as a measure of stability or robustness of the weight flows. The range of events to evaluate the local mean payoff is termed a window, which slides along transitions. The window is called fuzzy due to the presence of unobservable events. A supervisor is designed to ensure that the mean payoff within each fuzzy window always lies in certain interval. In addition, qualitative properties like safety and liveness are also required. Then the partial observation supervisory control problem is transformed to a two-player safety game on the properly defined windowed bipartite transition system. By analyzing the game, we propose a method to synthesize supervisors that provably solve the original supervisory control problem.
关键词：KeywordsDiscrete event systemssupervisory controlpartial observationsafety game