对称离散事件系统状态树结构模型的控制函数不变性研究

• 作者: 焦亭 甘永梅 肖国春
• 来源期刊: 西安交通大学学报
• 关键词: 离散事件系统 监督控制理论 状态树结构 控制函数 谓词逻辑
• 年，卷（期）: 2016,（11）
• 页码范围: 43-48
• 页数: 6页
• 分类号: TP273
• 语种: 中文
• DOI: 10.7652/xjtuxb201611007

摘要

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法.该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关.实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖国春	西安交通大学电气工程学院	50	894	13.0	29.0
2	甘永梅	西安交通大学电气工程学院	24	247	9.0	15.0
3	焦亭	西安交通大学电气工程学院	2	2	1.0	1.0