对称离散事件系统事件重标记观测器性质研究

摘要：

当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设为不可观测事件,并将其标记为空字符擦除.为了确保事件重标记前后系统对应的最大监督控制器具有相同的控制效果,本文引入重标记观测器(relabeling observer property,ROP)的概念并给出判断被控对象对应的语言关于事件重标记映射是否具有重标记观测器性质的算法;然后运用重标记观测器性质证明事件重标记前后监督控制器控制效果的等价性,从而可用简化后的监督控制器实现与事件重标记操作前相同的控制任务.最后通过实例验证所提理论的正确性.

关键词：离散事件系统、监督控制理论、对称性、事件重标记

所属期刊栏目：34

分类号：TP273(自动化技术及设备)

资助基金：中国国家留学基金项目2014[3026]资助. Supported by China Scholarship Council 2014[3026]

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

页数：共8页

页码：525-532