丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 综合最佳弹性控制器。 （英语） 兹比尔1435.68066 学报信息。 57，编号1-2，195-221（2020）. 摘要：最近，第一作者等人[“对未建模间歇干扰鲁棒的安全控制器的合成”，载于：第55届IEEE决策与控制会议论文集，CDC’16。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。7425–7430 (2016;doi:10.1109/CDC.2016.7799416)] 研究了用于程序综合的经典博弈理论模型的推广，该模型还考虑了未建模的间歇干扰。在这个扩展框架中，人们对计算最佳弹性策略感兴趣，即对尽可能多的干扰具有弹性的策略。第一位作者等人展示了如何计算安全规范的此类策略。在这项工作中，我们计算了更广泛的获胜条件下的最优弹性策略，并表明它们不需要比经典模型中的获胜策略更多的内存。与计算获胜策略的算法相比，我们的算法只有多项式开销。特别是，对于奇偶条件，最优弹性策略是位置的，可以在准多项式时间内计算。 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A80型 博弈论的应用 软件：斯科特；Oink公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，《信息学报》57，第1--2期，195-221期（2020年；Zbl 1435.68066） 全文： 内政部 arXiv公司 参考文献： [1] Attie，Pc；Arora，A。；Emerson，Ea，容错并发程序合成，ACM Trans。程序。语言系统。，26, 1, 125-185 (2004) ·doi:10.1145/963778.963782 [2] Bernet，J。；Janin，D。；Walukiewicz，I.，《许可策略：从平价游戏到安全游戏》，ITA，36，3，261-275（2002）·Zbl 1090.91514号 [3] 布隆，R。；查特吉，K。；格雷梅尔，K。；Henzinger，Ta；Hofferek，G。；Jobstmann，B。；Könighfer，B。；Könighfer，R.，《综合鲁棒系统》。《信息学报》，51，3-4，193-220（2014）·Zbl 1302.93079号 [4] 布隆，R。；查特吉，K。；Henzinger，Ta；Jobstmann，B。；Bouajjani，A。；Maler，O.，通过定量目标提高合成质量，计算机辅助验证，LNCS第5643卷，140-156（2009），柏林：施普林格，柏林·Zbl 1242.68151号 [5] 罗德里克·布隆姆（Roderick Bloem）；埃勒斯，吕迪格；瑞典雅各布斯；罗伯特·Könighfer，《如何处理合成中的假设》，《理论计算机科学中的电子论文集》，157，34-50（2014）·doi:10.4204/EPTCS.157.7 [6] 布隆，R。；Jobstmann，B。；北卡罗来纳州皮特曼。；普努利，A。；Sa’Ar，Y.，《反应（1）设计的合成》，J.Compute。系统。科学。，7811-938（2012年）·Zbl 1247.68050号 ·doi:10.1016/j.jcss.2011.08.007 [7] Brihaye，T.、Geeraerts，G.、Haddad，A.、Monmege，B.、Pérez，G.A.、Renault，G.：失败下的定量游戏。收录：FSTTCS，LIPIcs第45卷。Schloss Dagstuhl Leibniz Zentrum für Informatik出版社，第293-306页（2015年）·Zbl 1366.68216号 [8] Calude，Cs；Jain，S。；库萨诺夫，B。；李伟（Li，W.）。；Stephan，F。；Hatami，H。；麦肯齐，P。；King，V.，《准多项式时间内的决定平价游戏》，STOC，252-263（2017），纽约：ACM，纽约·Zbl 1369.68234号 [9] Chatterjee，K.：弱奇偶博弈的线性时间算法。arXiv（2008） [10] 查特吉，K。；Doyen，L.，《能源平价游戏》，Theor。计算。科学。，458, 49-60 (2012) ·Zbl 1260.91039号 ·doi:10.1016/j.tcs.2012.07.038 [11] 查特吉，K。；Henzinger，Ta；Horn，F.，Finitary在\（\omega \）常规赛中获胜，ACM Trans。计算。日志。，11, 1, 257-271 (2009) ·Zbl 1351.68156号 ·数字对象标识代码：10.1145/1614431.1614432 [12] Dallal，E.，Neider，D.，Tabuada，P.：对未建模间歇扰动鲁棒的安全控制器的合成。摘自：CDC，第7425-7430页。IEEE（2016） [13] 埃布纳西尔，A。；库尔卡尼，S；Arora，A.，FTSyn:容错自动合成框架，STTT，10，5，455-471（2008）·doi:10.1007/s10009-008-0083-0 [14] 埃勒斯，R。；托普库，美国。；Fränzle先生。；Lygeros，J.，《反应合成中间歇性假设违反的弹性》，HSCC，203-212（2014），纽约：ACM，纽约·Zbl 1361.68146号 [15] 费恩利，J。；Jain，S。；Schewe，S。；Stephan，F。；Wojtczak，D。；埃尔多姆斯，H。；Havelund，K.，求解拟多项式时间和拟线性空间中奇偶博弈的有序方法，SPIN，112-121（2017），纽约：ACM，纽约 [16] 菲亚尔科，北。；Zimmermann，M.，《平价与街头游戏与成本》，Log。方法计算。科学。，10, 2, 1-29 (2014) ·兹比尔1335.68137 ·doi:10.2168/LMCS-10（2:14）2014年 [17] Girault，A。；Rutten，E.，通过离散控制器综合自动添加容错，Form。Methods Syst。设计。，35, 2, 190-225 (2009) ·Zbl 1186.68051号 ·doi:10.1007/s10703-009-0084-y [18] Grädel，E。；托马斯·W·。；Wilke，T.，《自动化、逻辑和无限游戏：当前研究指南》，LNCS（2002）第2500卷，柏林：施普林格出版社，柏林·Zbl 1011.00037号 [19] Huang，总检察长；Da Peled；Schewe，S。；Wang，F.，针对密集错误的最大软件弹性的游戏理论基础，IEEE Trans。柔和。工程师，42，7，605-622（2016）·doi:10.1109/TSE.2015.2510001 [20] Jurdzinski，M.，Lazic，R.：解决平价游戏的简洁进度措施。收录于：LICS，第1-9页。IEEE计算机学会（2017）·Zbl 1457.68125号 [21] Kaiser，L.，《关于自动结构的逻辑和游戏：量词和分解的游戏》，LNCS（2011）第6810卷，柏林：施普林格出版社，柏林·Zbl 1225.03047号 [22] Lehtinen，K。；Dawar，A。；Grädel，E.，《准多项式时间内求解奇偶博弈的一个模型（mu）视角》，LICS，639-648（2018），纽约：ACM，纽约·Zbl 1497.68228号 [23] 马朱姆达尔，R。；Render，E。；Tabuada，P.，稳健欧米伽正则软件合成理论，ACM Trans。嵌入。计算。系统。，13, 3, 48:1-48:27 (2013) ·doi:10.1145/2539036.2539044 [24] Da Martin，Borel确定性，Ann.数学。，102, 363-371 (1975) ·Zbl 0336.02049号 ·doi:10.2307/1971035 [25] Rungger，M.，Zamani，M.：SCOTS：符号控制器合成工具。收录于：HSCC，第99-104页。ACM，纽约（2016）·Zbl 1364.93267号 [26] 塔布瓦达，P。；Sy Caliskan；伦格，M。；Majumdar，R.，《面向网络物理系统的稳健性》，IEEE Trans。自动。控制，59，12，3151-3163（2014）·兹比尔1360.93524 ·doi:10.1109/TAC.2014.2351632 [27] Tabuada，P.，Neider，D.：鲁棒线性时序逻辑。收录：Talbot，J.-M.，Regnier，L.（编辑）CSL，LIPIcs第62卷。Schloss Dagstuhl Leibniz Zentrum für Informatik出版社，第10:1-10:21页。(2016) ·Zbl 1370.03025号 [28] 托普库，美国。；Ozay，N。；刘，J。；穆雷，Rm；Dang，T。；Mitchell，Im，《关于在建模不确定性下合成鲁棒离散控制器》，HSCC，85-94（2012），纽约：ACM，纽约·Zbl 1362.68190号 [29] Van Benthem，J.，一篇关于破坏和阻挠的文章，机械化数学推理，纪念Jörg H.Siekmann 60岁生日的文章，LNCS第2605卷，268-276（2005），柏林：施普林格，柏林·Zbl 1098.68632号 [30] van Dijk，T.：Oink：现代平价游戏求解器的实现和评估。收录于：TACAS，LNCS第10805卷，第291-308页。柏林施普林格（2018） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。