埃蒂安·安德烈;莱姆，迪迪埃;尼古拉斯·马基 参数时间自动机中的语言保存问题。 （英语） Zbl 1429.68098号 日志。方法计算。科学。 16，第1号，第5号论文，31页（2020年）. 摘要：参数时间自动机（PTA）是一种强大的形式主义，用于对具有未知时间延迟的并发系统进行建模和推理。在本文中，我们解决了（未命名的）语言和跟踪保留问题：给定一个参考参数估值，是否存在另一个具有相同无计时语言或相同轨迹集的参数估值？我们证明了这些问题对于一般的PTA和L/U-PTA的限制类都是不可判定的，甚至对于整值参数，或者对于有界时间。另一方面，我们展示了可判定的子类：1-时钟PTA，以及1-参数确定性L-PTA和U-PTA。我们还考虑了这些问题的稳健版本，其中我们还要求保留参考估值和新估值之间的所有估值的语言。 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：定时系统;定时参数;语言保存;微量保存;L/U-PTA 软件：模仿者 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。16，第1号，第5号论文，31页（2020年；Zbl 1429.68098） 全文： arXiv公司 参考文献： [1] Etienne Andr´ée、Thomas Chatain、Emmanuelle Encrenaz和Laurent Fribourg。参数时间自动机的逆方法。国际计算机科学基础期刊，20（5）：819-8362009年10月·Zbl 1187.68286号 [2] Rajeev Alur和David L.Dill。用于实时系统建模的自动机。迈克·帕特森（Mike Paterson）主编，《第17届国际自动化、语言与专业学术讨论会论文集》（Proceedings of the 17th International Collocium on Automata，Languages and Pro）·Zbl 0765.68150号 [3] Rajeev Alur和David L.Dill。时间自动机理论。理论计算机科学，126（2）：183-2351994年4月·Zbl 0803.68071号 [4] 艾蒂安·安德烈（Etienne Andr´´e）、劳伦特·弗里堡（Laurent Fribourg）、乌尔里奇·库恩（Ulrich K¨uhne）和罗曼·苏拉特（Romain Soulat）。IMITATOR 2.5：用于分析调度问题的稳健性的工具。Dimitra Giannakopoulou和Dominique M´ery，编辑，《第18届形式方法国际研讨会论文集》（FM 2012），计算机科学讲稿第7436卷，第33-36页。施普林格，2012年8月。 [5] S.Akshay、Loéc H´elou¨et、Claude Jard和Pierre-Alain Reynier。守卫扩张下时间Petri网的鲁棒性。阿兰·芬克尔（Alain Finkel）、杰尔·欧米·勒鲁克斯（J´erˆome Leroux）和伊戈尔·波塔波夫（Igor Potapov），编辑·Zbl 1355.68187号 [6] Rajeev Alur、Thomas A.Henzinger和Moshe Y.Vardi。参数化实时推理。在S.Rao Kosaraju、David S.Johnson和Alok Aggarwal，编辑，《第二十五届会议论文集》·Zbl 1310.68139号 [7] 艾蒂安·安德烈和迪迪埃·莱姆。L/U参数时间自动机的活性。编辑Alex Legay和Klaus Schneider，第17届国际应用会议记录 [8] 艾蒂安·安德烈和林尚伟。基于学习的事件记录自动机成分参数合成。Ahmed Bouajjani和Silva Alexandra，编辑·Zbl 1489.68136号 [9] 艾蒂安·安德烈和林尚伟。参数事件记录自动机的语言保存问题是不可判定的。《信息处理快报》，136:17-202018年8月·Zbl 1457.68137号 [10] 艾蒂安·安德烈（Etienne Andr´ée）、迪迪埃·莱姆（Didier Lime）和奥利维埃·鲁克斯（Olivier H.Roux）。参数时间自动机的决策问题。在绪方和弘（Kazuhiro Ogata）、马克·劳福德（Mark Lawford）和刘少英（Shaoying Liu）编辑的《·Zbl 1471.68111号 [11] 艾蒂安·安德烈、迪迪埃·利姆和马蒂亚斯·拉普拉森。TCTL模型检查无不变量的上下界参数时间自动机。David N.Jansen和Pavithra Prabhakar，编辑，《第16届国际形式建模与·Zbl 1514.68114号 [12] 艾蒂安·安德烈和尼古拉·马基。参数时间自动机中的语言保存问题。在Sriram Sankaranarayanan和Enrico Vicario，编辑，《第13届会议记录》·Zbl 1465.68129号 [13] 艾蒂安·安德烈。参数时间自动机的决定因素是什么？斯普林格，2019年。出现。 [14] 尼古拉·贝内斯（Nikola Beneás）、彼得·贝泽克（Peter Bezdáek）、金·古尔斯特兰·拉森（Kim Gulstrand Larsen）和吉尔·昂·斯尔巴（Ji r´ndon Srba）。连续时间参数时间自动机的语言空虚性。第42届国际学术讨论会论文集编辑Magn´us M.Halld´orsson、Kazuo Iwama、Naoki Kobayashi和Bettina Speckmann [15] 劳拉·博泽利（Laura Bozzelli）和萨尔瓦多·拉托雷（Salvatore La Torre）。上下界参数时间自动机的决策问题。系统设计中的形式方法，35（2）：121-1512009·Zbl 1186.68245号 [16] 丹尼尔·本达拉（Daniel Bundala）和乔·瓦克宁（Jo¨el Ouaknine）。参数化实时推理的进展。在Erzs’ebet Csuhaj-Varj’u、Martin Dietzfelbinger和Zolt’an’Esik，编辑，《第39届国际会议论文集》·Zbl 1426.68140号 [17] 约翰·本特森和王毅。时间自动机：语义、算法和工具。编辑J¨org Desel、Wolfgang Reisig和Grzegorz Rozenberg，《并发与Petri讲座》·Zbl 1088.68119号 [18] 劳伦特·多恩。时间自动机的鲁棒参数可达性。信息处理快报，102（5）：208-2132007·Zbl 1184.68337号 [19] 马丁·德·沃尔夫（Martin De Wulf）、劳伦特·多恩（Laurent Doyen）、尼古拉斯·马基（Nicolas Markey）和珍妮·弗兰·科伊斯·拉斯金（Jean-Franωcois Raskin）。时间自动机的鲁棒安全性。系统设计中的形式化方法，33（1-3）：45-842008·Zbl 1165.68392号 [20] 托马斯·胡恩（Thomas Hune）、朱迪·罗米恩（Judi Romijn）、玛丽·斯托琳加（Mari¨elle Stoelinga）和弗里茨·W·瓦德拉格（Frits W.Vaandrager）。时间自动机的线性参数模型检验。逻辑与代数编程杂志，52-53:183-222002·Zbl 1008.68069号 [21] Aleksandra Jovanovic、Didier Lime和Olivier H.Roux。时间自动机的整数参数综合。IEEE软件工程学报，41（5）：445-4612015·Zbl 1381.68121号 [22] Aleksandra Jovanovi’c。定时系统的参数验证。博士论文，南特中央学院，2013年。 [23] 约瑟夫·米勒（Joseph S.Miller）。时间自动机和半线性混合自动机的可判定性和复杂性结果。收录于《第三届会议录》编辑南希·A·林奇和布鲁斯·H·克罗·Zbl 0992.93050号 [24] 马文·L·明斯基。计算：有限和无限机器。普伦蒂斯·霍尔公司，1967年·Zbl 0195.02402号 [25] 奥坎·桑库尔。定时系统中的非定时语言保存。在第36届计算机科学数学基础国际研讨会（MFCS 2011）上·Zbl 1343.68148号 [26] 奥坎·桑库尔。时间自动机中的鲁棒性：分析，综合，实现。Th'ese de doctorat，Laboratoire Sp´ecification&V´erification，法国ENS Cachan，2013年。 [27] 沃尔特·萨维奇。非确定性和确定性磁带复杂性之间的关系。《计算机与系统科学杂志》，4（2）：177-1921970年4月·Zbl 0188.33502号 [28] Ocan Sankur、Patricia Bouyer和Nicolas Markey。缩小时间自动机。在Supratik Chakraborty和Amit Kumar，编辑，《软件技术和理论计算机科学基础第31次会议论文集》（FSTTCS 2011），莱布尼茨第13卷·Zbl 1246.68159号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。