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

Modular Supervisory Control of Discrete-event Systems Based on State Tree Structures

作　　者：甘永梅[1] 晁武杰[1] 王兆安[1] 

机构地区：[1]西安交通大学电气工程学院,西安710049

出　　处：《自动化学报》2013年第7期1018-1026,共9页Acta Automatica Sinica

基　　金：国家教育部公派留学基金([2010]3006)资助~~

摘　　要：在状态树结构(State tree structures,STS)的基础上提出了离散事件系统的模块化监督控制方法.该方法中,系统模型是状态树结构模型,控制指标以谓词形式给出.把控制指标分解为几个子控制指标的合取形式,对每个子控制指标分别设计非阻塞最优监督控制器,并保证闭环系统行为满足控制指标要求且是非阻塞最优的.本文研究了模块化监督控制器存在性条件,给出了模块化监督控制器的综合过程;当闭环系统阻塞时,引入协调器水解决闭环系统阻塞问题并且给出了协调器的设计方法.Modular supervisory control of discrete-event systems based on state tree structures（STS）is studied.The plant is modeled as a state tree structure and the specification is given as a predicate.Assuming this specification can be decomposed into the conjunction of subspecifications,we synthesize optimal nonblocking sub-supervisor for each subspecification.The behavior of the plant under the control of these sub-supervisors meets the requirements of the specification and is nonblocking and optimal.We determine conditions under which it is possible to synthesize the optimal control in a modular fashion.When the closed-loop system is blocking,we introduce a coordinator to solve it and give the method of synthesizing the coordinator.

关 键 词：离散事件系统 状态树结构模型 模块化监督控制 协调器 谓词 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]