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

doi:10.7652/xjtuxb201304015

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-09

- An Optimal Nonblocking Modular Supervisory Control to Real-Time State Tree Structures
- Vol. 47, Issue 4, Pages: 86-91(2013)
- 作者机构：
  
  西安交通大学电气工程学院,西安,710049
- 作者简介：
- 基金信息：
- DOI：10.7652/xjtuxb201304015
  CLC： TP273
- Online First：10 April 2013，
  
  Published：2013
- 稿件说明：
移动端阅览
An Optimal Nonblocking Modular Supervisory Control to Real-Time State Tree Structures[J]. 2013, 47(4): 86-91.
DOI：

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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Knowledge Graph Representation Learning Driven by Semantic Discrimination and Subgraph Integration

Diffusion Characteristics and Influencing Factors in Case of Hydrogen Leakage from Fuel Cell Vehicles Running in Tunnels

Integrated and Joint Design Optimization of Centrifugal Compressor Impeller and Casing Treatment at Multiple Working Points

Turbulent Kinetic Energy Dissipation Mechanism of Supercritical Carbon Dioxide Leakage Flow in a Scallop Bionic Seal Cavity

Research on the Electrohydrodynamic Effects of Ionic Liquid-Modified Fuels

Related Author

No data

Related Institution

No data

⁰