| 引用本文: | 刘富春.非确定型离散事件系统双模拟控制的实现[J].控制理论与应用,2015,32(1):75~79.[点击复制] |
| LIU Fu-chun.Realization of bisimilarity control of nondeterministic discrete event systems[J].Control Theory and Technology,2015,32(1):75~79.[点击复制] |
|
| 非确定型离散事件系统双模拟控制的实现 |
| Realization of bisimilarity control of nondeterministic discrete event systems |
| 摘要点击 1930 全文点击 1348 投稿时间：2014-03-14 修订日期：2014-08-18 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2014.40204 |
| 2015,32(1):75-79 |
| 中文关键词 离散事件系统 监督控制 双模拟关系 非确定型自动机 双模拟控制 |
| 英文关键词 discrete event systems supervisory control bisimulation equivalence nondeterministic automata bisimilarity control |
| 基金项目 国家自然科学基金项目(61273118, 60974019), 广东省自然科学基金项目(S2012010010570), 广东省教育厅高等学校高层次人才项目, 广东高校省级重大科研项目资助. |
|
| 中文摘要 |
| 近年来, 双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注. 本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制, 进一步探讨其实现问题. 利用投影映射对系统规范说明语言进行等价类划分, 构造了一棵计算树, 得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法, 证明了双模拟控制机制是多项式时间算法可实现的. 同时, 通过对控制器配备具有存储和判断功能的模拟关系识别器, 阐述了这种双模拟控制机制是物理可实现的. |
| 英文摘要 |
| 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. |