实时状态树结构模型的最优非阻塞模块化监督控制研究  

An Optimal Nonblocking Modular Supervisory Control to Real-Time State Tree Structures

作　　者：晁武杰[1] 甘永梅[1] 王兆安[1] W.M.WONHAM 

机构地区：[1]西安交通大学电气工程学院,西安710049 [2]多伦多大学电气与计算机工程系

出　　处：《西安交通大学学报》2013年第4期86-91,共6页Journal of Xi'an Jiaotong University

基　　金：国家教育部建设高水平大学公派留学生项目([2010]3006)

摘　　要：针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题,在实时状态树结构模型的基础上,提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务,将被控系统的性能指标划分为若干个子性能指标的合取形式,并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器,给出了最优非阻塞模块化监督控制器的存在条件;通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明,模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度,而且保证所得到的模块化监督控制器是最优且非阻塞的。An optimal nonblocking modular supervisory control of timed discrete-event systems based on real-time state-tree-structures is proposed to alleviate the problem that the complexity of supervisor synthesis is very high and the supervisor is inflexible and hard to maintain in the traditional supervisory control of timed discrete-event systems.The timed discrete-event system is modeled as a real-time state-tree-structure and the specification of the controlled system is given as a predicate to indicate the legal states of the controlled systems.The total specification is divided into several sub-specification according to different control tasks,and an optimal nonblocking supervisor is synthesized for each sub-specification.A modular supervisor is constructed based on these sub-supervisors.Conditions for the optimal and nonblocking modular supervisor to exist are given.A coordinator is designed to solve the blocking problem of the closed-loop system.The results from both theoretical analysis and experiments show that the proposed modular supervisory control approach effectively reduces the complexity of synthesis of supervisor in timed discrete-event systems and the optimization and nonblocking of the modular supervisor are guaranteed.

关 键 词：实时离散事件系统 实时状态树结构 模块化监督控制 最优 非阻塞 谓词 协调器 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]