基于状态树结构的离散事件系统模块化监督控制
Modular Supervisory Control of Discrete-event Systems Based on State Tree Structures作者机构:西安交通大学电气工程学院西安710049
出 版 物:《自动化学报》 (Acta Automatica Sinica)
年 卷 期:2013年第39卷第7期
页 面:1018-1026页
核心收录:
学科分类:0711[理学-系统科学] 07[理学] 08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 071102[理学-系统分析与集成] 081103[工学-系统工程]
主 题:离散事件系统 状态树结构模型 模块化监督控制 协调器 谓词
摘 要:在状态树结构(State tree structures,STS)的基础上提出了离散事件系统的模块化监督控制方法.该方法中,系统模型是状态树结构模型,控制指标以谓词形式给出.把控制指标分解为几个子控制指标的合取形式,对每个子控制指标分别设计非阻塞最优监督控制器,并保证闭环系统行为满足控制指标要求且是非阻塞最优的.本文研究了模块化监督控制器存在性条件,给出了模块化监督控制器的综合过程;当闭环系统阻塞时,引入协调器水解决闭环系统阻塞问题并且给出了协调器的设计方法.