×
何安平;吴金钊;杨世翰;谭红燕

混合自动机与泰勒理论的近似等价。 （英语） Zbl 1442.68093号

J.应用。数学。 2014年，文章ID 850789，5 p.（2014）.
摘要：混合自动机是一种形式化模型，用于精确描述计算过程与物理过程相互作用的混合系统。多项式混合自动机的可达性分析是可判定的，这使得泰勒一种混合自动机近似方法的适用性和价值。本文研究了混合自动机及其泰勒近似之间的模拟关系，以及近似等价关系。我们还证明了泰勒近似模拟了它的原始混合自动机，并且类似的混合自动机可以进行定量比较，例如，我们在本文中提出的近似等价。

MSC公司：

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{A.He}等人，J.Appl。数学。2014年，文章ID 850789，5 p.（2014；Zbl 1442.68093）
全文： 内政部
OA许可证

参考文献：

[1] 拉诺特，R。；混合系统的Tini，S.，Taylor近似，信息与计算，205，11，1575-1607（2007）·兹比尔1130.68071 ·doi:10.1016/j.ic.2007.05.004
[2] 阿卢尔，R。；库尔库贝蒂斯，C。；Halbwachs，N。；Henzinger，T.A。；Ho，P.-H。；尼克林，X。；奥利维罗，A。；Sifakis，J。；Yovine，S.，混合系统的算法分析，理论计算机科学，138，3-34（1995）·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[3] Henzinger，T.A。；Ho，P.-H。；Wong-toi，H.，非线性混合系统的算法分析，IEEE自动控制汇刊，43，4，540-554（1998）·Zbl 0918.93019号 ·数字对象标识代码：10.1109/9.664156
[4] Henzinger，T.A.，《混合自动机理论》，《技术报告》，UCB/ERL M96/28（1996），美国加州伯克利：美国加州大学伯克利分校EECS系
[5] Gentilini，R。；施耐德，K。；Mishra，B.，用于单调CTL模型检查的混合自动机的连续抽象，计算机科学逻辑基础国际研讨会论文集（LFCS’07）·Zbl 1132.68446号
[6] Podelski，A。；Wagner，S.，混合系统的模型检查：从可达性到稳定性，混合系统：计算和控制。混合系统：计算与控制，计算机科学讲义，3927507-521（2006），德国柏林：施普林格，德国柏林·Zbl 1178.93077号 ·doi:10.1007/11730637_38
[7] Henzinger，T.A。；Kopke，P.W。；Puri，A。；Varaiya，P.，混合自动机的决定因素是什么？，计算机与系统科学杂志，57，1，94-124（1998）·Zbl 0920.68091号
[8] 威廉姆斯，B.C。；Henry，M.M.，概率混合自动机的基于模型的估计[M.S.论文]（2002），美国华盛顿特区：美国华盛顿特区霍华德大学
[9] 布拉曼，J.M.B。；Murray，R.M.，传感器驱动混合自动机的概率安全分析，混合系统：计算和控制（2009）
[10] Edalat，A。；Pattinson，D.，《混合自动机的指称语义》，《软件科学和计算结构基础学报》（FoSSaCS’06）·Zbl 1168.68417号 ·doi:10.1007/11690634_16
[11] 阿卢尔，R。；Henzinger，T.A。；拉弗里尔，G。；Pappas，G.J.，《混合系统的离散抽象》，美国电气与电子工程师协会论文集，88，71971-984（2000）·doi:10.10109/5.871304
[12] Henzinger，T.A。；Majumdar，R.，矩形混合系统的符号模型检查，系统构建和分析的工具和算法程序（TACAS'00），Springer·Zbl 0960.68117号
[13] Bayen，A.M。；克鲁克，E。；Bayen，R.M。；Tomlin，C.J.，《连续系统和混合系统不安全集的保证过逼近：使用生存技术求解hamilton-jacobi方程》，混合系统：计算与控制，90-104（2002），美国纽约州纽约市：Springer，纽约州纽约·Zbl 1046.49026号
[14] Chutinan，A。；Krogh，B.H.，使用多边形流管近似验证多面体不变量混合自动机（1999），美国纽约州纽约市：Springer，，纽约州纽约州，美国·Zbl 0954.93020号
[15] Kurzhanski，A.B。；Varaiya，P.，《不确定性下的可达性》，SIAM控制与优化杂志，41，1，181-216（2002）·Zbl 1025.34061号 ·doi:10.1137/S0363012999361093
[16] Fränzle，M.，《混合系统分析：一盎司现实主义可以保存无限状态》，《计算机科学逻辑》。计算机科学逻辑，计算机科学讲义，1683，126-140（1999），德国柏林：施普林格，德国柏林·Zbl 0944.68119号 ·doi:10.1007/3-540-48168-0_10
[17] Fränzle，M.，多项式混合自动机的最终结果是什么？，计算机软件的理论方面。计算机软件的理论方面，计算机科学讲稿，2215，340-359（2001），德国柏林：施普林格，德国柏林·Zbl 1087.68571号 ·doi:10.1007/3-540-45500-0_17
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。