Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
复制标题
DOI：
10.1587/transinf.e97.d.1140
复制
发表时间：
2014-05
期刊：
影响因子：
--
通讯作者：
Katsuyuki Kimura;S. Takai
中科院分区：
文献类型：
--
作者：
Katsuyuki Kimura;S. Takai
总结本文，我们研究了由非确定性自动机建模的植物的监督控制问题。发生的情况，但同时也是植物的现状，并引入了主管的完整性通知，该通知确保了由主管实现的所有非确定性转变，在监督工厂中定义了我们的指定。和该工厂，并证明它是具有双相似性执行完整主管的必要条件。
SUMMARY In this paper, we study a supervisory control problem for plants and specifications modeled by nondeterministic automata. This problem requires to synthesize a nondeterministic supervisor such that the supervised plant is bisimilar to a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant, and introduce a notion of completeness of a supervisor which guarantees that all nondeterministic transitions caused by events enabled by the supervisor are defined in the supervised plant. We define a notion of partial bisimulation between a given specification and the plant, and prove that it serves as a necessary and su ffi cient condition for the existence of a bisimilarity enforcing complete supervisor.