×
吉勒·杰勒茨;乔·古森;阮，Thi-Van-Anh;阿梅利·施泰纳

综合安全游戏中的简洁策略，并应用于实时调度。 （英语） Zbl 1393.68038号

西奥。计算。科学。 735, 24-49 (2018).
小结：我们介绍了计算的一般技术，有效地,简洁的表示在安全和可达性游戏中的获胜策略。我们的技术适应了反链游戏设置的框架，并依赖于基于转弯的交替仿真，用于在许多应用程序中正式化这些游戏状态之间存在的自然关系。然后，我们通过考虑从实时调度社区，即为一组零星任务在上多处理器平台。我们通过一个状态数在任务集描述中是指数的游戏来形式化这个问题，从而使它成为我们方法的完美候选。我们已经实现了我们的算法，并通过实验证明规模比经典解决方案更好。据我们所知，这是第一次尝试实现精确可行性试验对于这个特定的问题。

引用于1文件

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
91A80型 博弈论的应用

关键词：

安全游戏;简洁的策略;反链;实时调度;零星任务
PDF格式BibTeX公司 XML格式引用
\textit{G.Geeraerts}等人，Theor。计算。科学。735，24-49（2018；Zbl 1393.68038）
全文： 内政部

参考文献：

[1] Filiot，E。；Jin，N。；Raskin，J.，LTL合成的反链和合成算法，形式方法系统。设计。，39, 3, 261-296 (2011) ·Zbl 1258.03046号
[2] 博尼法奇，V。；Marchetti-Paccamela，A.，《零星实时多处理器任务系统的可行性分析》，（第18届欧洲算法研讨会论文集。第18届年度欧洲算法研讨会文献集，ESA’10。第18届欧洲算法年会论文集。第18届欧洲算法年会论文集，ESA’10，计算机课堂讲稿。科学。，第6347卷（2010），施普林格），230-241·Zbl 1287.68020号
[3] 北伯特兰。；斯坦纳，A。；杰伦，T。；Krichen，M.，《确定时间自动机的游戏方法》，（第14届软件科学和计算结构基础国际会议论文集。第14届国际软件科学和计算机结构基础会议论文集，FOSSACS’11。第14届软件科学和计算结构基础国际会议论文集。第14届软件科学和计算结构基础国际会议论文集，FOSSACS’11，计算讲义。科学。，第6604卷（2011），施普林格），245-259·兹比尔1326.68173
[4] Bouton，C.，Nim，一个有完整数学理论的游戏，Ann.Math。，2, 3, 35-39 (1902) ·JFM 32.0225.02号文件
[5] Doyen，L。；Raskin，J.-F.，有限自动机的反链算法，（系统构建和分析的工具和算法。系统构建和分析的工具和算法，计算机科学讲义，第6015卷（2010），施普林格-柏林-海德堡），2-22·Zbl 1284.68348号
[6] Geeraerts，G。；古森，J。；Lindström，m.，《任意基线零星任务的多处理器可调度性：复杂性和反链算法》，实时系统。，49, 2, 171-218 (2013) ·Zbl 1291.68081号
[7] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；库普夫曼，O。；Vardi，M.Y.，交替求精关系，（《第九届并行理论国际会议论文集》，第九届并发理论国际会议文献集，CONCUR’98。第九届并行理论国际会议论文集。第九届并行理论国际会议论文集，CONCUR’98，计算机课堂讲稿。科学。，第1466卷（1998），施普林格），163-178·Zbl 1070.68524号
[8] 卡塞兹，F。；大卫·A。；弗勒里，E。；Larsen，K.G。；Lime，D.，《分析计时游戏的高效实时算法》（CONCUR’05）。CONCUR’05，计算机课堂讲稿。科学。，第3653卷（2005），施普林格），66-80·Zbl 1134.68382号
[9] 戴维斯，R。；Burns，A.，《多处理器系统硬实时调度的调查》，ACM Compute。调查。，43, 4, 35 (2011) ·Zbl 1293.68068号
[10] Geeraerts，G。；古森，J。；Lindström，m.，《任意基线零星任务的多处理器可调度性：复杂性和反链算法》，实时系统。，49, 2, 171-218 (2013) ·Zbl 1291.68081号
[11] Neider，D.，《安全游戏的小策略》，（Bultan，T.；Hsiung，P.-A.，《验证和分析自动化技术》，《计算科学讲义》，第6996卷（2011年），施普林格-柏林-海德堡），306-320·Zbl 1348.68145号
[12] Wulf，医学博士。；多恩，L。；梅奎特，N。；Raskin，J.-F.，《反链：LTL可满足性和模型检查的替代算法》（Antichains:alternative algorithms for the LTL satisfility and model-checking），（第14届系统构建与分析工具和算法国际会议论文集，第14届国际系统构建和分析工具与算法会议论文集），TACAS’08。第十四届系统构建与分析工具与算法国际会议论文集。《第14届系统构建与分析工具与算法国际会议论文集》，TACAS'08，《计算讲义》。科学。，第4963卷（2008年），施普林格出版社），63-77·Zbl 1134.68404号
[13] Ekberg，P。；Yi，W.，具有有限截止日期的零星任务的单处理器可行性非常复杂，（第27届欧洲实时系统会议（2015），IEEE），281-286
[14] 博尼法奇，V。；Marchetti Spaccamela，A.，零星实时多处理器任务系统的可行性分析，（算法-ESA 2010，第18届欧洲年度研讨会，论文集，第二部分。算法-ESA 2010，第18届欧洲年度研讨会，论文集，第二部分，英国利物浦，2010年9月6-8日。算法——ESA 2010，第18届欧洲年会，会议记录，第二部分。算法-ESA 2010，第18届欧洲年会，会议记录，第二部分，英国利物浦，2010年9月6-8日，计算机课堂讲稿。科学。，第6347卷（2010），施普林格），230-241·Zbl 1287.68020号
[15] 贝克，T.P。；Cirinei，M.，Brute-force确定零星硬基线任务集的多处理器可调度性，（《分布式系统原理》，第11届国际会议，会议录。《分布式系统原则》，第十一届国际会议。会议录，OPODIS 2007，法属西印度群岛瓜德罗普，2007年12月17日至20日（2007））， 62-75 ·Zbl 1291.68062号
[16] 比尼，E。；Buttazzo，G.C.，测量可调度性测试的性能，实时系统。，3012-129-154（2005年）·Zbl 1083.68008号
[17] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theoret。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号
[18] Schmaltz，J。；Tretman，J.，《关于时间系统的一致性测试》，（第六届时间系统形式建模和分析国际会议论文集。第六届国际时间系统形式模型和分析会议论文集，FORMATS’08。第六届时间系统形式化建模与分析国际会议论文集。第六届时间系统形式建模与分析国际会议论文集，FORMATS’08，计算机课堂讲稿。科学。，第5215卷（2008），施普林格），250-264·Zbl 1171.68556号
[19] Delzanno，G。；Raskin，J。；Begin，L.V.，《覆盖共享树：用于参数化验证的紧凑数据结构》，Int.J.Softw。技术工具。传输。，5, 2-3, 268-297 (2004)
[20] Dill，D.L.，有限状态并发系统的定时假设和验证，（Springer，《有限状态系统的自动验证方法》，国际研讨会，论文集。有限状态系统自动验证方法，国际研讨会论文集，法国格勒诺布尔，1989年6月12日至14日。有限状态系统的自动验证方法，国际研讨会，论文集。有限状态系统的自动验证方法，国际研讨会，会议记录，法国格勒诺布尔，1989年6月12日至14日，计算机课堂讲稿。科学。，第407卷（1989年），197-212
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。