卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 通过可达性分析保证近似模型抽象的误差界。 （英语） Zbl 07703951号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 104-121 (2018). 摘要：众所周知，动力学系统模型抽象和简化的精确概念在实践中可能不够稳健，因为它们对特定参数的选择非常敏感。本文研究具有多项式导数的非线性常微分方程（ODE）的这一问题。我们引入近似微分等价，作为最近开发的精确等价物的一种更为宽松的变体，允许ODE变量相关，即使它们由附近的导数控制。我们开发了算法来（i）计算最大近似微分等价；（ii）通过适当的参数摄动，从原始模型构造近似商模型；以及（iii）提供一个关于作为误差界的近似质量的正式证明，该误差界是作为扰动模型的可达集的超近似计算的。最后，我们应用近似微分等价来研究对称电路模型中参数容差的影响。关于整个系列，请参见[Zbl 1398.68036号]. 引用于6文件 MSC公司： 65磅 常微分方程的数值方法 94C05（二氧化碳） 解析电路理论 软件：阿里阿德涅;CORA公司;伦敦商学院;流量* PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。11024，104-121（2018；Zbl 07703951） 全文： 内政部 arXiv公司 链接 参考文献： [1] Abate，A.，Brim，L.，采斯卡，M.，Kwiatkowska，M.：马尔可夫链的自适应聚合：化学反应网络的定量分析。收录人：Kroening，D.，Psreanu，C.s.（eds.）CAV 2015。LNCS，第9206卷，第195-213页。施普林格，查姆（2015）。https://doi.org/10.1007/978-3-319-21690-4_12 ·Zbl 1381.68140号 ·数字对象标识代码：10.1007/978-3-319-21690-4_12 [2] Althoff，M.：使用保守多项式和非凸集对非线性系统进行可达性分析。收录于：HSCC，第173-182页（2013年）·Zbl 1362.93011号 [3] Althoff，M.：CORA 2015简介。在：连续和混合系统应用验证研讨会论文集（2015） [4] Arand，J.：通过DNA甲基转移酶在体内控制CpG和非CpG DNA甲基化。公共科学图书馆-遗传学。8（6），e1002750（2012）·doi:10.1371/journal.pgen.1002750 [5] Asarin，E.，Dang，T.，Girard，A.：使用保守近似的非线性系统可达性分析。收录人：Maler，O.，Pnueli，A.（编辑）HSCC 2003。LNCS，第2623卷，第20-35页。斯普林格，海德堡（2003）。https://doi.org/10.1007/3-540-36580-X_5 ·Zbl 1032.93034号 ·doi:10.1007/3-540-36580-X_5 [6] Benvenuti，L.等人：带Ariadne的混合系统的可达性计算。摘自：第17届国际会计师联合会世界大会会议记录，第41卷，第2期，第8960-8965页（2008年） [7] Bogomolov，S.、Frehse，G.、Grosu，R.、Ladan，H.、Podelski，A.、Wehrle，M.：用于指导SpaceEx可达性分析的区域间基于盒子的距离。收录：Madhusudan，P.，Seshia，S.A.（编辑）CAV 2012。LNCS，第7358卷，第479-494页。施普林格，海德堡（2012）。https://doi.org/10.1007/978-3642-31424-7_35 ·doi:10.1007/978-3-642-31424-7_35 [8] Boreale，M.：代数、余代数和多项式微分方程中的最小化。收录：Esparza，J.，Murawski，A.S.（编辑）FoSSaCS 2017。LNCS，第10203卷，第71-87页。施普林格，海德堡（2017）。https://doi.org/10.1007/978-3-662-54458-7_5 ·Zbl 1486.68109号 ·doi:10.1007/978-3-662-54458-75 [9] van Breugel，F.，Worrell，J.：概率转移系统的定量验证。收录人：Orejas，F.、Spirakis，P.G.、van Leeuwen，J.（编辑）ICALP 2001。LNCS，第2076卷，第421-432页。斯普林格，海德堡（2001）。https://doi.org/10.1007/3-540-48224-5_35 ·Zbl 0986.68093号 ·doi:10.1007/3-540-48224-5_35 [10] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：多项式动力系统的最大聚集。程序。国家。阿卡德。科学。114（38），10029-10034（2017）·doi:10.1073/pnas.1702697114 [11] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：微分等价的符号计算。输入：POPL（2016） [12] Chen，X.，Al brahám，E.，Sankaranarayanan，S.：流量*：非线性混合系统分析仪。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第258-263页。斯普林格，海德堡（2013）。https://doi.org/10.1007/978-3-642-39799-8_18 ·doi:10.1007/978-3-642-39799-8_18 [13] Danos，V.，Laneve，C.：正式分子生物学。理论。计算。科学。325(1), 69-110 (2004) ·Zbl 1071.68041号 ·doi:10.1016/j.tcs.2004.03.065 [14] Donzé，A.，Maler，O.：使用敏感性分析进行系统模拟。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。LNCS，第4416卷，第174-189页。斯普林格，海德堡（2007）。https://doi.org/10.1007/978-3-540-71493-4_16 ·Zbl 1221.93105号 ·doi:10.1007/978-3-540-71493-4_16 [15] Duggirala，P.S.、Mitra，S.、Viswanathan，M.：验证执行中的注释模型。摘自：EMSOFT，第26:1-26:10页。IEEE出版社（2013） [16] Weinan，E.，Li，T.，Vanden-Eijnden，E.：复杂网络的最优划分和有效动力学。PNAS 105（23），7907-7912（2008）·Zbl 1205.68031号 ·doi:10.1073/pnas.0707563105 [17] Fan，C.，Qi，B.，Mitra，S.，Viswanathan，M.，Duggirala，P.S.：C2E2非线性混合模型的自动可达性分析。收录：Chaudhuri，S.，Farzan，A.（编辑）CAV 2016。LNCS，第9779卷，第531-538页。查姆施普林格（2016）。https://doi.org/10.1007/978-3-319-41528-4_29 ·doi:10.1007/978-3-319-41528-429 [18] Girard，A.，Pappas，G.：非线性动力系统的近似互模拟。In:IEEE决策与控制会议和欧洲控制会议（2005） [19] Iacobelli，G.，Tribastone，M.：具有异质介质类型的流体模型的集总性。收件人：DSN（2013） [20] Islam，M.A.等人：使用近似互模拟对离子通道动力学进行模型降阶。西奥。计算。科学。599, 34-46 (2015) ·Zbl 1337.92061号 ·doi:10.1016/j.tcs.2014年3月18日 [21] Iwasa，Y.，Levin，S.A.，Andreasen，V.：模型生态系统中的聚集II。近似聚合。数学。医学生物学。6(1), 1-23 (1989) ·Zbl 0659.92023号 ·doi:10.1093/imammb/6.1.1-a [22] Kozlov，M.，Tarasov，S.，Khachiyan，L.：凸二次规划的多项式可解性。苏联计算。数学。数学。物理学。20（5），223-228（1980）·Zbl 0486.90068号 ·doi:10.1016/0041-5553（80）90098-1 [23] Kuo，J.C.W.，Wei，J.：单分子反应体系中的聚集分析。近似集总系统分析。工业工程化学。基金。8(1), 124-133 (1969) ·doi:10.1021/i160029a020 [24] Lal，R.，Prabhakar，P.：参数化线性系统的有界误差流管计算。收录于：EMSOFT，第237-246页（2015年） [25] Larsen，K.G.，Skou，A.：通过概率测试的相互模拟。Inf.计算。94(1), 1-28 (1991) ·Zbl 0756.68035号 ·doi:10.1016/0890-5401（91）90030-6 [26] Li，G.，Rabitz，H.：化学动力学中近似集总的一般分析。化学。工程科学。45(4), 977-1002 (1990) ·doi:10.1016/0009-2509（90）85020-E [27] Majumdar，R.，Zamani，M.：数字控制系统的近似双相似符号模型。收录：Madhusudan，P.，Seshia，S.A.（编辑）CAV 2012。LNCS，第7358卷，第362-377页。施普林格，海德堡（2012）。https://doi.org/10.1007/978-3642-31424-7_28 ·doi:10.1007/978-3642-31424-7_28 [28] Fränzle，M.，Herde，C.，Teige，T.，Ratschan，S.，Schubert，T.：高效求解具有复杂布尔结构的大型非线性算术约束系统。J.可满足布尔模型。计算。1, 209-236 (2007) ·兹比尔1144.68371 [29] Pardalos，P.M.，Vavasis，S.A.：具有一个负特征值的二次规划是NP-hard。J.全球优化。1(1), 15-22 (1991) ·Zbl 0755.90065号 ·doi:10.1007/BF00120662 [30] Pedersen，M.，Plotkin，G.D.：生物化学系统的语言：设计和形式规范。收录：Priami，C.，Breitling，R.，Gilbert，D.，Heiner，M.，Uhrmacher，A.M.（编辑）计算系统生物学汇刊十二。LNCS，第5945卷，第77-145页。施普林格，海德堡（2010）。https://doi.org/10.1007/978-3-642-11712-1_3。IEEE/ACM标准·Zbl 1275.92020年 ·doi:10.1007/978-3-642-11712-13 [31] Rosenfeld，J.，Friedman，E.G.：全球共振H树时钟分布网络的设计方法。IEEE传输。超大规模集成电路系统。15（2），135-148（2007）·doi:10.1109/TVLSI.2007.893576 [32] Nedialkov，N.S.：通过识字编程实现严格的ODE解算器。在：Rauh，A.，Auer，E.（编辑）不确定系统的建模、设计和仿真。数学工程，第3卷，第3-19页。斯普林格，海德堡（2011）。https://doi.org/10.1007/978-3-642-15956-5_1 ·doi:10.1007/978-3-642-15956-5_1 [33] Tschaikowski，M.，Tribastone，M.：处理马尔科夫过程代数中的连续状态空间爆炸。西奥。计算。科学。517, 1-33 (2014) ·Zbl 1358.68219号 ·doi:10.1016/j.tcs.2013.08.016 [34] Tschaikowski，M.，Tribastone，M.：具有微分壳的非均匀非线性模型的近似简化。In:IEEE TAC（2016） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。