对称离散事件系统事件重标记观测器性质研究
焦亭1
甘永梅1
肖国春1
WONHAM W M2
1.西安交通大学电气工程学院,陕西西安,7100492.多伦多大学电气与计算机工程学院,加拿大多伦多M5S 3G4
摘要：当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设为不可观测事件,并将其标记为空字符擦除.为了确保事件重标记前后系统对应的最大监督控制器具有相同的控制效果,本文引入重标记观测器(relabeling observer property,ROP)的概念并给出判断被控对象对应的语言关于事件重标记映射是否具有重标记观测器性质的算法;然后运用重标记观测器性质证明事件重标记前后监督控制器控制效果的等价性,从而可用简化后的监督控制器实现与事件重标记操作前相同的控制任务.最后通过实例验证所提理论的正确性.
关键词：离散事件系统监督控制理论对称性事件重标记
分类号：TP273(自动化技术及设备)
论文发表日期：2017-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 525-532 )
英文信息