基于状态树结构的离散事件系统模块化监督控制

在状态树结构(State tree structures,STS)的基础上提出了离散事件系统的模块化监督控制方法.该方法中,系统模型是状态树结构模型,控制指标以谓词形式给出.把控制指标分解为几个子控制指标的合取形式,对每个子控制指标分别设计非阻塞最优监督控制器,并保证闭环系统行为满足控制指标要求且是非阻塞最优的.本文研究了模块化监督控制器存在性条件,给出了模块化监督控制器的综合过程;当闭环系统阻塞时,引入协调器水解决闭环系统阻塞问题并且给出了协调器的设计方法.

实时状态树结构模型的最优非阻塞模块化监督控制研究

针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题,在实时状态树结构模型的基础上,提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务,将被控系统的性能指标划分为若干个子性能指标的合取形式,并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器,给出了最优非阻塞模块化监督控制器的存在条件;通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明,模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度,而且保证所得到的模块化监督控制器是最优且非阻塞的。