罗比·马利克;马塞洛·泰西拉 具有变量抽象的扩展有限状态机的最小限制可控监督的综合。 （英语） 兹比尔1448.93204 离散事件动态。系统。 30，第2期，211-241（2020）. 摘要：本文提出了一种将扩展有限状态机的模块化综合与通过符号操作提取变量相结合的算法，以计算限制最小的可控监督器。给定一个由多个组件组成的模块化EFSM系统，该算法为每个规范组件合成一个单独的监管器。为了综合每个监督器，该算法从同步合成中迭代地选择组件（植物和变量），直到获得限制最小的可控解。这改进了作者以前的结果，即抽象只通过选择组件而不是变量来执行。本文阐述了EFSM综合与抽象理论及其算法。一个柔性制造系统的例子说明了该算法如何计算模块化管理器。 引用于三文件 MSC公司： 93元65角 离散事件控制/观测系统 93-10 系统和控制理论相关问题的数学建模或仿真 关键词：监督控制;离散事件系统;扩展有限状态机 软件：苏普雷米卡;UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{M.Teixeira}，离散事件动态。系统。30，第2号，211--241（2020；Zbl 1448.93204） 全文： 内政部 链接 参考文献： [1] 欧凯森·K、弗洛达尔·H、费边·M（2002）《利用模块性合成和验证监督员》。参加：第十五届IFAC世界自动控制大会 [2] Brandin，文学学士；马利克，R。；Malik，P.，以反例为指导的离散事件系统的增量验证和合成，IEEE Trans Control Syst Technol，12，3，387-401（2004）·doi:10.1109/TCST.2004.824795 [3] Bryant，RE，布尔函数操作的基于图的算法，IEEE Trans-Comput，35，8677-691（1986）·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819 [4] Cassandras CG，Lafortune S（2008）《离散事件系统导论》，第二版。，Springer Science&Business Media，纽约·Zbl 1165.93001号 [5] Chen Y，Lin F（2000）使用带参数的有限状态机对离散事件系统进行建模。In:2000 IEEE内部控制应用程序（CCA），第941-946页。10.1109/CAC.2000.897591号 [6] 库里，JER；de Queiroz，MH；Bouzon，G。；Teixeira，M.，《带区分器的离散事件系统的监督控制》，Automatica，56，93-104（2015）·Zbl 1323.93049号 ·doi:10.1016/j.automatica.2015.03.025 [7] Hoare CAR（1985）通信顺序过程。Prentice-Hall公司·Zbl 0637.68007号 [8] 胡特，M。；Ryan，M.，《计算机科学中的逻辑》（2004），剑桥：剑桥大学出版社，剑桥·Zbl 1073.68001号 [9] Komenda，J。；van Schuppen，JH，模块化或分布式结构离散事件系统的控制，理论计算科学。，388, 199-226 (2007) ·兹比尔1143.68053 ·doi:10.1016/j.tcs.2007.07.049 [10] Le Gall T，Jeannet B，Marchand H（2005）使用抽象解释对无限符号系统进行监督控制。在：第46届IEEE会议决策与控制，美国疾病控制与预防中心，2005年，第30-35页。10.1109/CDC.2005.1582126 [11] Malik R，Teixeira M（2016）扩展有限状态机的最小限制可控监督合成算法。工作文件01/2016，新西兰汉密尔顿怀卡托大学计算机科学系。http://hdl.handle.net/10289/9841 [12] Malik R，Teixeira M（2016）受可控性约束的扩展有限状态机的模块化监督综合。摘自：第13届离散事件系统国际研讨会，WODES’16，第117-122页。电气与电子工程师协会。10.1109/WODES.2016.7497831 [13] Malik R，Teixeira M（2018）用变量抽象的扩展有限状态机合成最小限制可控监督的框架和证明。工作文件03/2018，新西兰汉密尔顿怀卡托大学计算机科学系。http://hdl.handle.net/10289/12140 [14] Miremadi，S。；奥凯森，K。；Lennartson，B.，《监控中减少防护装置的符号计算》，IEEE Trans-Autom Sci Eng，8，4，754-764（2011）·doi:10.1109/TASE.2011.2146249 [15] Mohajerani，S。；马利克，R。；Fabian，M.，《模块化非阻塞监控器的成分合成框架》，IEEE Trans-Autom Control，59，1，150-162（2014）·Zbl 1360.93433号 ·doi:10.1109/TAC.2013.2283109 [16] 莫哈杰拉尼，S。；马利克，R。；Fabian，M.，《扩展有限状态机的组合非阻塞验证框架》，离散事件动态系统，26，1，33-84（2016）·Zbl 1333.93169号 ·doi:10.1007/s10626-015-0217-y [17] 韦德拉奥戈，L。；库马尔，R。；马利克，R。；奥凯森，K.，《离散事件系统的非阻塞和安全控制模型化为扩展有限自动机》，IEEE Trans-Autom Sci Eng，8，3，560-569（2011）·doi:10.1109/TASE.2011.2124457 [18] de Queiroz MH，Cury JER（2000）大型离散事件系统的模块化监控。摘自：Boel R.，Stremersch G.（eds）《离散事件系统：分析与控制》，SECS 569，第103-118页。克鲁沃。10.1007/978-1-4615-4493-7_10 ·Zbl 1051.93066号 [19] 拉马奇，PJG；Wonham，WM，离散事件系统的控制，Proc IEEE，77，1，81-98（1989）·数字对象标识代码：10.1109/5.21072 [20] 罗莎，M。；特谢拉，M。；Malik，R.，《利用区分器在监督控制中利用近似值》，IFAC PapersOnLine，51，7，13-18（2018）·doi:10.1016/j.ifacol.2018.06.272 [21] 施密特，K。；Breindl，C.，分散离散事件系统的最大允许分层控制，IEEE Trans-Atom control，56，4，723-737（2011）·Zbl 1368.93386号 ·doi:10.1109/TAC.2010.2067250 [22] Shoaei MR，Feng L，Lennartson B（2012）《扩展有限自动机非阻塞监督控制的抽象》。收录于：第八届国际会议自动化科学与工程，CASE，2012年，第364-370页。10.1109/CoASE.2012.6386446 [23] Shoaei，MR；冯·L。；Lennartson，B.，《关于扩展有限自动机自然观测器的计算》，IFAC Proceedings，47，3，2448-2455（2014）·doi:10.3182/20140824-6-ZA-1003.02178 [24] 阿拉巴马州席尔瓦；里贝罗，R。；Teixeira，M.，《柔性上下文相关制造系统的建模和控制》，《信息科学》，421，1-14（2017）·Zbl 1436.93085号 ·doi:10.1016/j.ins.2017.084 [25] Sköldstam M，Okesson K，Fabian M（2007）使用带变量的有限自动机对离散事件系统进行建模。摘自：第46届IEEE conf.decision and control，CDC，'07年，第3387-3392页。10.1109/CDC.2007.4434894 [26] Tarski，A.，格理论不动点定理及其应用，太平洋数学杂志，5，2，285-309（1955）·兹比尔0064.26004 ·doi:10.2140/pjm.1955.5.285 [27] Teixeira，M。；库里，JER；de Queiroz，MH，在离散事件系统的本地模块化控制中利用区分器，IEEE Trans-Autom Sci Eng，15，3，1431-1437（2018）·doi:10.1109/TASE.2018.2793963号文件 [28] Teixeira，M。；马利克，R。；库里，JER；de Queiroz，MH，用扩展有限状态机和变量抽象实现DES的监督控制，IEEE Trans-Autom control，60，1，118-129（2015）·Zbl 1360.93401号 ·doi:10.1109/TAC.2014.2337411 [29] 黄，KC；Wonham，WM，离散事件系统的模块化控制和协调，离散事件动态系统，8，3，247-297（1998）·Zbl 0915.93028号 ·doi:10.1023/A:1008210519960 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。