蔡凯；W.M.沃纳姆。 主管本地化的新结果，以及案例研究。 （英语） Zbl 1328.93011号 离散事件动态。系统。 25，编号1-2，203-226（2015）. 总结：最近，我们开发了监管器本地化，这是一种在Ramadge-Wonham监管控制框架中对离散事件系统进行分布式控制的自上而下的方法。其本质是在单个代理的本地控制策略之间分配单块（全局）控制操作。在本文中，我们首先介绍了我们定位理论的几个改进。首先，我们放弃了原来的假设，即组件代理的事件集是两两不相交的。其次，我们证明了一致的标记信息只能由一个代理来执行，该代理可以任意选择。第三，局部控制器的事件集被显式定义为整个事件集的适当子集。对于这些推广，我们再次证明了集体局部控制行为与全局最优和非阻塞控制行为相同。此外，我们通过关联控制覆盖/同余的关键概念来提供本地化的语言解释关于监督者的状态设置为监督者语言上的一个特殊的右同余。我们继续应用扩展的主管定位来解决多智能体编队问题。我们介绍了一个合适的形成不变性公式以及形成的最短路径。合成局部策略，使一组代理以最短路径到达预先指定的队形；然后研究了信息交换和控制逻辑问题。我们在一个大规模的集群工具示例上进一步演示了扩展的本地化。首先，通过有效的分层方法合成一组分散的监督和协调器，我们的本地化产生了一个具有可理解的本地控制/协调逻辑的分布式控制体系结构。 引用于1文件 MSC公司： 93甲13 层次系统 93元65角 离散事件控制/观测系统 93甲14 分散的系统 68T42型 Agent技术与人工智能 关键词：离散通风系统；监督控制；主管本地化；分布式控制；自动机 软件：TCT公司 PDF格式BibTeX公司 XML格式引用 \textit{K.Cai}和\textit{W.M.Wonham}，离散事件动力学。系统。25，编号1--2，203-226（2015；Zbl 1328.93011） 全文： 内政部 参考文献： [1] Anderson BDO，Yu C，Fidan B，Hendrickx JM（2008），自治编队的刚性图形控制体系结构。IEEE控制系统杂志28（6）：48-63·Zbl 1395.93383号 ·doi:10.1109/MCS.2008.929280 [2] Brave Y，Heymann M（1990）离散事件过程的稳定性。国际J控制51（5）：1101-1117·Zbl 0704.93054号 ·doi:10.1080/00207179008934118 [3] Brave Y，Heymann M（1993）关于离散事件过程中的最优吸引。信息科学67（3）：245-276·Zbl 0776.93026号 ·doi:10.1016/0020-0255（93）90075-W [4] Cai K，WonhamWM（2010a）主管本地化：离散事件系统分布式控制的自上而下方法。IEEE Trans Autom Control 55（3）：605-618·Zbl 1368.93367号 ·doi:10.1109/TAC.2009.2039237 [5] Cai K，Wonham WM（2010b）大型离散事件系统本地化主管——案例研究生产单元。国际先进制造技术杂志50（9-12）：1189-1202·doi:10.1007/s00170-010-2561-2 [6] Cai K，Wonham WM（2012a）主管本地化的新结果，应用于多智能体编队。摘自：离散排气系统研讨会会议记录。瓜达拉哈拉，第233-238页·Zbl 1368.93386号 [7] Cai K，WonhamWM（2012b）基于状态树结构的离散事件系统本地化主管。收录：第51届IEEE决策与控制会议记录。毛伊岛，第5822-5827页 [8] Feng L，Wonham WM（2008），离散事件系统的监控体系结构。IEEE Trans Autom Control 53（6）：1449-1461·Zbl 1367.93361号 ·doi:10.1109/TAC.2008.927679 [9] Kumar R，Garg V，Marcus SI（1993）离散事件动力系统的语言稳定性和稳定性。SIAM J控制优化31（5）：1294-1320·Zbl 0785.93006号 ·数字对象标识代码：10.1137/0331061 [10] Ma C，Wonham WM（2005）状态树结构的非阻塞监督控制。施普林格·Zbl 1114.93002号 [11] Mohajerani S、Malik R、Ware S、Fabian M（2011）《关于在综合抽象中使用观测等效性的研究》。摘自：离散系统可靠控制国际研讨会论文集。Saarbrucken，第84-89页·Zbl 0704.93054号 [12] Pham MT，Seow KT（2012）分布式代理的离散事件协调设计。IEEE Trans-Autom Sci Eng 9（1）：70-82 [13] Ramadge PJ，Wonham WM（1987）一类离散事件过程的监督控制。SIAM J控制优化25（1）：206-230·Zbl 0618.93033号 ·doi:10.1137/0325013 [14] Schmidt K，Breindl C（2011）分散离散事件系统的最大允许分层控制。IEEE Trans Autom Control 56（4）：723-737·Zbl 1368.93386号 ·doi:10.1109/TAC.2010.2067250 [15] Seow KT、Pham MT、Ma C、Yokoo M（2009）《协调规划：对一类分布式代理应用控制合成方法》。IEEE变速器控制系统技术17（2）：405-415·doi:10.10109/TCST.2008.924574 [16] Smith SL、Schwager M、Rus D（2012）《持续机器人任务：变化环境中的监测和清扫》。IEEE Trans机器人28（2）：410-426·doi:10.1109/TRO.2011.2174493 [17] Su R，Wonham WM（2004）离散事件系统的监管缩减。离散事件动态系统14（1）：31-53·Zbl 1035.93048号 ·doi:10.1023/B:DISC.00005009.40749.b6 [18] Su R，van Schuppen JH，Rooda JE（2010）基于自动机抽象的分布式管理器聚合合成。IEEE Trans Autom Control 55（7）：1627-1640·Zbl 1368.93387号 ·doi:10.1109/TAC.2010.2042342 [19] Su R，van Schuppen JH，Rooda JE（2012）非确定性离散事件系统的最大允许协调分布式监控。Automatica 48（7）：1237-1247·Zbl 1246.93004号 ·doi:10.1016/j.automatica.2012.04.004 [20] Wonham WM（2013a）设计软件：TCT。多伦多大学ECE系系统控制小组。可在线访问http://www.control.toronto.edu/DES网站2013年7月1日访问 [21] Wonham WM（2013b）离散通风系统的监督控制。多伦多大学ECE系系统控制小组。可在线访问http://www.control.toronto.edu/DES。2013年7月1日访问·Zbl 0679.68042号 [22] Yi J，Ding S，Zhang MT，van der Meulen P（2007）线性聚类工具的吞吐量分析。收录：第三届IEEE自动化科学与工程国际会议记录。斯科茨代尔，第1063-1068页·Zbl 1367.93361号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。