%0 Journal Article
%T 基于状态树结构的离散事件系统模块化监督控制
%A 甘永梅
%A 晁武杰
%A 王兆安
%J 自动化学报
%P 1018-1026
%D 2013
%R 10.3724/SP.J.1004.2013.01018
%X ？在状态树结构(Statetreestructures,STS)的基础上提出了离散事件系统的模块化监督控制方法.该方法中,系统模型是状态树结构模型,控制指标以谓词形式给出.把控制指标分解为几个子控制指标的合取形式,对每个子控制指标分别设计非阻塞最优监督控制器,并保证闭环系统行为满足控制指标要求且是非阻塞最优的.本文研究了模块化监督控制器存在性条件,给出了模块化监督控制器的综合过程;当闭环系统阻塞时,引入协调器来解决闭环系统阻塞问题并且给出了协调器的设计方法.
%K 离散事件系统
%K 状态树结构模型
%K 模块化监督控制
%K 协调器
%K 谓词
%U http://www.aas.net.cn/CN/abstract/abstract18130.shtml