Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures

doi:10.7652/xjtuxb201611007

您当前的位置：

首页 >

文章列表页 >

Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures

更新时间：2025-07-09

- Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures
- Vol. 50, Issue 11, Pages: 43-48(2016)
- 作者机构：
  
  西安交通大学电气工程学院,西安,710049
- 作者简介：
- 基金信息：
- DOI：10.7652/xjtuxb201611007
  CLC： TP273
- Online First：10 November 2016，
  
  Published：2016
- 稿件说明：
移动端阅览
Invariance Property of the Control Functions in Symmetric Discrete-Event Systems Modeled by State Tree Structures[J]. 2016, 50(11): 43-48.
DOI：

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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Mechanism and Optimal Control Strategy for Hysteresis in Rapid Dehumidification Response of Indirect Thermal Systems in Electric Vehicles

Effects of Steam Addition on the Swirl Combustion and Emission Characteristics of Cracked Ammonia

Windage Loss and Flow Characteristics in Impeller Back Gaps of sCO2 Radial Inflow Turbines

Energy Efficiency Optimization of the Cryogenic Air Separation Process for Electronic-Grade Ultra Pure Nitrogen

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

Related Author

No data

Related Institution

No data

⁰