非确定型离散事件系统双模拟控制的实现

Realization of bisimilarity control of nondeterministic discrete event systems

中文关键词  离散事件系统  监督控制  双模拟关系  非确定型自动机  双模拟控制

英文关键词  discrete event systems  supervisory control  bisimulation equivalence  nondeterministic automata  bisimilarity control

中文摘要

      近年来, 双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注. 本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制, 进一步探讨其实现问题. 利用投影映射对系统规范说明语言进行等价类划分, 构造了一棵计算树, 得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法, 证明了双模拟控制机制是多项式时间算法可实现的. 同时, 通过对控制器配备具有存储和判断功能的模拟关系识别器, 阐述了这种双模拟控制机制是物理可实现的.

英文摘要

      Due to the practical and theoretical importance, the study of combining discrete event systems (DESs) with bisimulation equivalence has received considerable attention in recent years. This paper addresses the realization problem for bisimilarity control of nondeterministic DESs proposed in the prior work. A computing tree is constructed based on the subset of Cartesian product of nondeterministic plant and specification, and a polynomial algorithm is presented to check the simulation-based observability of specification, which indicates that the existence of bisimilarity supervisors can be verified with a polynomial complexity. Moreover, the physical design is further discussed, and it is illustrated that the bisimilarity control mechanism can be physically realized by employing an additional simulation recognizer with memory and judgement function.