帕特里夏·鲍耶;乌里·法伦贝格;Larsen,Kim G。;尼古拉斯·马基;吉·斯尔巴 具有能量约束的加权时间自动机中的无限运行。 (英语) Zbl 1171.68524号 Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,33-47(2008)。 摘要:我们研究了有限加权自动机和单时钟加权时间自动机在累积权重受边界约束的情况下无限调度的存在性和构造问题。更具体地说,我们考虑在过渡和位置上配备正负权重的自动机,对应于某些资源(例如能源)的生产和消费。我们提出一个问题,即是否存在一条无限路径,对于该路径,任何有限前缀的累积权重都满足某些约束(例如,保持在0和某些给定上限之间)。我们还考虑了上述的游戏版本,其中某些过渡可能无法控制。关于整个系列,请参见[Zbl 1149.68007号]. 引用于57文件 MSC公司: 65年第68季度 形式语言和自动机 90B35型 运筹学中的确定性调度理论 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。5215、33-47(2008年;Zbl 1171.68524) 全文: 内政部 哈尔 参考文献: [1] 阿鲁尔(Alur,R.)。;Bernadsky,M。;Madhusudan,P。;迪亚斯,J。;Karhumäki,J。;Lepistö,A。;Sannella,D.,加权时间博弈中的最优可达性,自动机,语言与编程,122-133(2004),海德堡:施普林格·Zbl 1098.68061号 [2] 阿鲁尔(Alur,R.)。;La Torre,S。;帕帕斯,G.J。;医学博士Di Benedetto。;Sangiovanni-Vincentelli,A.L.,加权时间自动机中的最优路径,混合系统:计算和控制,49-62(2001),海德堡:施普林格,海德伯格·Zbl 0991.93076号 ·doi:10.1007/3-540-45351-28 [3] 贝尔曼,G。;Fehnker,A。;Hune,T。;Larsen,K.G。;Pettersson,P。;罗米恩,J。;Vaandrager,F。;医学博士Di Benedetto。;Sangiovanni-Vincentelli,A.L.,定价时间自动机的最小成本可达性,混合系统:计算和控制,147-161(2001),海德堡:斯普林格·Zbl 0991.68037号 ·doi:10.1007/3-540-45351-2_15 [4] 鲍耶,P。;布里海耶,T。。;布鲁埃,V。;Raskin,J.-F.,关于最优可达性问题,系统设计中的形式化方法,31,2135-175(2007)·Zbl 1129.68039号 ·doi:10.1007/s10703-007-0035-4 [5] 鲍耶,P。;T.Brihaye。。;Markey,N.,《改进加权时间自动机的不可判定性结果》,Inf.Proc。信件,98,5,188-194(2006)·Zbl 1187.68291号 ·doi:10.1016/j.ipl.2006.01.012 [6] 鲍耶,P。;Brinksma,E。;Larsen,K.G。;阿鲁尔(Alur,R.)。;Pappas,G.J.,尽可能廉价地生存,《混合系统:计算与控制》,203-218(2004),海德堡:斯普林格·Zbl 1135.93352号 [7] 鲍耶,P。;卡塞兹,F。;弗勒里,E。;Larsen,K.G。;Lodaya,K。;Mahajan,M.,定价时间博弈自动机中的最优策略,FSTTCS 2004:软件技术和理论计算机科学基础,148-160(2004),海德堡:施普林格·Zbl 1117.68396号 [8] Bouyer,P.,Fahrenberg,U.,Larsen,K.G.,Markey,N.,Srba,J.:无限在能量约束的加权时间自动机中运行。研究报告LSV-08-23,实验室规范和验证,ENS Cachan,法国(2008),http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_lsv/PDF/rr-lsv-2008-23.PDF ·Zbl 1171.68524号 [9] 鲍耶,P。;Larsen,K.G。;马基,N。;Seidl,H.,模型检验单时钟定价时间自动机,软件科学和计算结构基础,108-122(2007),海德堡:斯普林格·Zbl 1149.68400号 ·doi:10.1007/978-3-540-71389-0_9 [10] 鲍耶,P。;Larsen,K.G。;马基,N。;拉斯穆森,J.I。;阿伦·库马尔,S。;Garg,N.,《单时钟定价时间自动机中的几乎最优策略》,FSTTCS 2006:软件技术和理论计算机科学基础,345-356(2006),海德堡:斯普林格·Zbl 1177.68142号 ·doi:10.1007/11944836_32 [11] 鲍耶,P。;马基,N。;Raskin,J.-F。;Thiagarajan,P.S.,成本很高!,《时间系统的形式化建模与分析》,53-68(2007),海德堡:斯普林格出版社·Zbl 1142.68045号 ·doi:10.1007/978-3-540-75454-1_6 [12] T.Brihaye。。;布鲁埃,V。;Raskin,J.-F。;Lakhnech,Y。;Yovine,S.,加权时间自动机的模型检验,形式化技术,时间和容错系统的建模和分析,277-292(2004),海德堡:斯普林格·Zbl 1109.68512号 [13] T.Brihaye。。;布鲁埃,V。;Raskin,J.-F。;拉马努贾姆,R。;Sen,S.,《最优时间策略》,FSTTCS 2005:软件技术和理论计算机科学基础,49-64(2005),海德堡:斯普林格·Zbl 1175.68241号 [14] Chandra,A.K。;Kozen,哥伦比亚特区。;Stockmeyer,L.J.,Alternation,J.ACM,28,1,114-133(1981)·Zbl 0473.68043号 ·数字对象标识代码:10.1145/322234.32243 [15] 埃伦菲赫特,A。;Mycielski,J.,平均收益博弈的位置策略,国际博弈论,8,2,109-113(1979)·兹比尔0499.90098 ·doi:10.1007/BF01768705 [16] Fahrenberg,U.,Larsen,K.G.:定价时间自动机中的折扣最优无限运行(提交,2008年)·Zbl 1347.68204号 [17] Jurdziñski,M.,在平价游戏中决定胜利者是在UPñco-UP,Inf.Proc.中。《信件》,68,3,119-124(1998)·Zbl 1338.68109号 ·doi:10.1016/S0020-0190(98)00150-1 [18] 尤金斯基,M。;拉鲁西尼,F。;斯普罗斯顿,J。;格伦伯格,O。;Huth,M.,具有一个或两个时钟的模型检查概率时间自动机,系统构建和分析的工具和算法,170-184(2007),海德堡:斯普林格·Zbl 1186.68295号 ·doi:10.1007/978-3-540-71209-1_15 [19] 拉鲁西尼,F。;马基,N。;施诺贝伦,P。。;加德纳,P。;Yoshida,N.,具有一个或两个时钟的模型检查时间自动机,CONCUR 2004-并发理论,387-401(2004),海德堡:斯普林格·Zbl 1099.68057号 [20] Larsen,K.G。;拉斯穆森,J.I。;Sassone,V.,《多值时间自动机的最优条件调度》,《软件科学和计算结构基础》,234-249(2005),海德堡:斯普林格出版社·Zbl 1118.68527号 [21] Martin,D.,Borel确定性,《数学年鉴》。,102, 2, 363-371 (1975) ·Zbl 0336.02049号 ·doi:10.2307/1971035 [22] Papadimitriou,C.H.,计算复杂性(1994),阅读:Addison-Wesley,阅读·Zbl 0833.68049号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。