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

晁武杰 1; 甘永梅 1; 王兆安 1; W. M. WONHAM 2

doi:10.7652/xjtuxb201304015

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-09

- 实时状态树结构模型的最优非阻塞模块化监督控制研究
- An Optimal Nonblocking Modular Supervisory Control to Real-Time State Tree Structures
- 西安交通大学学报 2013年47卷第4期页码：86-91
- 作者机构：
  
  西安交通大学电气工程学院,西安,710049
- 作者简介：
- 基金信息：
  
  : 2012-08-15。作者简介: 晁武杰(1983—),男,博士生;甘永梅(通信作者),女,副教授。基金项目: 国家教育部建设高水平大学公派留学生项目([2010]3006)
- DOI：10.7652/xjtuxb201304015
  中图分类号： TP273
- 网络首发：2013-04-10，
  
  纸质出版：2013
- 稿件说明：
移动端阅览
晁武杰 1, 甘永梅 1, 王兆安 1, 等. 实时状态树结构模型的最优非阻塞模块化监督控制研究[J]. 西安交通大学学报, 2013,47(4):86-91.

An Optimal Nonblocking Modular Supervisory Control to Real-Time State Tree Structures[J]. 2013, 47(4): 86-91.
晁武杰 1, 甘永梅 1, 王兆安 1, 等. 实时状态树结构模型的最优非阻塞模块化监督控制研究[J]. 西安交通大学学报, 2013,47(4):86-91. DOI： 10.7652/xjtuxb201304015.

An Optimal Nonblocking Modular Supervisory Control to Real-Time State Tree Structures[J]. 2013, 47(4): 86-91. DOI： 10.7652/xjtuxb201304015.

摘要

针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题

在实时状态树结构模型的基础上

提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务

将被控系统的性能指标划分为若干个子性能指标的合取形式

并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器

给出了最优非阻塞模块化监督控制器的存在条件; 通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明

模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度

而且保证所得到的模块化监督控制器是最优且非阻塞的。

Abstract

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.

关键词

Keywords

references

CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems [M]. 2nd ed. Berlin, Germany: Springer, 2008: 269-368.

WONHAM W M. Supervisory control of discrete-event systems [EB/OL].(2010-07-01)[2011-08-12]. http:∥www.control.utoronto.ca/～wonham/.

BRANDIN B A, WONHAM W M. Supervisory control of timed discrete-event systems [J]. IEEE Transactions on Automatic Control, 1994, 39(2): 329-342.

SAADATPOOR A, WONHAM W M. State based control of timed discrete event systems using binary decision diagrams [J]. Systems and Control Letters, 2007, 56(1): 62-74.

GOHARI P, WONHAM W M. On the complexity of supervisory control design in the RW framework [J]. IEEE Transactions on Systems, Man, and Cybernetics: Part B Cybernetics, 2000, 30(5): 643-652.

SAADATPOOR A, MA C, WONHAM W M. Supervisory control of timed state tree structures [C]∥Proceedings of the American Control Conference. Piscataway, NJ, USA: IEEE, 2008: 477-482.

MA Chuan, WONHAM W M. Nonblocking supervisory control of state tree structures [J]. IEEE Transactions on Automatic Control, 2006, 51(5): 782-793.

MA Chuan, WONHAM W M. Nonblocking supervisory control of state tree structures [M]. Berlin, Germany: Springer, 2005.

WONHAM W M, RAMADGE P J. Modular supervisory control of discrete-event systems [J]. Mathematics of Control, Signals and Systems, 1988, 1(1): 13-30.

CHAO Wujie, GAN Yongmei, WANG Zhaoan, et al. Modular supervisory control and coordination of state tree structures [J]. International Journal of Control, 2013, 86(1): 9-21.

王飞, 胡奇英. 离散事件系统的混合分散监控 [J]. 控制理论与应用, 2005, 22(2): 277-280.

WANG Fei, HU Qiying. Mixed decentralized supervisory control of discrete event systems [J]. Control Theory and Applications, 2005, 22(2): 277-280.

LIN Feng, WONHAM W M. Decentralized control and coordination of discrete-event systems with partial observation [J]. IEEE Transactions on Automatic Control, 1990, 35(12): 1330-1337.

FENG Lei, WONHAM W M. Supervisory control architecture for discrete-event systems [J]. IEEE Transactions on Automatic Control, 2008, 53(6): 1449-1461.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

离子液体改性燃料的电流体动力学效应研究

超临界二氧化碳向心透平轮背间隙内风阻损失及流动特性研究

混合电解槽阵列协同的风光耦合制氢系统双层多目标优化

冷库水平空气幕热湿阻隔性能数值模拟研究

三塔合一间接空冷系统结构参数对夏季运行特性的影响研究