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

摘要：

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

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

所属期刊栏目：39

资助基金：国家教育部公派留学基金[2010]3006;National Scholarship Council of China[2010]3006

在线出版日期：2013-10-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1018-1026