弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 可判定混合游戏规范。 （英语） Zbl 1229.93104号 西奥。计算。科学。 412，第48号，6770-6785（2011）. 小结：我们介绍了STORMED混合游戏（SHG），它是STORMED混合系统的一个概括，V.Vladimerou、P.Prabhakar、M.Viswanathan和G.杜勒鲁[摘自：Aceto，Luca（编辑）等人，《自动化，语言和编程》，第35届国际学术讨论会，ICALP 2008，冰岛雷克雅未克，2008年7月7日至11日。诉讼，第二部分。柏林：斯普林格。计算机科学课堂讲稿5126136-147（2008；Zbl 1155.68421号)]具有自然规范，允许丰富的连续动态和各种可判定属性。我们使用有限对策图上的互模拟约简来解决SHG的控制问题。这可以推广到更大的游戏家族，其中包括o-minimal混合游戏，P.Bouyer、T.Brihaye和F.骑士[“最小混合系统中的控制”，载于：LICS’06：第21届IEEE计算机科学逻辑年会论文集，IEEE计算机学会，美国华盛顿特区，367–378（2006）]。我们还解决了加权SHG的最优成本可达性问题，并证明了加权STORMED混合系统的WCTL的可判定性。 引用于2文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 91A80型 博弈论的应用 65年第68季度 形式语言和自动机 关键词：混合系统;混合游戏;加权CTL;控制;验证 引文：Zbl 1155.68421号 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人，Theor。计算。科学。412，第48号，6770--6785（2011；Zbl 1229.93104） 全文： 内政部 参考文献： [1] 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳库普弗曼；Vardi，Moshe Y.，交替求精关系，（第九届并行理论国际会议论文集，第九届并发理论国际会议文献集，CONCUR98。第九届并行理论国际会议论文集。《第九届并行理论国际会议论文集》，CONCUR98，LNCS，第1466卷（1998），Springer-Verlag），163-178·Zbl 1070.68524号 [2] 拉杰夫·阿鲁尔；萨尔瓦多·拉·托雷；乔治·帕帕斯（George J.Pappas），加权时间自动机中的最优路径，（第四届混合系统国际研讨会论文集：计算与控制，第四届国际混合系统研讨会论文集，HSCC’01（2001），Springer-Verlag:Springer-Verlag London，UK），49-62·Zbl 0991.93076号 [3] 细辛，尤金；马勒，奥德；Pnueli，Amir，离散和定时系统的符号控制器综合，（混合系统II。混合系统II，LNCS，第999卷（1995），Springer），1-20·Zbl 0933.94045号 [4] Eugene Asarin，Oded Maler，Amir Pnueli，Joseph Sifakis，时间自动机1的控制器合成，in：Proc。国际会计师联合会系统结构和控制专题讨论会，1998年，第469-474页。；Eugene Asarin，Oded Maler，Amir Pnueli，Joseph Sifakis，时间自动机1的控制器合成，in：Proc。国际会计师联合会系统结构和控制专题讨论会，1998年，第469-474页·Zbl 0933.94045号 [5] Gerd Behrmann；Fehnker，Ansgar公司；Thomas Hune；Larsen，Kim Guldstrand；Paul Pettersson；朱迪·罗米恩；Vaandrager，Frits W.，定价时间自动机的最小成本可达性，（第四届混合系统国际研讨会论文集：计算与控制，第四届国际混合系统研讨会论文集，HSCC’01（2001），Springer-Verlag:Springer-Verlag London，UK），147-161·Zbl 0991.68037号 [6] Patricia Bouyer；托马斯·布里海耶（Thomas Brihaye）；Chevalier，Fabrice，o-minimal hybrid systems中的控制，（LICS’06：第21届IEEE计算机科学逻辑研讨会论文集（2006），IEEE计算机学会：IEEE计算机协会，美国华盛顿特区），367-378·Zbl 1219.68114号 [7] Patricia Bouyer；托马斯·布里海耶（Thomas Brihaye）；Chevalier，Fabrice，加权o-最小混合系统比加权时间自动机更容易判定，（LFCS（2007），Springer），69-83·兹比尔1132.68466 [8] 托马斯·布里海耶（Thomas Brihaye）；布鲁埃、维罗尼克；Raskin，Jean-François，加权时间自动机的模型检验，（Lakhnech，Yassine；Yovine，Sergio，FORMATS/FTRTFT.FORMATS/FTRTFT，计算机科学讲稿，第3253卷（2004），Springer），277-292·Zbl 1109.68512号 [9] 托马斯·布里海耶（Thomas Brihaye）；布鲁埃、维罗尼克；françois Raskin，Jean，加权时间自动机的模型检查，（FORMATS-FTRTFT04的进展。FORMATS-FTRTFT04程序，Lect。注释计算。科学。，第3253卷（2004），施普林格），277-292·Zbl 1109.68512号 [10] Thomas Brihaye、Tom Henzinger、Vinayak Prabhu、Jean-Franois Raskin，《时间游戏中的最小时间可达性》，收录于：ICALP 2007年《自动机，语言与编程》，2007年7月，第825-837页。；Thomas Brihaye、Tom Henzinger、Vinayak Prabhu、Jean-Franois Raskin，《时间游戏中的最小时间可达性》，收录于：ICALP 2007自动控制，语言与编程，2007年7月，第825-837页·Zbl 1171.68526号 [11] 托马斯·布里海耶（Thomas Brihaye）；Christian Michaux，《论o-minimal混合系统的表达性和可判定性》，J.Complexity，21，4，447-478（2005）·Zbl 1101.68059号 [12] 卡塞兹，F。；亨辛格，T.A。；Raskin，J.-F.，《定时和混合系统控制问题的比较》（HSCC 02）。HSCC 02，LNCS，第2289卷（2002），施普林格），134-148·Zbl 1044.93518号 [13] L.de Alfaro，T.A.Henzinger，R.Majumdar，无限状态博弈的符号算法，收录于：CONCUR会议记录，2001年，第536-550页。；L.de Alfaro，T.A.Henzinger，R.Majumdar，无限状态博弈的符号算法，收录于：CONCUR会议记录，2001年，第536-550页·Zbl 1006.68095号 [14] 费内科斯（Fainekos，Georgios E.）。；安托万·吉拉德；乔治·帕帕斯（George J.Pappas），《基于时序逻辑规范的混合控制器层次综合》（Hierarchical synthesis of hybrid controller from temporal logic specifications），（第十届混合系统国际会议论文集：计算与控制，第十届国际混合系统会议论文集，HSCC’07（2007），《Springer-Verlag:Springer-Verlag Berlin》，海德堡），203-216·Zbl 1221.93071号 [15] Gentilini、Raffaella；施耐德，克劳斯；Mishra，B.，用于单调ctl模型检查的混合自动机的连续抽象，（Artömov，Sergei N.；Nerode，Anil，LFCS.LFCS，计算机科学讲稿，第4514卷（2007），Springer），224-240·Zbl 1132.68446号 [16] Haghverdi，E。；Tabuada，P。；Pappas，G.J.，动力学、控制和混合系统的互模拟关系，理论计算机科学，342，2，229-261（2005）·Zbl 1077.68062号 [17] Henzinger，A。；霍洛维茨，B。；Majumdar，R.，矩形混合博弈，（第十届并行理论国际会议论文集，第十届并发理论国际会议文献集，CONCUR’99。程序。第十届并行理论国际会议。程序。第十届并发理论国际会议，CONCUR’99，计算机科学讲稿，第1664卷（1999），Springer），320-335·Zbl 0937.91005号 [18] 亨辛格，T.A。；Kopke，P.W.，矩形混合自动机的离散时间控制，理论计算机科学，221369-392（1999）·兹伯利0930.68086 [19] Thomas A.Henzinger，Peter W.Kopke，Anuj Puri，Pravin Varaiya，混合自动机的决定因素是什么？in：程序。第27届ACM年会。《计算理论》，STOC，1995年，第373-382页。；Thomas A.Henzinger，Peter W.Kopke，Anuj Puri，Pravin Varaiya，混合自动机的决定因素是什么？in：程序。第27届ACM年会。《计算理论》，STOC，1995年，第373-382页·Zbl 0978.68534号 [20] G.Lafferierre，G.J.Pappas，S.Sastry，O-极小混合系统，《控制、信号和系统数学》，第13卷，2000年3月，第1-21页。；G.Lafferierre，G.J.Pappas，S.Sastry，O-最小混合系统，《控制数学、信号和系统》，第13卷，2000年3月，第1-21页·Zbl 1059.68073号 [21] 马勒，奥德；阿米尔·普努利；约瑟夫·西法基斯（Joseph Sifakis），《关于时间系统离散控制器的综合》（Mayr，Ernst；Puech，Claude，STACS 95）。STACS 95，《计算机科学讲义》，第900卷（1995），施普林格：施普林格柏林/海德堡），229-242·Zbl 1379.68227号 [22] 托马斯·摩尔（Thomas Moor）；Davoren，J.M.，使用模态逻辑的混合系统鲁棒控制器综合，（第四届混合系统国际研讨会论文集：计算与控制。第四届国际混合系统研讨会论文集，HSCC’01（2001），Springer-Verlag:Springer-Verlag London，UK），433-446·Zbl 0991.93038号 [23] Pang，Y。；Spathopoulos，M.P。；Xia，Hao，线性混合自动机的可达性和最优控制：量词消除方法，IJC，80，5，731-748（2007）·Zbl 1162.93338号 [24] 安德烈·普拉泽；Clarke，Edmund M.，计算混合系统的微分不变量作为定点，（ICAV（2008）），176-189·Zbl 1155.68445号 [25] R.Rosner，反应系统的模块化合成，博士论文，1992年。魏茨曼科学研究所。；R.Rosner，反应系统的模块化合成，博士论文，1992年。魏茨曼科学研究所。 [26] Tabuada，P.，用于双模拟等效的控制器合成，《系统与控制快报》，57，6，443-452（2008）·Zbl 1154.93324号 [27] Tabuada，P。；Pappas，G.J.，离散时间线性系统的线性时序逻辑控制，IEEE自动控制汇刊，51，12，1862-1877（2006）·Zbl 1366.93413号 [28] 阿尔弗雷德·塔斯基，《初等代数和几何的决策方法》（1951），加利福尼亚大学出版社·Zbl 0900.03045号 [29] C.Tomlin、G.J.Pappas、S.Shankar Sastry，《空中交通管理冲突解决：多智能体混合系统的案例研究》。技术报告UCB/ERL M96/38，加州大学伯克利分校EECS系，1996年。；C.Tomlin、G.J.Pappas、S.Shankar Sastry，《空中交通管理冲突解决：多智能体混合系统的案例研究》。技术报告UCB/ERL M96/38，加州大学伯克利分校EECS系，1996年·Zbl 0904.90113号 [30] 汤姆林，C.J。；Lygeros，J。；Shankar Sastry，S.，混合系统控制器设计的博弈论方法，IEEE学报，88，7，949-970（2000年7月） [31] van den Dries，L。；Miller，C.，《关于具有受限分析函数的实指数场》，以色列数学杂志，85，19-56（1994）·Zbl 0823.03017号 [32] van den Dries，Lou，Tame拓扑和O-极小结构（1998），剑桥大学出版社·Zbl 0953.03045号 [33] 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦（Mahesh Viswanathan）；Dullerud，Geir，STORMED混合系统，（第35届自动化国际研讨会论文集，语言和编程，第二部分。第35届自动国际研讨会论文集中，语言和程序，第二章，ICALP’08（2008），Springer-Verlag:Springer-Verlag Berlin，Heidelberg），136-147·Zbl 1155.68421号 [34] 弗拉迪梅鲁、弗拉迪梅罗斯；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦（Mahesh Viswanathan）；Dullerud，Geir E.，STORMED混合游戏，（Majumdar，Rupak；Tabuada，Paulo，HSCC.HSCC，计算机科学讲义，第5469卷（2009），Springer），480-484·Zbl 1237.91020号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。