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

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

在状态树结构(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.