安妮·凯瑟琳·施穆克;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 (英语) Zbl 1379.93048号 离散事件动态。系统。 27,第2期,261-299(2017). 摘要:在反应控制器综合的形式化方法中,可能混合系统的符号控制器是通过计算两层博弈中的获胜策略来获得的。随着游戏图大小的增加,这种游戏解决算法的伸缩性很差。然而,在许多应用程序中,游戏图具有自然的层次结构。在本文中,我们提出了一种建模形式和一种综合算法,利用这种层次结构进行更具可伸缩性的综合。我们将层次图上的局部博弈定义为一种建模形式,它将大规模反应合成问题分解为二维问题。首先,层次博弈图的构造引入了抽象层,其中每一层又是一个两层博弈图。其次,每一层都被分解成多个局部博弈图,每个局部博弈图对应于更高层博弈图中的一个节点。虽然本地游戏有可能减少控制器合成的状态空间,但它们会导致更复杂的合成问题,其中为一个本地游戏计算的策略可能会对较低级别的本地游戏施加额外的要求。我们的第二个贡献是为层次结构上的局部游戏图构造动态控制器的过程。控制器计算在存在环境假设的情况下满足本地规范的假设可接受获胜策略,并根据游戏的每个步骤中不同抽象层的游戏之间的交互动态更新规范和策略。我们证明了我们的合成过程是合理的:控制器构造了一个满足所有本地规范的剧本。我们通过一个在已知平面图的建筑物中控制自主机器人的例子来说明我们的结果,并在LTLMoP上使用我们的算法实现提供了仿真结果。 MSC公司: 93B40码 系统理论中的计算方法(MSC2010) 93甲15 大型系统 93甲13 层次系统 93亿B50 合成问题 91年65日 分级游戏(包括Stackelberg游戏) 93C85号 控制理论中的自动化系统(机器人等) 94C15年 图论在电路和网络中的应用 03B44号 时间逻辑 关键词:反应合成;分级控制;分解,分解;游戏图;抽象;成分合成 软件:PESSOA公司;TuLiP公司;长期平均价格 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。27,第261-299号(2017年;兹bl 1379.93048) 全文: 内政部 arXiv公司 参考文献: [1] Abadi M,Lamport L(1991)精化映射的存在性。计算机科学理论82(2):253-284·Zbl 0728.68083号 ·doi:10.1016/0304-3975(91)90224-P [2] 阿鲁尔(Alur,R.)。;La Torre,S。;Madhusudan,P.,递归博弈图的模块化策略,363-378(2003)·Zbl 1031.68048号 [3] Bloem R、Jobstmann B、Piterman N、Pnueli A、Saar Y(2012)《反应(1)设计的合成》。计算机系统科学杂志78(3):911-938·兹比尔1247.68050 ·doi:10.1016/j.jcss.2011.08.007 [4] 布隆,R。;埃勒斯,R。;雅各布斯,S。;Könighfer,R.,《如何处理合成中的假设》,34-50(2014) [5] 布隆,R。;埃勒斯,R。;Könighfer,R.,合作反应合成,394-410(2015)·Zbl 1471.68131号 [6] Brenguier R,Raskin J-F,Sassolas M(2014)欧米茄规则游戏中可容许性的复杂性CSL-LICS,第23卷,第1-10页·Zbl 1401.68110号 [7] Brenguier,R。;Raskin,J-F;Sankur,O.,《假设容许合成》(2015)·Zbl 1374.68322号 [8] Cousot P,Cousot R(1977)抽象解释:通过构造或近似不动点POPL 77对程序进行静态分析的统一格模型。ACM,第238-252页 [9] 德克雷森佐,I。;La Torre,S.,《开放组件模块化合成》,96-108(2013)·Zbl 1407.68286号 [10] 爱默生,E。;Jutla,C.,树自动机,微积分和确定性,368-377(1991) [11] Erol K、Hendler JA、Nau DS(1995)《分层任务网络规划的语义》。马里兰大学技术报告·兹比尔1044.93502 [12] Finucane,C。;Jing,G。;Kress-Gazit,H.,LTLMop语言、时序逻辑和机器人控制实验,1988-1993(2010) [13] Girard A,Pappas G(2009)使用近似模拟的分层控制系统设计。自动化45(2):566-571·Zbl 1158.93301号 ·doi:10.1016/j.automatica.2008.09.016 [14] Henzinger TA,Majumdar R,Mang F,Raskin J-F(2000)游戏属性的抽象解释静态分析,LNCS,第1824卷,第220-239页·Zbl 0966.68150号 [15] 赫斯·D·。;阿尔托夫,M。;Sattel,T.,参数化运动基元的机动自动机的形式验证,1474-1481(2014) [16] Kaelbling,L。;Lozano Perez,T.,《现在的分层任务和运动规划》,1470-1477(2011) [17] Kloetzer,M。;Belta,C.,处理符号控制中的不确定性,287-300(2008)·Zbl 1143.68488号 [18] Koo,T。;Sastry,S.,《单代理多模式系统基于互模拟的分层系统体系结构》,281-293(2002)·Zbl 1044.93502号 [19] Kruger N、Piater J、Worgotter F、Geib C、Petrick R、Steedman M、Asfour T、Kraft D、Hommel B、Agostini A等人(2009),对象-动作复合物的正式定义和处理层次不同层次的示例。计算机与信息科学,第1-39页·Zbl 1374.68322号 [20] Leva A(2016)移动机器人反应式控制器综合。德国凯泽斯劳滕大学硕士论文。可在https://www.mpi-sws.org/tr/2017-001.pdf [21] Mazo,J。;Manuel,A。;Tabuada,P.,PESSOA Davidian嵌入式控制器合成工具,566-569(2010) [22] Pappas G、Lafferiere G、Sastry S(2000)《分层一致控制系统》。IEEE Trans Autom Control 45(6):1144-1160·Zbl 0971.93004号 ·数字对象标识代码:10.1109/9.863598 [23] Raisch,J。;Moor,T.,分层混合控制综合及其在多产品间歇工厂中的应用,199-216(2005)·Zbl 1124.93340号 ·doi:10.1007/11529798_13 [24] Reps T,Horwitz S,Sagiv S(1995)通过图可达性POPL 95进行精确的过程间数据流分析。ACM,第49-61页·Zbl 1471.68131号 [25] Schmidt K,Moor T,Perk S(2008)分散离散事件系统的非阻塞分层控制。IEEE自动变速器控制53(10):2252-2265·Zbl 1367.93373号 ·doi:10.1109/TAC.2008.2006817 [26] Srivastava,S。;方,E。;里亚诺,L。;Chitnis,R。;罗素,S。;Abbeel,P.,《通过可扩展的planner-independent接口层进行任务和运动规划的组合》,639-646(2014) [27] 股票,S。;曼苏里,M。;佩科拉,F。;Hertzberg,J.,移动服务机器人中的分层混合规划,309-315(2015)·doi:10.1007/978-3-319-24489-1_28 [28] Tabuada P(2009)《混合系统的验证和控制——符号方法》,第1卷。施普林格·Zbl 1195.93001号 [29] 血管,CI;Belta,C.,基于反应采样的时序逻辑路径规划,4310-4315(2014) [30] Walukiewicz,I.,《下推过程:游戏和模型检查》,62-74(1996) [31] 沃尔夫,E。;托普库,美国。;Murray,R.,针对计算效率高的时序逻辑片段的非确定性系统的最优控制,3197-3204(2013) [32] Wong,KW;Finucane,C。;Kress-Gazit,H.,使用ltlmop、ompl和ros的Provably-correct机器人控制,2073-2073(2013) [33] Wongpiromsarn,T。;托普库,美国。;Murray,R.,鲁棒嵌入式控制软件的自动合成(2010) [34] Wongpiromsarn,T。;托普库,美国。;Ozay,N。;Xu,H。;Murray,R.,TuLiP:用于滚动时域逻辑规划的软件工具箱,313-314(2011) [35] Wongpiromsarn T、Topcu U、Murray R(2012)《衰退期时序逻辑规划》。IEEE Trans Autom Control 57(11):2817-2830·Zbl 1360.68605号 ·doi:10.1109/TAC.2012.2195811 [36] Zielonka W(1998)有限色图上的无限游戏与无限树上自动机的应用。计算机科学理论200(1-2):135-183·Zbl 0915.68120号 ·doi:10.1016/S0304-3975(98)00009-7 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。