×
鲍尔，K。;Gentilini，R。;施耐德，K。

混合自动机上的近似可达性：伪造符合认证要求。 （英语） Zbl 1337.68151号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22347-60（2008）。
摘要：可达性问题的不确定性在混合自动机中是普遍存在的。目前的近似可达性分析技术大多基于有界可达性或仿真预序的概念，迫使人们在欠近似和过近似之间进行选择。{}本文介绍了一种新的混合自动机可达性分析方法，该方法具有以下特点：（1）能够将可达性属性的证明和证伪结合起来；（2）适用于动态不符合精确表示的高表达混合自动机族。
关于整个系列，请参见[Zbl 1279.68014号].

MSC公司：

第68季度第45季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
93个B03 可达集，可达性

关键词：

混成自动机;可达性分析;抽象重定义

软件：

RSOLVER公司;H溶剂
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}等人，《电子》。注释Theor。计算。科学。223、47-60（2008年；Zbl 1337.68151）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Henzinger，T.A.，实时系统中计算累积延迟，系统设计中的形式化方法，11，137-156（1997）
[2] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，理论计算机科学，126183-235（1994）·Zbl 0803.68071号
[3] R.Alur和T.A.Henzinger和P.Ho，“嵌入式系统的自动符号验证”，IEEE实时系统研讨会，1993年，第2-11页；R.Alur和T.A.Henzinger和P.Ho，“嵌入式系统的自动符号验证”，IEEE实时系统研讨会，1993年，第2-11页
[4] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；拉弗里尔，G。；Pappas，G.J.，混合系统的离散抽象，IEEE学报，88，971-984（2000）
[5] Brihaye，T。；米肖，C。；Rivier，C。；Troestler，C.，关于O-最小混合系统，（混合系统：计算与控制。混合系统：计算机与控制，HSCC。混合系统∶计算与控制，混合系统：控制与计算，HSCC，LNCS，2993（2004））·Zbl 1135.93353号
[6] Fränzle，M.，多项式混合自动机的最终结果是什么？，（第四届计算机软件理论方面国际研讨会论文集。第四届国际计算机软件理论问题研讨会论文集，LNCS，2215（2001）），340-359·Zbl 1087.68571号
[7] R.Gentilini、K.Schneider和B.Mishra，“单调CTL模型检查的混合自动机的连续抽象”，计算机科学的逻辑基础，国际研讨会，LFCS 2007，LNCS4514; R.Gentilini、K.Schneider和B.Mishra，“单调CTL模型检查的混合自动机的连续抽象”，计算机科学的逻辑基础，国际研讨会，LFCS 2007，LNCS4514·Zbl 1132.68446号
[8] Ghosh，R。；Tiwari，A。；Tomlin，C.，《自动符号可达性分析及其在Delta-Notch信令自动机中的应用》，（混合系统：计算与控制。混合系统：计算机与控制，HSCC。混合系统，计算与控制，混合系统：运算与控制，HSCC，LNCS，2623（2003））·Zbl 1032.92500号
[9] 戈什，R。；Tomlin，C.J.，通过Delta-Notch信号的侧向抑制：分段仿射混合模型，（LNCS，2034（2001）），232-245·Zbl 0997.92010号
[10] Henzinger，T.A.，《混合自动机理论》（第11届IEEE计算机科学逻辑研讨会论文集（1996），IEEE计算机学会），278-292·Zbl 0959.68073号
[11] Henzinger，M.R。；Henzinger，T.A。；Kopke，P.W.，有限图和无限图的计算模拟，（第36届计算机科学基础年会论文集（1995），IEEE），453-462·Zbl 0938.68538号
[12] Henzinger，T.A。；Kopke，P.W。；普里，A。；Varaiya，P.，混合自动机的决定因素是什么？，（第27届计算理论研讨会论文集（1995），ACM出版社），373-382·Zbl 0978.68534号
[13] Kannellakis，P.C。；Smolka，S.A.，CCS表达式，有限状态过程，以及等价、信息和计算的三个问题，86，43-68（1990）·Zbl 0705.68063号
[14] Kleene，S.C.，《元数学导论》（1971），沃尔特斯·努尔霍夫·Zbl 0875.0302号
[15] G.Lafferiere、J.G.Pappas和S.Yovine“一类新的可判定混合系统”，第二届混合系统国际研讨会论文集，LNCS，1999年，第137-151页；G.Lafferiere、J.G.Pappas和S.Yovine“一类新的可判定混合系统”，第二届混合系统国际研讨会论文集，LNCS，1999年，第137-151页·Zbl 0926.93036号
[16] 拉弗里尔，G。；帕帕斯，G。；Sastry，S.，O-最小混合系统，（控制、信号和系统数学（2000），Springer-Verlag），1-21，13·Zbl 1059.68073号
[17] J.S.Miller，“时间自动机和半线性混合自动机的可判定性和复杂性结果”，《第三届混合系统国际研讨会论文集》，LNCS，2000年，第296-309页；J.S.Miller，“时间自动机和半线性混合自动机的决定性和复杂性结果”，《第三届混合系统国际研讨会论文集》，LNCS，2000年，第296-309页·Zbl 0992.93050号
[18] 佩奇，R。；Tarjan，R.E.，《三分区优化算法》，SIAM计算杂志，16，973-989（1987）·Zbl 0654.68072号
[19] C.Piazza、M.Antoniotti、V.Mysore、A.Policiti、F.Winkler和B.Mishra，“算法代数模型检查I：来自系统生物学的挑战”。第17届计算机辅助验证国际会议论文集，LNCS，3576; C.Piazza、M.Antoniotti、V.Mysore、A.Policriti、F.Winkler和B.Mishra，“算法代数模型检查I：来自系统生物学的挑战”，第17届计算机辅助验证国际会议论文集，LNCS，3576·Zbl 1081.68056号
[20] S.Ratschan和Z.She。“通过基于约束传播的抽象精化对混合系统进行安全验证”，第八届混合系统国际研讨会论文集：计算与控制，LNCS3414; S.Ratschan和Z.She。“通过基于约束传播的抽象精化对混合系统进行安全验证”，第八届混合系统国际研讨会论文集：计算与控制，LNCS3414·Zbl 1078.93508号
[21] Tiwari，A。；Khanna，G.，《混合自动化抽象系列》，（第五届混合系统国际研讨会论文集。第五届国际混合系统研讨会论文集，LNCS（2002）），465-478·Zbl 1044.93523号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。