期刊
AUTOMATICA
卷 108, 期 -, 页码 -出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2019.06.022
关键词
Nondeterministic discrete event system; Bisimulation equivalence; Supervisory control; Supervisor synthesis
资金
- JSPS KAKENHI [18K04201]
- Grants-in-Aid for Scientific Research [18K04201] Funding Source: KAKEN
We consider a bisimilarity control problem for the plant and the specification modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is bisimilar to the specification. We derive a new necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem. Although the complexity of verifying this existence condition is exponential in the numbers of states of the plant and the specification, it is smaller than that of the exhaustive search that uses the existing condition. We present how to synthesize a solution to the bisimilarity control problem if it exists. In addition, we give a polynomially verifiable necessary condition. (C) 2019 Published by Elsevier Ltd.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据