埃蒂安·安德烈;莱姆，迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 （英语） 兹比尔07350779 日志。方法计算。科学。 17，第2号，第13号文件，第67页（2021）. 摘要：我们引入了一类新的参数定时自动机（PTA），我们可以将时钟与保护中的参数进行比较，就像经典的PTA一样，还可以将时钟更新为参数。这里我们关注EF-emplity问题：“在实例化的时间自动机中，某个给定位置可以到达的参数赋值集是空的吗？”。众所周知，这个问题对于PTA来说是无法确定的，我们的扩展也是如此。尽管如此，如果我们每次将时钟与参数进行比较时都更新所有时钟，并且每次将时钟更新为参数时，我们都会获得一个语法子类，对于该子类，我们可以决定EF-emplity问题，甚至可以执行合理估值集的精确合成，以便可以到达给定的位置。据我们所知，这是PTA的第一个非平凡子类，实际上甚至可以通过参数更新进行扩展，这是可能的。 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：参数时间自动机;参数化更新;可判定性;时间自动机;时钟区域;参数差分界矩阵 软件：模仿者 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。17，第2号，第13号论文，67页（2021；Zbl 07350779） 全文： arXiv公司 链接 参考文献： [1] Rajeev Alur和David L.Dill。时间自动机理论。理论计算机科学，126（2）：183-2351994年4月·Zbl 0803.68071号 [2] 艾蒂安·安德烈（Etienne Andr´e）、劳伦特·弗里堡（Laurent Fribourg）、乌尔里奇·库鲁恩（Ulrich K¨uhne）和罗曼·苏拉特（Romain Soulat）。IMTATOR 2.5：一种用于分析调度问题鲁棒性的工具。在Dimitra Giannakopoulou和Dominique M´ery，FM编辑，《计算机科学讲义》第7436卷，第33-36页。施普林格，八月 [3] Rajeev Alur、Thomas A.Henzinger和Moshe Y.Vardi。参数化实时推理。STOC编辑S.Rao Kosaraju、David S.Johnson和Alok Aggarwal，第592-601页，新·Zbl 1310.68139号 [4] 艾蒂安·安德烈和迪迪埃·莱姆。L/U参数时间自动机的活性。亚历克斯·莱吉（Alex Legay）和克劳斯·施奈德（Klaus Schneider），ACSD编辑，第9-18页。IEEE，2017年。 [5] Etienne Andr´e、Didier Lime和Nicolas Markey。参数时间自动机中的语言保存问题。《计算机科学中的逻辑方法》，2020年1月16日·Zbl 1429.68098号 [6] 艾蒂安·安德烈（Etienne Andr´ée）、迪迪埃·莱姆（Didier Lime）和奥利维埃·鲁克斯（Olivier H.Roux）。参数时间自动机的决策问题。ICFEM编辑Mark Lawford和Shaoying Liu Kazuhiro Ogata，计算机科学讲义第10009卷，第400-416页。斯普林格，2016年。 [7] 艾蒂安·安德烈、迪迪埃·利姆和马蒂亚斯·拉普拉森。带参数更新的定时自动机。加布里埃尔·朱亚斯（Gabriel Juh´as）、托马斯·查泰恩（Thomas Chatain）和拉杜·格罗苏（Radu Grosu），ACSD编辑，第21-29页。IEEE，2018年。 [8] Etienne Andr´e、Didier Lime和Mathias Ramparison。参数时间自动机中的参数更新。Jorge A.P´erez和Nobuko Yoshida，FORTE编辑，讲座第11535卷·Zbl 1514.68114号 [9] 艾蒂安·安德烈。参数时间自动机的决定因素是什么？国际技术转让软件工具杂志，21（2）：203-2192019年4月。 [10] 尼古拉·贝内斯（Nikola Beneás）、彼得·贝泽克（Peter Bezdáek）、金·古尔斯特兰·拉森（Kim Gulstrand Larsen）和吉尔·昂·斯尔巴（Ji r´ndon Srba）。连续时间参数时间自动机的语言空虚性。在Magn´us M.Hall´orsson、Kazuo Iwama、Naoki Kobayashi和Bettina Speckmann，ICALP编辑，第二部分，第9135卷 [11] 托马斯·布里海耶（Thomas Brihaye）、维罗妮克·布鲁尔（V´eronique Bruy'ere）和珍妮·弗兰科伊斯·拉斯金（Jean-Franöcois Raskin）。关于带秒表观测器的模型检查时间自动机。信息计算。，204(3):408-433, 2006. ·Zbl 1094.68055号 [12] Patricia Bouyer、Catherine Dufourd、Emmanuel Fleury和Antoine Petit。可更新的定时自动机。理论计算机科学，321（2-3）：291-3452004·Zbl 1070.68063号 [13] 劳拉·博泽利（Laura Bozzelli）和萨尔瓦多·拉托雷（Salvatore La Torre）。参数时间自动机的下界/上界决策问题。系统设计中的形式方法，35（2）：121-1512009·Zbl 1186.68245号 [14] Damien Busatto Gaston、Benjamin Monmege、Pierre Alain Reynier和Ocan Sankur。定时b¨uchi自动机中的鲁棒控制器综合：符号方法。伊西尔·迪利格和塞尔达尔·Zbl 1486.68092号 [15] 丹尼尔·本达拉（Daniel Bundala）和乔·瓦克宁（Jo¨el Ouaknine）。参数化实时推理的进展。在Erzs’ebet Csuhaj-Varj’u、Martin Dietzfelbinger和Zolt’an’Esik，MFCS编辑，第一部分，第8634卷·Zbl 1426.68140号 [16] 约翰·本特森和王毅。时间自动机：语义、算法和工具。在J¨org Desel、Wolfgang Reisig和Grzegorz Rozenberg，编辑，《并发与Petri讲座》·Zbl 1088.68119号 [17] 弗兰克·卡塞兹和金·古德斯特兰·拉森。秒表令人印象深刻的力量。CONCUR编辑Catuscia Palamidessi，《计算机科学讲义》第1877卷，第138-152页。斯普林格，2000年·Zbl 0999.68112号 [18] 大卫·L·迪尔。有限状态并发系统的时序假设和验证。Joseph Sifakis主编，《有限状态系统的自动验证方法1989》，第407卷 [19] 劳伦特·多恩。时间自动机的鲁棒参数可达性。信息处理快报，102（5）：208-2132007·Zbl 1184.68337号 [20] 托马斯·汉津格（Thomas A.Henzinger）、彼得·科普克（Peter W.Kopke）、阿努杰·普里（Anuj Puri）和普拉文·瓦莱亚（Pravin Varaiya）。混合自动机的决定因素是什么？计算机与系统科学杂志，57（1）：94-1241998·Zbl 0920.68091号 [21] 托马斯·胡恩（Thomas Hune）、朱迪·罗米恩（Judi Romijn）、玛丽·斯托琳加（Mari¨elle Stoelinga）和弗里茨·W·瓦德拉格（Frits W.Vaandrager）。时间自动机的线性参数模型检验。逻辑与代数编程杂志，52-53:183-220·Zbl 1008.68069号 [22] Aleksandra Jovanovic、Didier Lime和Olivier H.Roux。实时系统的整数参数综合。IEEE软件工程学报，41（5）：445-4612015。 [23] 纳伦德拉·卡尔马尔卡。线性规划的一种新的多项式时间算法。组合数学，4（4）：373-3961984·Zbl 0557.90065号 [24] 约瑟夫·米勒（Joseph S.Miller）。时间自动机和半线性混合自动机的可判定性和复杂性结果。在南希·A·林奇（Nancy A.Lynch）和布鲁斯·H·克罗格（Bruce H.Krogh），HSCC编辑，演讲笔记第1790卷·Zbl 0992.93050号 [25] 卡琳·夸斯（Karin Quaas）、马哈萨·西莫哈迈迪（Mahsa Shirmohammadi）和詹姆斯·沃雷尔（James Worrell）。重新审视时间自动机中的可达性。InLICS，第1-12页。IEEE计算机学会，2017年·Zbl 1457.68147号 [26] 卡林·夸斯。单时钟参数时间自动机的MTL模型检验是不可判定的。Etienne Andr´ée和Goran Frehse，SynCoP编辑，EPTCS第145卷，第5-17页，2014年·Zbl 1467.68093号 [27] 奥坎·桑库尔。时间自动机的符号定量鲁棒性分析。在《计算机科学讲义》第9035卷的TACAS编辑Christel Baier和Cesare Tinelli中，第页·Zbl 1420.68111号 [28] 沃尔特·萨维奇。非确定性和确定性磁带复杂性之间的关系。计算机与系统科学杂志，4（2）：177-1921970·Zbl 0188.33502号 [29] Ocan Sankur、Patricia Bouyer和Nicolas Markey。缩小时间自动机。《信息与计算》，234:107-1321014·Zbl 1285.68090号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。