费迪·赖宁。；Martijn A.古登。；范·德·莫特尔·弗朗恰克（van de Mortel-Fronczak），乔安娜·M·。；雅各布斯·E·罗达。 主管综合建模——锁桥组合案例研究。 （英语） Zbl 1448.93088号 离散事件动态。系统。 30，第3期，499-532（2020）. 摘要：由于对验证安全性、更高质量和可用性以及扩展功能的要求，为高科技系统设计监控控制器变得越来越复杂。监督合成是一种从工厂模型和控制要求模型自动导出监督的方法。虽然监督合成是一个活跃的研究课题，但关于工业应用的报告很少。其中一个原因是控制工程师对自动机框架中的建模和指定缺乏了解。除此之外，还没有获得合成所需模型的明确指南。在本文中，我们描述了工厂建模的一般方法和要求，以帮助在工业中接受监督合成。通过一个工业案例研究说明了这种建模方法，其中为Algera复合体合成了一个监控控制器。阿尔盖拉综合设施由一个水闸和一座可移动的巴斯克里桥组成。监督员必须根据96个离散传感器的观察结果控制80个执行器，以响应操作员发出的63个控制命令。我们展示了如何将工厂建模为扩展的有限状态自动机的集合，如何将需求建模为事件条件的集合，如何合成单片监控器，以及如何使用连续时间模拟验证生成的监控器。 引用于5文件 MSC公司： 93亿B50 合成问题 93元65角 离散事件控制/观测系统 65年第68季度 形式语言和自动机 93立方厘米 控制理论中的应用模型 关键词：监督综合；扩展有限状态自动机；工业应用；基础设施系统 软件：libFAUDES公司；苏普雷米卡；UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{F.F.H.Reijnen}等人，离散事件动态。系统。30，第3号，499--532（2020；Zbl 1448.93088） 全文： 内政部 参考文献： [1] Atampore F、Dingel J、Rudie K（2016）《通过监督控制理论实现自动化服务组合》。摘自：离散事件系统研讨会论文集。IEEE，第28-35页·兹比尔1441.93082 [2] 奥尔，A。；丁格尔，J。；Rudie，K.，使用离散事件系统为动态线程生成并发控制，科学计算程序，82，22-43（2014）·doi:10.1016/j.scico.2013.01.007 [3] Balemi，S。；GJ霍夫曼；Gyugyi，P。；Wong Toi，H.先生。；GF Franklin，《快速热多处理器的监控》，IEEE Trans-Autom control，38，7，1040-1059（1993）·兹比尔0800.93035 ·数字对象标识代码：10.1109/9.231459 [4] Brandin，BA，实验制造单元的实时监控，IEEE Trans Robot Autom，12，1，1-14（1996）·数字对象标识代码：10.1109/70.481746 [5] 卡桑德拉斯，CG；Lafortune，S.，离散事件系统简介（2008），纽约：Springer，纽约·Zbl 1165.93001号 [6] Chandra，V。；Kumar，R.，一类离散事件系统基于事件发生规则的紧凑建模形式，动力学系统的数学和计算机建模，8，1，49-73（2002）·Zbl 1005.93033号 ·doi:10.1076/mcmd.8.1.49.8338 [7] Chandra，V。；黄，Z。；Kumar，R.，《使用离散事件系统控制理论的装配线自动控制综合》，IEEE Trans-Syst Man-Cybern，C部分（应用版本），33，2，284-289（2003）·doi:10.1109/TSMCC.2003.813152 [8] Chen YL，Lin F（2000）使用带参数的有限状态机对离散事件系统进行建模。附：决策和控制会议记录。IEEE，第941-946页 [9] Crnkovic，I.，《基于组件的软件工程——软件开发中的新挑战》，Softw Focus，2，4，127-133（2001）·doi:10.1002/swf.45 [10] de Queiroz MH，Cury（2002）制造单元本地模块化监控的合成与实现。摘自：离散事件系统研讨会论文集。IEEE，第377-382页 [11] Fabian M、Fei Z、Miremadi S、Lennartson B、Au kesson K（2014）使用扩展有限自动机对制造系统进行监督控制。In:《正式制造方法》，CRC出版社，第295-314页 [12] Forschelen STJ、Van de Mortel-Fronczak JM、Su R、Rooda JE（2012）《监控理论在主题公园车辆中的应用》。离散事件动态系统22（4）：511-540·Zbl 1267.93002号 [13] Göbe F，Ney O，Kowalewski S（2016）监控安全规范的可重用性和模块化。摘自：IEEE第21届新兴技术和工厂自动化国际会议，IEEE，第1-8页 [14] Gössler，G。；Sifakis，J.，《基于组件建模的组合》，科学计算程序，55，1-3，161-183（2005）·Zbl 1075.68016号 ·doi:10.1016/j.scico.2004.05.014 [15] 格里戈罗夫，L。；比利时巴特勒；科里，JE；Rudie，K.，使用模板的离散事件系统概念设计，离散事件动态系统，21，2，257-303（2011）·Zbl 1215.93083号 ·doi:10.1007/s10626-010-0089-0 [16] Guillet S、Bouchard B、Bouzouane A（2014）使用模块化离散控制器合成为残疾人设计智能家居。摘自：IFAC离散事件系统研讨会会议记录，第54-59页 [17] 哈斯德米尔，IT；库尔图兰，S。；Gören，L.，《监督控制理论的实施方法》，《国际先进制造技术杂志》，36，3，373-385（2008）·doi:10.1007/s00170-006-0843-5 [18] Henzinger TA（2000）混合自动机理论。In:数字和混合系统验证，Springer，第265-292页·Zbl 0959.68073号 [19] 黄，Y。；医学博士Seck；Verbraeck，A.，离散事件系统规范中基于组件的轻轨建模，仿真，91，12，1027-1051（2015）·doi:10.1177/0037549715614652 [20] Kim，S。；Park，J。；Leachman，RC，FMC执行控制的监督控制方法，国际柔性制造系统杂志，13，1，5-31（2001）·doi:10.1023/A:1008166028381 [21] Korssen T、Dolk VS、Van de Mortel-Fronczak JM、Reniers MA、Heemels WPMH（2018）高级驾驶员辅助系统基于系统模型的监督员设计和实施。IEEE Trans Intell Trans系统19（2）：533-544 [22] Kovács G，Piétrac L（2009）离散事件控制系统快速原型的多面建模。摘自：欧洲控制会议记录，IEEE，第1463-1468页 [23] Kovács G，Piétrac L，Bálint K（2012）基于组件的监管方法。摘自：《地中海控制与自动化会议记录》，IEEE，第800-805页 [24] Lauzon，SC公司；马，AKL；米尔斯，JK；Benhabib，B.，离散系统理论在柔性制造中的应用，IEEE控制系统，16，1，41-48（1996）·doi:10.1109/37.482149 [25] Leduc RJ，Wonham WM（1995）制造试验台的离散事件系统建模和控制。收录：加拿大电气与计算机工程会议记录，第2卷。IEEE，第793-796页 [26] 廖，H。；Wang，Y。；斯坦利，J。；Lafortune，S。；脊柱侧凸，S。；Kelly，T。；Mahlke，S.，《消除多线程软件中的并发错误：基于离散事件控制的新方法》，IEEE Trans-control Syst Technol，21，6，2067-2082（2013）·doi:10.1109/TCST.2012.2226034 [27] Ljungkrantz O，Au kesson K，Richardsson J，Andersson K（2007）实现制造单元控制器自动生成的控制系统框架。摘自：《机器人与自动化会议论文集》，IEEE，第674-679页 [28] 洛佩斯，YK；沟槽支架，SM；利尔，AB；Dodd，TJ，应用于群机器人的监督控制理论，swarm Intelligence，10，1，65-97（2016）·doi:10.1007/s11721-016-0119-0 [29] 马，C。；Wonham，WM，状态树结构的非阻塞监督控制，IEEE Trans-Autom control，51，5，782-793（2006）·Zbl 1366.93355号 ·doi:10.1109/TAC.2006.875030 [30] 马利克，R。；Åkesson，K。；Flordal，H。；Fabian，M.，Supremica——大型离散事件系统的有效工具，IFAC-PapersOnLine，50，1，5794-5799（2017）·doi:10.1016/j.ifacol.2017.08.427 [31] Markovski J、van Beek DA、Theunissen RJM、Jacobs KGM、Rooda JE（2010）监管控制综合与验证的基于状态的框架。In:决策和控制会议记录，IEEE，pp 3481-3486 [32] Miremadi，S。；Lennartson，B.，《监控理论中的符号现场合成》，IEEE Trans control Syst Technol，24，5，1705-1716（2016）·doi:10.1109/TCST.2015.2508978 [33] Miremadi，S。；奥凯森，K。；Lennartson，B.，《监控中减少防护装置的符号计算》，IEEE Trans-Autom Sci Eng，8，4，754-765（2011）·doi:10.1109/TASE.2011.2146249 [34] Moor T，Schmidt K，Perk S（2008）libFaudes-离散事件系统的开源C++库。摘自：离散事件系统研讨会论文集，IEEE，pp 125-130 [35] Moor T，Schmidt K，Perk S（2010）将监督控制应用于柔性制造系统。摘自：IFAC离散事件系统研讨会会议记录，第253-258页 [36] 努勒法特，M。；Niel，E.，实验自动化制造系统的模块化监控，control Eng Pract，12，2，205-216（2004）·doi:10.1016/S0967-0661（03）00056-X [37] 韦德拉奥戈，L。；库马尔，R。；马利克，R。；Ȧkesson，K.，建模为扩展有限自动机的离散事件系统的非阻塞和安全控制，IEEE Trans-Autom Sci Eng，8，3，560-569（2011）·doi:10.1109/TASE.2011.2124457 [38] 佩纳，PN；科斯塔，TA；西尔瓦，RS；Takahashi，RH，使用监督控制理论和进化计算进度综合在模型不确定性下控制柔性制造系统，Inf Sci，329，491-502（2016）·doi:10.1016/j.ins.2015.08.056 [39] 佩廷，JF；Gouyon，D。；Morel，G.，产品驱动自动化的监督综合及其在柔性装配单元中的应用，Control Eng Pract，15，595-614（2007）·doi:10.1016/j.connengprac.2006.10.013 [40] 普伦泽尔，L。；Provost，J.，符号化、模块化监控控制器的PLC实现，IFAC-PapersOnLine，51，7，304-309（2018）·doi:10.1016/j.ifacol.2018.06.317 [41] 拉马奇，PJ；Wonham，WM，一类离散事件过程的监督控制，SIAM控制与优化杂志，25，1，206-230（1987）·Zbl 0618.93033号 ·doi:10.1137/0325013 [42] 罗林斯·BC、克里斯滕森·B、沃西克·JM、Ydstie BE（2014）《监督合成以满足化学过程控制中的安全性和可达性要求》。在：离散事件系统研讨会论文集，IFAC，第195-200页 [43] Reijnen FFH、Goorden MA、van de Mortel-Fronczak JM、Rooda JE（2017）水闸监控综合。摘自：控制技术和应用会议记录，IEEE，第1562-1568页 [44] Reijnen FFH、Goorden MA、van de Mortel-Fronczak JM、Reniers MA、Rooda JE（2018）依赖结构矩阵和多级合成在生产线中的应用。摘自：控制技术和应用会议记录，IEEE，第458-464页 [45] Reijnen FFH、Goorden MA、Van de Mortel-Fronczak JM、Rooda JE（2020）Algera综合体的模型和文件。www.github.com/ffhreijnen/AlgeraComplex网站 [46] 罗塞尔，JM；Giua，A.，《使用监督控制理论设计可靠的逻辑控制器》，IFAC会议记录，38，1，56-61（2005）·doi:10.3182/20050703-6-CZ-1902.01434 [47] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE Trans Autom Control，40，9，1555-1575（1995）·Zbl 0839.93072号 ·doi:10.1109/9.412626 [48] DB Silva；维埃拉，AD；路易斯，EFR；马萨诸塞州布塞蒂；Santos，EAP，《处理自动化制造单元中的路由：监督控制理论应用》，《国际生产研究杂志》，49，16，4979-4998（2011）·doi:10.1080/00207543.2010.519732 [49] Sköldstam M，Okesson K，Fabian M（2007）使用带变量的有限自动机对离散事件系统进行建模。In:决策和控制会议记录，IEEE，第3387-3392页 [50] Theunissen RJM（2015）《医疗保健系统中的监督控制》。埃因霍温理工大学博士论文 [51] Theunissen，RJM；彼得雷茨基，M。；希夫勒，RRH；van Beek，DA；Rooda，JE，《监控合成在磁共振成像扫描仪患者支撑台上的应用》，IEEE Trans-Autom Sci Eng，11，1，20-32（2014）·doi:10.1109/TASE.2013.2279692 [52] 瓦希迪，A。；费边，M。；Lennartson，B.，《大型系统的高效监督综合》，《控制工程实践》，第14、10、1157-1167页（2006年）·doi:10.1016/j.engprac.2006.02.013（文件编号：10.1016/j.engprac.2006.02.013） [53] van Beek DA、Fokkink WJ、Hendriks D、Hofkamp AT、Markovski J、van de Mortel-Fronczak JM、Reniers MA（2014）CIF 3:监控控制器的基于模型的工程。收录：系统构建和分析工具和算法会议论文集。柏林施普林格，第575-580页 [54] von Bochmann G、Hilscher M、Linker S、Olderog ER（2015）《多车道交通机动的综合控制器》。摘自：可靠软件工程：理论、工具和应用国际研讨会论文集。柏林施普林格，第71-86页 [55] van der Sanden、Reniers MA、Geilen MCW、Basten AA、Jacobs J、Voeten JPM、Schiffers RRH（2015）光刻机晶圆物流模块化基于模型的监控控制器设计。在：模型驱动工程语言和系统会议论文集，IEEE，第416-425页 [56] WM Wonham；蔡，K。；Rudie，K.，《离散事件系统的监督控制：简史》，《年度收益控制》，45250-256（2018）·doi:10.1016/j.arcontrol.2018.03.002 [57] 扎伊顿，J。；Carré-Ménéatrier，V.，《离散制造系统控制实施的综合》，国际生产研究杂志，39，2，329-345（2001）·Zbl 1017.90510号 ·doi:10.1080/00207540010002388 [58] 扎伊顿，J。；Riera，B.，《逻辑控制器的合成与实现——综述》，《控制中的年度回顾》，43，152-168（2017）·doi:10.1016/j.arcontrol.2017.03.004 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。