文章基本信息

标题：Optimal Stabilization of Discrete Event Systems with Guaranteed Worst Cost ⁎
本地全文：下载
作者：Yiding Ji ; Xiang Yin
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：1741-1746
DOI：10.1016/j.ifacol.2020.12.2291
语种：English
出版社：Elsevier
摘要：AbstractThis work investigates optimal stabilization with guaranteed worst-case performance of stochastic discrete event systems by supervisory control. We formulate the problem on probabilistic weighted automata. The system is driven to a specified set of target states after a finite number of transitions, thus stabilized. The cost of stabilization is concerned with the accumulative weight of transitions reaching target states. Our goal is to optimize the expected cost of reaching target states, while ensuring that the worst-case individual cost is bounded by a given threshold. Then we transform the supervisory control problem to a two-player stochastic game between the supervisor and the environment, which properly encodes the worst-case requirement. Finally an algorithm is presented to synthesize the optimal supervisor by leveraging results from Markov Decision Processes, which turns out to provably solve the original problem.
关键词：KeywordsDiscrete event systemsoptimal supervisory controlstabilizationstochastic game