对称离散事件系统状态树结构模型的控制函数不变性研究

焦亭; 甘永梅; 肖国春

doi:10.7652/xjtuxb201611007

您当前的位置：

首页 >

文章列表页 >

对称离散事件系统状态树结构模型的控制函数不变性研究

更新时间：2025-07-09

- 对称离散事件系统状态树结构模型的控制函数不变性研究
- Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures
- 西安交通大学学报 2016年50卷第11期页码：43-48
- 作者机构：
  
  西安交通大学电气工程学院,西安,710049
- 作者简介：
- 基金信息：
  
  : 2016-05-12。作者简介: 焦亭(1988—),男,博士生;甘永梅(通信作者),女,副教授。基金项目: 国家建设高水平大学公派留学生资助项目(留金发〔2014〕3026)
- DOI：10.7652/xjtuxb201611007
  中图分类号： TP273
- 网络首发：2016-11-10，
  
  纸质出版：2016
- 稿件说明：
移动端阅览
焦亭, 甘永梅, 肖国春. 对称离散事件系统状态树结构模型的控制函数不变性研究[J]. 西安交通大学学报, 2016,50(11):43-48.

Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures[J]. 2016, 50(11): 43-48.
焦亭, 甘永梅, 肖国春. 对称离散事件系统状态树结构模型的控制函数不变性研究[J]. 西安交通大学学报, 2016,50(11):43-48. DOI： 10.7652/xjtuxb201611007.

Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures[J]. 2016, 50(11): 43-48. DOI： 10.7652/xjtuxb201611007.

摘要

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题

提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性

对避免缓冲区出现上溢或者下溢的性能指标

采用事件重标记映射提取各组中处于加工完成状态的组件数目

从而省去了各组件复杂的运行细节; 然后利用状态树结构计算得到基于抽象状态信息的控制函数; 最后

结合各组组件并行工作与串行工作的实例

分析所得控制函数的不变性

即在缓冲区容量固定的前提下

控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数; 各组中重标记为同一事件的各可控事件可由同一控制函数进行使能

有效减少了控制函数的个数; 相比于自动机形式的监督控制器

控制函数状态数更少且能更清晰地描述控制逻辑。

Abstract

The symmetric discrete-event systems(DES)consist of groups of identical components. For such DES

the supervisor in the form of automata synthesized by the supervisory control theory often has large number of state and is nontransparent in control logic. Thus a computational approach of abstract control function is proposed. This approach fully exploits the symmetry of the system. For the performance index to avoid the underflow or overflow of buffers

the number of components in the status of processing finish is extracted with event relabeling map

thereby the processing details of each component are omitted. Then the abstract control functions are computed with the state tree structures(STS)based on the abstract status information. Finally

by illustrating examples of components working in parallel and serial

the invariance property of control functions are analyzed. Namely

with fixed buffer sizes

the status information required by the control function is irrelevant to the total number of components. The experimental results showed that by utilizing the invariance property of control functions

the repeated computation of control functions is avoided when identical components are added or deleted. Meanwhile

all controllable events relabeled by the same symbol can be enabled by one abstract control function; thus the number of control functions is reduced. Moreover

compared with the controller represented by automata

the control functions have fewer states and are more transparent in control logic.

关键词

Keywords

references

WONHAM W M. Supervisory control of discrete-event systems [EB/OL]. [2016-03-01]. http: ∥www.control.utoronto.ca/～wonham/.

CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems [M]. Berlin, Germany: Springer, 2008: 268-369.

EYZELL J M, CURY J E R. Exploiting symmetry in the synthesis of supervisors for discrete event systems [J]. IEEE Transactions on Automatic Control, 2001, 46(9): 1500-1505.

ROHLOFF K, LAFORTUNE S. The verification and control of interacting similar discrete event systems [J]. SIAM Journal on Control and Optimization, 2006, 45(2): 634-667.

WANG W, SU R, LIN L. On analysis of deadlock and blocking freeness in isomorphic module systems [C]∥American Control Conference. Piscataway, NJ, USA: IEEE, 2013: 923-928.

SU R. Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition [J]. Automatica, 2013, 49(11): 3502-3506.

BRYANT R. Graph-based algorithms for Boolean function manipulation [J]. IEEE Transactions on Computers, 1986, 35(8): 677-691.

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

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

晁武杰, 甘永梅, 王兆安, 等. 实时状态树结构模型的最优非阻塞模块化监督控制研究 [J]. 西安交通大学学报, 2013, 47(4): 86-91.

CHAO Wujie, GAN Yongmei, WANG Zhao'an, et al. An optimal nonblocking modular supervisory control to real-time state tree structures [J]. Journal of Xi'an Jiaotong University, 2013, 47(4): 86-91.

JIAO T, GAN Y, YANG X, et al. Exploiting symmetry of discrete-event systems with parallel components by relabeling [C]∥TENCON 2015-2015 IEEE Region 10 Conference. Piscataway, NJ, USA: IEEE, 2015: 1-4.

BHERER H, DESHARNAIS J, ST-DENIS R. Control of parameterized discrete event systems [J]. Discrete Event Dynamic Systems, 2009, 19(2): 213-265.

GRIGOROV L, BUTLER B E, CURY J E R, et al. Conceptual design of discrete-event systems using templates [J]. Discrete Event Dynamic Systems, 2011, 21(2): 257-303.

GRIGOROV L, CURY J E R, RUDIE K. Design of discrete-event systems using templates [C]∥Proceedings of the American Control Conference. Piscataway, NJ, USA: IEEE, 2008: 499-504.

RABIN M O, SCOTT D. Finite automata and their decision problems [J]. IBM Journal of Research and Development, 1959, 3(2): 114-125.

JIAO T, GAN Y, XIAO G, et al. Exploiting symmetry of state tree structures for discrete-event systems with parallel components [C]∥13th International Workshop on Discrete Event Systems. Piscataway, NJ, USA: IEEE, 2016: 97-102.

浏览量

下载量

CSCD

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

提交

工具集

关联资源

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

张角凹坑气膜孔对双层壁气膜冷却特性的影响

扇贝仿生密封腔室内超临界二氧化碳泄漏流湍动能耗散机理研究

面向高海拔空冷发电机防晕性能演化规律的电热耦合研究

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