非确定型离散事件系统双模拟控制的实现
刘富春
广东工业大学计算机学院,广东广州,510006
摘要：近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的.
关键词：离散事件系统监督控制双模拟关系非确定型自动机双模拟控制
分类号：TP13(自动化基础理论)
资助基金：国家自然科学基金项目(61273118)国家自然科学基金项目(60974019)广东省自然科学基金项目(S2012010010570)Supported by National Natural Science Foundation of China(61273118)National Natural Science Foundation of Guangdong(S2012010010570)
论文发表日期：2015-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 75-79 )
英文信息