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

摘要：

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

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

所属期刊栏目：32

分类号：TP13(自动化基础理论)

资助基金：国家自然科学基金项目61273118,60974019;广东省自然科学基金项目S2012010010570;广东省教育厅高等学校高层次人才项目,广东高校省级重大科研项目资助.Supported by National Natural Science Foundation of China61273118;National Natural Science Foundation of GuangdongS2012010010570;Foundation for High-level Talents in Higher Education of Guangdong,Guangdong Provincial Major Scientific Research Projects in Universities

在线出版日期：2015-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：75-79