文件大小：0.5 MB 共17页
最优弹性控制器的综合
作者
-
部分内容： 体积： 第27届EACSL计算机科学逻辑年会（CSL 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2018-08-29
文件
文件标识符
引用为 获取BibTex
摘要
受试者分类
ACM科目分类
计算理论 → 无限对象上的自动机
关键词
控制器综合 无限游戏 弹性策略 干扰
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
保罗·C·阿蒂（Paul C.Attie）、阿尼什·阿罗拉（Anish Arora）和艾伦·爱默生（E.Allen Emerson）。 容错并发程序的综合。 ACM事务处理。 程序。 语言系统。， 26(1):125-185, 2004. 网址： http://dx.doi.org/10.1145/963778.963782 . -
Julien Bernet、David Janin和Igor Walukiewicz。 允许策略：从平价游戏到安全游戏。 ITA，36（3）：261-2752002年。 网址： http://dx.doi.org/10.1051/ita:20013 . -
罗德里克·布洛姆（Roderick Bloem）、克里希南德·查特吉（Krishnendu Chatterjee）、卡琳·格雷梅尔（Karin Greimel）、托马斯·汉津格（Thomas A.Henzinger）、乔治·霍夫雷克（Georg Hofferek）、芭芭拉·乔布斯曼（Barbara Jobstmann）、贝蒂娜·科尼。 合成鲁棒系统。 《学报》，51（3-4）：193-222014年。 网址： http://dx.doi.org/10.1007/s00236-013-0191-5 . -
罗德里克·布洛姆（Roderick Bloem）、克里希南德·查特吉（Krishnendu Chatterjee）、托马斯·汉津格（Thomas A.Henzinger）和芭芭拉·乔布斯曼（Barbara Jobstmann）。 通过量化目标提高合成质量。 Ahmed Bouajjani和Oded Maler，编辑，CAV 2009，LNCS第5643卷，第140-156页。 施普林格，2009年。 网址： http://dx.doi.org/10.1007/978-3-642-02658-4_14 . -
罗德里克·布隆姆（Roderick Bloem）、吕迪格·埃勒斯（Rüdiger Ehlers）、斯文·雅各布斯（Swen Jacobs）和罗伯特·科尼霍弗（Robert Könighfer）。 如何处理综合中的假设。 Krishnendu Chatterjee、Rüdiger Ehlers和Susmit Jha，编辑，SYNT 2014，EPTCS第157卷，第34-50页，2014。 网址： http://dx.doi.org/10.4204/EPTCS.157.7 . -
Roderick Bloem、Barbara Jobstmann、Nir Piterman、Amir Pnueli和Yaniv Sa'ar。反应（1）设计的合成。 J.计算。 系统。 科学。， 78(3):911-938, 2012. 网址： http://dx.doi.org/10.1016/j.jcss.2011.08.007 . -
托马斯·布里哈耶、吉莱斯·杰雷茨、阿克塞尔·哈达德、本杰明·蒙梅格、吉列尔莫·A·佩雷斯和加布里埃尔·雷诺。 失败下的定量游戏。 在FSTTCS 2015中，LIPIcs第45卷，第293-306页。 达格斯图尔宫-LZI，2015年。 网址： http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2015.293 . -
克里斯蒂安·卡鲁德（Cristian S.Calude）、桑杰·贾恩（Sanjay Jain）、巴哈迪尔·库萨诺夫（Bakhadyr Khousainov）、魏莉（Wei Li）和弗兰克·斯蒂芬（Frank Stephan）。 拟多项式时间中奇偶对策的判定。 在Hamed Hatami、Pierre McKenzie和Valerie King，STOC 2017编辑，第252-263页。 ACM，2017年。 网址： http://dx.doi.org/10.1145/3055399.3055409 . -
Krishnendu Chatterjee和Laurent Doyen。 能源平价游戏。 西奥。 计算。 科学。， 458:49-60, 2012. 网址： http://dx.doi.org/10.1016/j.tcs.2012.07.038 . -
Eric Dallal、Daniel Neider和Paulo Tabuada。 对未建模间歇干扰鲁棒的安全控制器的综合。 CDC 2016，第7425-7430页。 IEEE，2016年。 网址： http://dx.doi.org/10.109/CDC.2016.7799416 . -
Ali Ebnenasir、Sandeep S.Kulkarni和Anish Arora。 FTSyn：自动综合容错的框架。 STTT，10（5）：455-4712008年。 网址： http://dx.doi.org/10.1007/s10009-008-0083-0 . -
Rüdiger Ehlers和Ufuk Topcu。 反应合成中间歇性假设违反的弹性。 Martin Fränzle和John Lygeros，编辑，HSCC 2014，第203-212页。 ACM，2014年。 网址： http://dx.doi.org/10.1145/2562059.2562128 . -
阿兰·吉拉尔和埃里克·拉特。 使用离散控制器综合自动添加容错。 形式方法。 在系统中。 设计。， 35(2):190-225, 2009. 网址： http://dx.doi.org/10.1007/s10703-009-0084-y . -
编辑Erich Grädel、Wolfgang Thomas和Thomas Wilke。 自动机、逻辑和无限游戏：当前研究指南，LNCS第2500卷。 斯普林格，2002年。 网址： http://dx.doi.org/10.1007/3-540-36387-4 . -
黄忠浩、Doron A.Peled、Sven Schewe和Farn Wang。 一个游戏理论基础，用于最大限度地提高软件对密集错误的恢复能力。 IEEE传输。 软件工程，42（7）：605-6222016。 网址： http://dx.doi.org/10.109/TSE.2015.2510001 . -
Rupak Majumdar、Elaine Render和Paulo Tabuada。 稳健欧米伽正则软件综合理论。 ACM事务处理。 嵌入式计算。 系统。， 13(3):48:1-48:27, 2013. 网址： http://dx.doi.org/10.1145/2539036.2539044 . -
唐纳德·马丁。 Borel确定性。 《数学年鉴》，102:363-3711975年。 
-
Daniel Neider、Alexander Weinert和Martin Zimmermann。 综合最佳弹性控制器。 arXiv，1709.048542017年。 网址： https://arxiv.org/abs/1709.04854 . -
Paulo Tabuada、Sina Yamac Caliskan、Matthias Rungger和Rupak Majumdar。 面向网络物理系统的稳健性。 IEEE传输。 自动化。 控制。， 59(12):3151-3163, 2014. 网址： http://dx.doi.org/10.1109/TAC.2014.2351632 . -
保罗·塔布阿达和丹尼尔·奈德。 强大的线性时序逻辑。 在CSL 2016中，LIPIcs第62卷，第10:1-10:21页。 达格斯图尔宫-LZI，2016年。 网址： http://dx.doi.org/10.4230/LIPIcs.CSL.2016.10 . -
Ufuk Topcu、Necmiye Ozay、Jun Liu和Richard M.Murray。 关于在建模不确定性下合成鲁棒离散控制器。 Thao Dang和Ian M.Mitchell，HSCC 2012编辑，第85-94页。 ACM，2012年。 网址： http://dx.doi.org/10.1145/2185632.2185648 . -
约翰·范·本特姆（Johan van Benthem）。 一篇关于破坏和阻挠的文章。 《机械化数学推理》，《纪念Jörg H.Siekmann 60岁生日的论文》，LNCS第2605卷，第268-276页。 斯普林格，2005年。 网址： http://dx.doi.org/10.1007/978-3-540-32254-2_16 .