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

• 作者: 刘富春
• 来源期刊: 控制理论与应用
• 关键词: 离散事件系统 监督控制 双模拟关系 非确定型自动机 双模拟控制
• 年，卷（期）: 2015,（1）
• 所属期刊栏目: 论文与报告
• 页码范围: 75-79
• 页数: 5页
• 分类号: TP13
• 语种: 中文
• DOI: 10.7641/CTA.2015.40204

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学计算机学院	49	235	10.0	14.0