焦、婷；甘永美；肖国春；W.M.沃纳姆。 利用具有并行部件的离散事件系统状态树结构的对称性。 （英语） Zbl 1367.93366号 国际J.控制 90，第8期，1639-1651（2017）. 摘要：我们考虑由机器和缓冲器的并行阵列组成的离散事件系统。机器被分成组，每个组中的成员具有相同的结构，即相同的状态集和同构转换。此功能允许将给定组中的机器重新标记为标准原型机器。在这些系统中，为了避免缓冲区下溢或溢出，控制器只需要每个状态下组件总数和缓冲区中工件数的信息。通过利用每个组的相同结构，我们从状态树结构计算的控制函数中提取此类控制信息，以生成抽象的控制函数。由于系统的对称性，我们证明了只要缓冲区大小固定，所有重新标记为同一符号的可控事件都共享一个不变的抽象控制函数，该函数与机器总数无关。该方法通过两个示例进行了说明。 引用于7文件 MSC公司： 93元65角 离散事件控制/观测系统 93甲13 层次系统 93个B05 可控性 关键词：监督控制理论；状态树结构；对称；抽象控制函数；不变性 软件：github；TCT公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Jiao}等人，国际期刊控制90，第8期，1639--1651（2017；Zbl 1367.93366） 全文： 内政部 参考文献： [1] 内政部：10.1007/s10626-008-0040-9·兹比尔1169.93018 ·doi:10.1007/s10626-008-0040-9 [2] 内政部：10.1109/TC.1986.1676819·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819 [3] 内政部：10.1109/9.948486·Zbl 1011.93070号 ·doi:10.1109/9.948486 [4] 数字对象标识码：10.1007/s10626-010-0089-0·Zbl 1215.93083号 ·doi:10.1007/s10626-010-0089-0 [5] Ma，C.（2010年）。设计软件：STSLib。恢复来自https://github.com/chuanma/STSLib [6] Ma C.，状态树结构的非阻塞监督控制（2005）·Zbl 1114.93002号 [7] 内政部：10.1109/TAC.2006.875030·Zbl 1366.93355号 ·doi:10.1109/TAC.2006.875030 [8] Lane S.，代数，3。编辑（1993） [9] 内政部：10.1147/rd.32.0114·doi:10.1147/rd.32.0114 [10] 内政部：10.1137/0325013·Zbl 0618.93033号 ·doi:10.1137/0325013 [11] 内政部：10.1137/040610209·Zbl 1109.93032号 ·doi:10.1137/040610209 [12] DOI:10.1023/B:DISC.00005009.40749.b6·Zbl 1035.93048号 ·doi:10.1023/B:DISC.00005009.40749.b6 [13] 内政部：10.1016/j.autotica.2013.08.07·Zbl 1315.93061号 ·doi:10.1016/j.automatica.2013.08.007 [14] Weyl H.，群论和量子力学（1950）·Zbl 0041.56804号 [15] Weyl H，《对称》（1983） [16] 内政部：10.1007/978-1-4612-1082-5·doi:10.1007/978-1-4612-1082-5 [17] Wonham，W.M.（2015年a）。离散事件系统的监督控制[在线]。多伦多：多伦多大学ECE系系统控制小组。恢复来自http://www.control.toronto.edu/DES [18] Wonham，W.M.（2015年b）。设计软件：TCT【在线】。多伦多：多伦多大学ECE系系统控制小组。恢复来自http://www.control。多伦多.edu/DES 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。