×
A.卡萨格兰德。;德罗西，T。;J·法布里科娃。;C.广场。

\（epsilon）-生物系统的语义计算。 （英文） 兹比尔1312.68127

Inf.计算。 236, 35-51 (2014).
概要：能够进行无限精度测量的假设不仅导致不可判定性，而且还引入了数学模型中的伪影，这些伪影与研究中系统的可观察行为不相符。当涉及有界空间区域时，如果在数学设置中无法定义任意小的点集，则可以避免此类问题\（epsilon）-语义就是在这种精神下引入的。在本文中，我们在混合自动机可达性分析的背景下，更深入地研究了（epsillon）-语义的使用。特别是，我们关注两个（epsilon）语义和关于其可计算性的原因。然后，我们尝试我们的生物模型分析方法，以证明该方法的有效性。

引用于2文件

MSC公司：

68问题55 计算理论中的语义学
65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
92立方厘米 系统生物学、网络

关键词：

混合系统;\（\epsilon\）-语义;可达性问题

软件：

重新记录;杂交分析;pyHybrid分析;SpaceEx公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Casagrande}等人，《信息计算》。23635--51（2014；Zbl 1312.68127）
全文： 内政部

参考文献：

[1] Henzinger，T.A。；Kopke，P.W。；Puri，A。；Varaiya，P.，混合自动机的决定因素是什么？，（美国计算机学会计算机理论研讨会论文集（STOCS’95）（1995）），373-382·Zbl 0978.68534号
[2] Frehse，G。；勒格尼，C。；唐泽，A。；棉花，S。；雷·R。；O.勒贝特尔。；Ripado，R。；Girard，A。；Dang，T。；Maler，O.，SpaceEx:混合系统的可扩展验证，（第23届计算机辅助验证国际会议（CAV 2011）的会议记录）。程序。第23届国际计算机辅助验证会议（CAV 2011），Lect。注释计算。科学。，第6806卷（2011），施普林格），379-395
[3] Platzer，A.，《混合系统的逻辑分析-复杂动力学的证明定理》（2010），Springer·兹比尔1211.68412
[4] 桑卡拉纳拉亚南，S。；Dang，T。；Ivančić，F.，使用模板多面体对混合系统进行符号模型检查，（第14届系统构建和分析工具和算法会议论文集（TACAS 08）。程序。第14届系统构建和分析工具和算法会议（TACAS 08），Lect。注释计算。科学。，第4963卷（2008），施普林格），188-202·Zbl 1134.68419号
[5] 卡萨格拉德，A。；C.广场。；Policriti，A.，《混合自动机的离散语义》。避免系统生物学中的误导性假设，离散事件动力学。系统。，19471-493（2009年）·Zbl 1180.93071号
[6] Collins，G.E.，通过柱代数分解实现实闭域初等理论的量词消除，（第二届GI自动机理论和形式语言会议论文集，第二届GIS自动机理论与形式语言会议文献集，Lect.Notes Compute.Sci.，第33卷（1975），Springer），134-183·Zbl 0318.02051号
[7] Enderton，H.B.，《逻辑数学导论》（2001），哈考特/学术出版社·Zbl 0992.03001号
[8] Mendelson，E.，《数学逻辑导论》（1997），CRC出版社·Zbl 0915.03002号
[9] Mendelson，B.，《拓扑学导论》，多佛图书数学。(1990) ·Zbl 0114.13802号
[10] 拉弗里尔，G。；帕帕斯，G.J。；Yovine，S.，线性向量场族的符号可达性计算，J.Symb。计算。，32, 3, 231-253 (2001) ·Zbl 0983.93004号
[11] 拉弗里尔，G。；帕帕斯，G.J。；Sastry，S.，O-最小混合系统，数学。控制信号系统。，13, 1-21 (2000) ·Zbl 1059.68073号
[12] 卡萨格兰德，A。；C.广场。；Policriti，A。；Mishra，B.，包含动力学混合自动机，Inf.Compute。，206121394-1424（2008年）·Zbl 1153.68400号
[13] Fránzle，M.，《混合系统分析：一盎司的现实主义可以拯救无限状态》（Flum，J.；Rodríguez-Artalejo，M.），《计算机、科学和逻辑》（CSL 99）。计算机、科学与逻辑（CSL 99），Lect。注释计算。科学。，第1683卷（1999），施普林格），126-140·Zbl 0944.68119号
[14] 卡萨格兰德，A。；Dreossi，T。；Piazza，C.，《混合自动机和神经振荡器分析》（Hybrid automata and \（ϵ）-analysis on a neural振荡器），（第一届混合系统与生物学国际研讨会论文集（HSB 2012）。程序。第一届杂交系统与生物学国际研讨会（HSB 2012），EPTCS，第92卷（2012）），58-72
[15] 弗里曼，W.J。；Skarda，C.A.，《空间EEG模式、非线性动力学和感知：新谢林顿观点》，《大脑研究》，357，3，147-175（1985）
[16] 特劳布·R·D。；Miles，R.，《海马神经网络》（1991），剑桥大学出版社：剑桥大学出版社，纽约州纽约市，美国
[17] 斯特里亚德，M。；Llinás，R.R.，《丘脑的功能状态及其相关的神经元相互作用》，《生理学》。修订版，68、3、649-742（1988）
[18] Silva，L.R。；阿米泰，Y。；Connors，B.W.，第5层锥体神经元产生的新皮层固有振荡，科学，251，4992，432-435（1991）
[19] 格雷，C.M。；科尼格，P。；恩格尔，A.K。；Singer，W.，猫视觉皮层的振荡反应表现出列间同步，反映了全球刺激特性，《自然》，338621334-337（1989）
[20] Tonnelier，A。；Meignen，S。；博世，H。；Demongeot，J.，神经振荡器的同步和去同步，神经网络。，12, 9, 1213-1228 (1999)
[21] Atiya，A.F。；Baldi，P.，《神经网络中的振荡和同步：标记假说的探索》，《国际神经系统杂志》。，1, 2, 103-124 (1989)
[22] 卡萨格兰德，A。；Dreossi，T.，：混合系统的语义分析软件包，（第16届欧洲微机数字系统设计会议论文集（DSD 2013）（2013），IEEE计算机社会出版社），815-818
[23] Dolzmann，A。；Sturm，T.，REDLOG:计算机代数与计算机逻辑，SIGSAM Bull。，31, 2, 2-9 (1997)
[24] Furler，S.M。；Kraegen，E.W。；Smallwood，R.H。；Chisholm，D.J.，《通过基础模式下的间歇性闭环控制血糖：糖尿病模型的计算机模拟研究》，糖尿病护理，8，6533-561（1985）
[25] Ratschan，S.，《非线性混合系统的安全验证是准中定的》，（第七届计算模型理论与应用年会（TAMC 2010）。程序。第七届计算模型理论与应用年会（TAMC 2010），Lect。注释计算。科学。，第6108卷（2010），施普林格），397-408·Zbl 1284.68415号
[26] Girard，A。；Pappas，G.J.，离散和连续系统的近似度量，IEEE Trans。自动。控制，52，5，782-798（2007）·Zbl 1366.93032号
[27] 卡萨格兰德，A。；Piazza，C.，混合自动机的模型检查，（第15届欧洲微型数字系统设计会议论文集（DSD 2012）（2012），IEEE计算机学会出版社），493-500
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。