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

发布时间：2018-01-19 19:45

本文关键词： 离散事件系统监督控制理论对称性事件重标记　出处：《控制理论与应用》2017年04期 　论文类型：期刊论文

【摘要】：当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设为不可观测事件,并将其标记为空字符擦除.为了确保事件重标记前后系统对应的最大监督控制器具有相同的控制效果,本文引入重标记观测器(relabeling observer property,ROP)的概念并给出判断被控对象对应的语言关于事件重标记映射是否具有重标记观测器性质的算法;然后运用重标记观测器性质证明事件重标记前后监督控制器控制效果的等价性,从而可用简化后的监督控制器实现与事件重标记操作前相同的控制任务.最后通过实例验证所提理论的正确性.
[Abstract]:When the discrete event system is composed of multiple sets of components with the same structure. In order to simplify the state space of the symmetric discrete event system, this paper proposes an event rescaling mapping, which marks the event with the same task as the same event. The uncontrollable event which is independent of control is set as an unobservable event and marked as an empty character erasure. In order to ensure that the maximum supervisory controller corresponding to the system before and after the event remarking has the same control effect. In this paper, relabeling observer property is introduced. The concept of ROP) and the algorithm to judge whether the event relabel mapping has the property of relabeled observer in the corresponding language of the controlled object is given. Then the property of the relabeled observer is used to prove the equivalence of the control effect of the supervisory controller before and after the event remarking. Thus the simplified supervisory controller can be used to realize the same control task as before the event remarking operation. Finally, the correctness of the proposed theory is verified by an example.
【作者单位】：西安交通大学电气工程学院;多伦多大学电气与计算机工程学院;
【基金】：中国国家留学基金项目(2014[3026])资助~~
【分类号】：TP273
【正文快照】： 1引言(Introduction)很多较大规模系统由多组具有相同结构(对称性)的组件构成,因此对于每组中的各组件只需施加同一控制律.在数学及物理学中,对称性的概念也被广泛运用以简化系统模型与相关运算,例如量子物理中运用排列群或旋转群进行模型化简[1 2],控制理论线性系统负反馈中

【相似文献】