Modular Supervisory Control of Discrete-event Systems Based on State Tree Structures
Yong-Mei GAN, Wujie Chao, Zhaoan Wang · Acta Automatica Sinica · 2014
摘要: 在状态树结构(State tree structures, STS)的基础上提出了离散事件系统的模块化监督控制方法. 该方法中, 系统模型是状态树结构模型, 控制指标以谓词形式给出. 把控制指标分解为几个子控制指标的合取形式, 对每个子控制指标分别设计非阻塞最优监督控制器, 并保证闭环系统行为满足控制指标要求且是非阻塞最优的. 本文研究了模块化监督控制器存在性条件, 给出了模块化监督控制器的综合过程; 当闭环系统阻塞时, 引入协调器来解决闭环系统阻塞问题并且给出了协调器的设计方法. 关键词: 离散事件系统 / 状态树结构模型 / 模块化监督控制 / 协调器 / 谓词