期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 61, 期 10, 页码 2987-3000出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2015.2513901
关键词
Discrete event system; game automaton; mean-payoff game; supervisory control
资金
- JSPS KAKENHI [24656262]
- Grants-in-Aid for Scientific Research [24656262] Funding Source: KAKEN
We formulate an optimal supervisory control problem for quantitative non-terminating discrete event systems (DESs) modeled by finite weighted automata. The control performance of a supervisor is evaluated by the worst-case limit-average weight of the infinite sequences generated by the supervised DES. An optimal supervisor is a supervisor that avoids deadlocks and maximizes the control performance. We propose a game theoretical design method for an optimal supervisor using a two-player turn-based mean-payoff game automaton. As the first player, the objective of the supervisor is to maximize the worst-case limit-average weight of the generated sequences; as the second player, the DES aims to minimize it. We show that an optimal supervisor can be computed from an optimal strategy (of the first player) for this game. Then, we propose an algorithm to compute an f-minimally restrictive optimal supervisor, which is a finite-memory optimal supervisor that enables as many sequences as possible and can be represented by an optimal strategy for a finite version of the two-player game.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据