博尔祖·博纳克达尔普尔；桑迪普·库尔卡尼 综合有界时间2相故障恢复。 （英语） Zbl 1328.68045号 正式Asp。计算。 27，第1期，1-31页（2015年）. 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 算法和问题复杂性分析 关键词：容错；实时的；有界时间恢复；分阶段回收；程序综合；程序转换 软件：Sycraft公司 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bonakdarpour｝和\textit｛S.Kulkarni｝，正式Asp。计算。27，编号1，1-31（2015年；兹bl 1328.68045） 全文： 内政部 参考文献： [1] Alur R，Dill D（1994）时间自动机理论。计算机科学理论126（2）：183-235·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8 [2] Arora A，Gouda MG（1993）《封闭与收敛：容错计算的基础》。IEEE Trans Softw Eng 19（11）：1015-1027·数字对象标识代码：10.1109/32.256850 [3] Alur R，Henzinger TA（1997）实时系统=离散系统+时钟变量。Int J Softw Tools Technol Transf 1（1-2）：86-109·Zbl 1060.68605号 ·doi:10.1007/s100090050007 [4] Asarin E，Maler O（1999）尽快：时间自动机的时间最优控制。In：混合系统-计算和控制（HSCC），第19-30页·Zbl 0952.93064号 [5] Asarin E，Maler O，Pnueli A，Sifakis J（1998）时间自动机的控制器综合。In:IFAC系统结构和控制研讨会，第469-474页 [6] Arora A（1996）树的有效重新配置：非任务容错程序的系统设计案例研究。计算机程序设计科学 [7] Alpern B，Schneider FB（1985）定义活力。Inf过程Lett 21:181-185·Zbl 0575.68030号 ·doi:10.1016/0020-0190（85）90056-0 [8] Bouyer P，D’Souza D，Madhusudan P，Petit A（2003）部分可观测的时间控制。In：计算机辅助验证（CAV），第180-192页·Zbl 1278.68160号 [9] Bonakdarpour B、Ebnenasir A、Kulkarni SS（2009）《复杂性导致UNITY计划的修订》。ACM自主和自适应系统事务（TAAS）（待发布）·Zbl 0817.93003号 [10] Bang-Jensen J，Gutin G（2002）有向图：理论、算法和应用，Springer·Zbl 1001.05002号 [11] Bonakdarpour B，Kulkarni SS（2006）《时间自动机的自动增量合成》。In:工业关键系统正式方法国际研讨会（FMICS），LNCS 4346:261-276 [12] Bonakdarpour B，Kulkarni SS（2006）容错实时程序的增量合成。In:分布式系统（SSS）稳定性、安全性和安全性国际研讨会，LNCS 4280:122-136·兹比尔0753.68041 [13] Bonakdarpour B，Kulkarni SS（2007）利用符号技术自动合成具有大状态空间的分布式程序。摘自：IEEE分布式计算系统国际会议（ICDCS），第3-10页 [14] Bonakdarpour B，Kulkarni SS（2008），修改分布式UNITY计划为NP完成。In:分布式系统原理（OPODIS），第408-427页 [15] Bonakdarpour B，Kulkarni SS（2008）SYCRAFT:合成容错分布式程序的工具。In：并发理论（CONCUR），第167-171页·Zbl 0803.68071号 [16] Bonakdarpour B，Kulkarni SS，Abujarad F（2007）高原子模型中容错程序的分布式合成。在：分布式系统的稳定性、安全性和安全性国际研讨会（SSS），LNCS 4838:21-36 [17] Bonakdarpour B、Kulkarni SS、Abujarad F（2012），掩蔽容错程序的符号合成。施普林格J分布计算（DC），25（1）：83-108·兹比尔1285.68016 [18] Cho KH，Lim JT（1998）自动化制造系统容错管理器的合成：光刻工艺案例研究。IEEE Trans Robot Autom 14（2）：348-351·数字对象标识代码：10.1109/70.681255 [19] de Alfaro L、Faella M、Henzinger TA、Majumdar R、Stoelinga M（2003）限时游戏中的惊喜元素。In:并发理论国际会议（CONCUR）·Zbl 1262.68141号 [20] Demirbas M、Arora A、Mittal V、Kulathumani V（2006）无线自组网的故障自稳定群集服务。IEEE跨并行分布式系统17（9）：912-922·doi:10.1109/TPDS.2006.113 [21] D’Souza D，Madhusudan P（2002）外部规范的时间控制合成。摘自：计算机科学理论方面研讨会（STACS），第571-582页·Zbl 1054.93502号 [22] Fortune S，Hopcroft JE，Wyllie J（1980）定向子图同胚问题。计算机科学理论10:111-121·Zbl 0419.05028号 ·doi:10.1016/0304-3975（80）90009-2 [23] Faella M、LaTorre S、Murano A（2002）《密集实时游戏》。计算机科学中的逻辑（LICS），第167-176页 [24] Gilbert S、Lynch NA、Mitra S、Nolte T（2009）《不可靠网络上的自我稳定机器人编队》。TAAS，4（3） [25] Gouda MG，Multari N（1991）《稳定通信协议》。IEEE传输计算40（4）：448-458·数字对象标识代码：10.1109/12.88464 [26] Gouda MG（2002）多相稳定。IEEE Trans Softw Eng 28（2）：200-208·doi:10.1109/32.988499 [27] Girault A，Ruttené（2009）利用离散控制器综合实现容错添加的自动化。系统设计中的形式化方法（FMSD），35（2）：190-225·Zbl 1186.68051号 [28] Henzinger TA（1992）越早越好。Inf过程Lett 43（3）：135-141·Zbl 0753.68041号 ·doi:10.1016/0020-0190（92）90005-G [29] Kulkarni SS，Ebnenasir A（2004）《多容性的自动合成》。In:可靠系统和网络国际会议（DSN），第209-219页 [30] Kumar R，Garg VK（1995）离散事件动态系统的最优监督控制。SIAM J控制优化33（2）：419-439·Zbl 0817.93003号 ·doi:10.1137/S0363012992235183 [31] Lin F，Wonham WM（1990）分散控制和部分观测离散事件系统的协调。IEEE跨自动控制，35（12）·Zbl 0723.93043号 [32] Maler O，Nickovic D，Pnueli A（2007）关于从有界响应特性合成控制器。In：计算机辅助验证（CAV），第95-107页·Zbl 1135.68477号 [33] Maler O，Pnueli A，Sifakis J（1995）关于定时系统离散控制器的综合。摘自：第十二届计算机科学理论方面年度研讨会，第229-242页·兹比尔1379.68227 [34] Pnueli A，Rosner R（1989）关于反应性模块的合成。In：编程语言原理（POPL），第179-190页·兹伯利0686.68015 [35] Pnueli A，Rosner R（1989）关于异步反应模块的合成。参加：自动化、语言和编程国际学术讨论会（ICALP），52-671·兹伯利0686.68015 [36] Ramadge PJ，Wonham WM（1989）离散事件系统的控制。程序IEEE 77（1）：81-98·数字对象标识代码：10.1109/5.21072 [37] Rudie K，Wonham WM（1992）全球思考，本地行动：分散监督控制。IEEE Trans Autom Control 37（11）：1692-1708·Zbl 0778.93002号 ·数字对象标识代码：10.1109/9.173140 [38] Tripakis S，Altisen K（1999）离散和稠密时间系统的实时控制器综合。In:形式方法1999（FM），第233-252页·兹比尔1037.93522 [39] Thomas W（1990）《理论计算机科学手册》，B卷，第4章：无限对象上的自动机。阿姆斯特丹爱思唯尔·Zbl 0575.68030号 [40] Thomas W（1995）关于无限博弈中策略的综合。摘自：计算机科学的理论方面（STACS），第1-13页·Zbl 1379.68233号 [41] Wallmeier N，Hütten P，Thomas（2003）请求响应规范有限状态控制器的符号合成。In：自动机的实现和应用（CIAA），第11-22页·Zbl 1279.68221号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。