×
卢卡·卡德利;朱塞佩·斯奎拉克;特里巴斯通，米尔科;马克斯·柴科夫斯基;安德烈·范丁

通过近似等价实现多项式微分方程的形式集总。 （英语） Zbl 07723897号

J.日志。阿尔盖布。方法计划。 134，文章ID 100876，19 p.（2023）.
摘要：众所周知，动力学系统模型抽象和简化的精确概念在实践中可能不够稳健，因为它们对特定参数的选择非常敏感。本文研究具有多项式导数的非线性常微分方程（ODE）的这一问题。我们介绍了一种基于近似微分等价即，ODE变量集的一个分区，当变量由附近的导数控制时，该分区执行聚合。我们开发了算法来（i）计算最大近似微分等价；（ii）通过适当扰动多项式系数，从原始模型构造一个近似简化模型；以及（iii）提供一个关于近似质量的正式证书，作为误差界，作为简化模型的可达集的过度近似进行计算。最后，我们将近似微分等效应用于电路、生物模型和聚合反应网络的案例研究。

MSC公司：

68倍 计算机科学

关键词：

集块;模型简化;多项式微分方程;等价关系

软件：

珊瑚;NFsim公司;流量*
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，J.Log。阿尔盖布。方法程序。134，文章ID 100876，19 p.（2023；Zbl 07723897）
全文： 内政部

参考文献：

[1] Murray，J.D.，《数学生物学I：导论》（2002），斯普林格出版社·Zbl 1006.92001号
[2] 奥基诺，M.S。；Mavrovouniotis，M.L.，化学反应系统数学模型的简化。修订版，2，98，391-408（1998）
[3] 伊瓦萨，Y。；安德烈森，V。；Levin，S.，《模型生态系统中的聚集》。一、完美聚集，生态。型号。，37, 3-4, 287-302 (1987)
[4] 卡德利，L。；特里巴斯顿，M。；柴可夫斯基，M.，《从电路到化学网络》，《自然计算》。，19, 1, 237-248 (2020)
[5] 惠特比，M。；卡德利，L。；Kwiatkowska，M。；Laurenti，L。；特里巴斯顿，M。；Tschaikowski，M.，生化反应网络的PID控制，IEEE Trans。自动。控制，67，2，1023-1030（2022）·Zbl 07480846号
[6] Antoulas，A.，《大尺度动力系统近似》，《设计与控制进展》（2005），SIAM·Zbl 1112.93002号
[7] 斯诺登，T.J。；范德格拉夫，P.H。；Tindall，M.J.，《大规模生物系统的模型简化方法：当前方法和趋势的调查》，布尔。数学。生物学，79，7，1449-1486（2017）·Zbl 1372.92033号
[8] Aoki，M.，《通过聚合控制大规模动态系统》，IEEE Trans。自动。控制，13，3，246-253（1968）
[9] 普雷斯科特，T.P。；Papachristodoulou，A.，生化网络结构复杂性降低的保证误差界，J.Theor。生物学，304，172-182（2012）·Zbl 1397.92261号
[10] 魏杰。；Kuo，J.C.W.，单分子反应体系中的集总分析。精确集总系统分析，《工业与工程化学基础》，8，1，114-123（1969）
[11] 卡德利，L。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A.，微分等效的符号计算，（POPL（2016））·兹比尔1347.68258
[12] 佩奇，R。；Tarjan，R.，三分区优化算法，SIAM J.Compute。，16, 6, 973-989 (1987) ·Zbl 0654.68072号
[13] 卡德利，L。；Tribastone，M。；柴可夫斯基，M。；Vandin，A.，《微分方程的高效语法驱动集总》（系统构建和分析的工具和算法——第21届国际会议，TACAS（2016））·Zbl 1420.68241号
[14] 卡德利，L。；特里巴斯通，M。；柴可夫斯基，M。；Vandin，A.，多项式动力系统的最大聚集，Proc。国家。阿卡德。科学。，114, 38, 10029-10034 (2017)
[15] 卡德利，L。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A.，微分等价的符号计算，Theor。计算。科学。，777, 132-154 (2019) ·Zbl 1425.68463号
[16] 柴可夫斯基，M。；Tribastone，M.，马尔科夫过程代数的精确流体集总性，（CONCUR（2012）），380-394·Zbl 1364.68297号
[17] 柴可夫斯基，M。；Tribastone，M.，处理马尔科夫过程代数中的连续状态空间爆炸，Theor。计算。科学。，517, 1-33 (2014) ·Zbl 1358.68219号
[18] Tribastone，M.，《变量过程代数中的行为关系》，（Gnesi，S.；Fantechi，a.；Heymans，P.；Rubin，J.；Czarnecki，K.；Dhungana，D.，SPLC（2014），ACM），82-91
[19] 柴可夫斯基，M。；Tribastone，M.，随机移动网络的空间流体极限，性能评估。，109, 52-76 (2017)
[20] 伊斯兰文学硕士。；默西，A。；Bartocci，E。；樱桃，E。；芬顿，F.H。；Glimm，J。；斯莫尔卡，S.A。；Grosu，R.，使用近似互模拟对离子通道动力学进行模型降阶，Theor。计算。科学。，599, 34-46 (2015) ·Zbl 1337.92061号
[21] 卡德利，L。；佩雷兹·维罗纳，I.C。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A。；Waizmann，T.，《物种集总随机反应网络的精确最大约简》，《生物信息》。，第37、15、2175-2182页（2021）
[22] 卡德利，L。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A.，《化学反应网络的句法Markovian双向模拟》，（Aceto，L.；Bacci，G.；Baccci，G.，Ingólfsdóttir，A.；Legay，A.；Mardare，R.，《模型、算法、逻辑和工具——纪念Kim Guldstrand Larsen诞辰60周年的文章》，第10460卷（2017），466-483·Zbl 1431.68072号
[23] Boreale，M.，《代数、余代数和多项式微分方程中的最小化》（FOSSACS（2017）），71-87·Zbl 1486.68109号
[24] 阿尔托夫，M。；盖尼奇，C.L。；Krogh，B.H.，不确定时变线性系统的可达集计算，（Caccamo，M.；Frazzoli，E.；Grosu，R.，HSCC（2011），ACM），93-102·Zbl 1362.93013号
[25] Das，A。；梅勒特，G.V。；特里巴斯顿，M。；Al-Hashimi，B.M.，嵌入式系统运行时热管理的工作负载变化点检测，IEEE Trans。计算-辅助设计。集成。电路系统。，35, 8, 1358-1371 (2016)
[26] 科兹洛夫，M。；Tarasov，S。；Khachiyan，L.，凸二次规划的多项式可解性，苏联计算。数学。数学。物理。，20, 5, 223-228 (1980) ·Zbl 0486.90068号
[27] E、 W。；李·T。；Vanden-Eijnden，E.，复杂网络的最优划分和有效动力学，PNAS，105，23，7907-7912（2008）·Zbl 1205.68031号
[28] 拉尔·R。；Prabhakar，P.，参数化线性系统的有界误差流管计算，（EMSOFT（2015）），237-246
[29] 罗森菲尔德，J。；Friedman，E.G.，《全球谐振H树时钟分布网络的设计方法》，IEEE Trans。超大规模集成电路。（VLSI）系统。，15, 2, 135-148 (2007)
[30] Althoff，M.，《CORA 2015简介》（连续和混合系统应用验证研讨会（2015年））
[31] Althoff，M.，使用保守多项式和非凸集的非线性系统的可达性分析，（HSCC（2013）），173-182·兹比尔1362.93011
[32] Girard，A。；Pappas，G.，非线性动力系统的近似互模拟，（IEEE决策与控制会议和欧洲控制会议（2005））
[33] 马朱姆达尔，R。；Zamani，M.，《数字控制系统的近似双相似符号模型》（CAV（2012）），362-377
[34] Duggirala，P.S。；米特拉，S。；Viswanathan，M.，执行中注释模型的验证，（EMSOFT（2013），IEEE出版社），26:1-26:10
[35] M.Tschaikowski，M.Tribastone，带微分壳的异质非线性模型的近似约简，IEEE TAC·Zbl 1359.93084号
[36] Asarin，E。；Dang，T。；Girard，A.，使用保守近似的非线性系统可达性分析，（HSCC（2003））·Zbl 1032.93034号
[37] 陈，X。；E·阿尔布拉哈姆。；Sankaranarayanan，S.，Flow*：非线性混合系统分析仪，（CAV（2013）），258-263
[38] Farrell，J.A。；Polycarpou，M.M.，《基于自适应近似的控制》（2006），威利国际科学出版社
[39] 风扇，C。；齐，B。；米特拉，S。；维斯瓦纳坦，M。；Duggirala，P.S.，带C2E2的非线性混合模型的自动可达性分析，（CAV（2016）），531-538
[40] Kuo，J.C.W。；Wei，J.，单分子反应体系中的集总分析。近似集总系统分析，工业工程化学。芬达姆。，124-133年8月1日（1969年）
[41] 李·G。；Rabitz，H.，《化学动力学中近似集总的一般分析》，《化学》。工程科学。，45, 4, 977-1002 (1990)
[42] 伊瓦萨，Y。；莱文，S.A。；Andreasen，V.，《模型生态系统中的聚集》II。近似聚合，数学。医学生物学。，6, 1, 1-23 (1989) ·Zbl 0659.92023号
[43] 柴可夫斯基，M。；Tribastone，M.，《马尔科夫过程代数中微分聚合的统一框架》，JLAMP，84，2，238-258（2015）·Zbl 1319.68151号
[44] 亚科贝利，G。；Tribastone，M.，具有异质介质类型的流体模型的集块性，（DSN（2013））
[45] 卡德利，L。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A.，通过可达性分析对近似模型抽象的保证误差界，（McIver，A.；Horvath，A.，《系统定量评估》（2018），Springer International Publishing：Springer国际出版公司Cham），104-121·Zbl 07703951号
[46] 卡德利，L。；Tribastone，M。；柴可夫斯基，M。；Vandin，A.，化学反应网络的正向和反向互模拟，（CONCUR（2015）），226-239·兹比尔1374.68204
[47] Gillespie，D.，耦合化学反应的精确随机模拟，物理学杂志。化学。，81,22340-2361（1977年）
[48] 帕尔达洛斯，P.M。；Vavasis，S.A.，一个负特征值的二次规划是NP-hard，J.Glob。最佳。，1, 1, 15-22 (1991) ·Zbl 0755.90065号
[49] 佩尔科，L。；Perko，L.，《微分方程和动力系统》，应用数学教材（1996），施普林格出版社：纽约施普林格·Zbl 0854.34001号
[50] A.Donzé。；Maler，O.，使用敏感性分析进行系统模拟，（HSCC（2007），Springer），174-189·Zbl 1221.93105号
[51] 图兰尼，T。；Tomlin，A.S.，《反应机制的还原》，183-312（2014），施普林格-柏林-海德堡：施普林格-柏林-海德堡-柏林，海德堡
[52] Conzelmann，H。；费伊，D。；Gilles，E.，组合反应网络的精确模型简化，BMC系统。生物，2，1，78（2008）
[53] Camporesi，F。；Feret，J.，基于规则模型的形式化约简，Electron。注释Theor。计算。科学。，276，29-59（2011年）·Zbl 1342.68076号
[54] 斯内登，M.W。；Faeder，J.R。；Emonet，T.，《使用NFsim的生物复杂性的高效建模、模拟和粗粒度》，《自然方法》，8，2，177-183（2011）
[55] 莫宁，M.I。；波斯纳，R.G。；Savage，P.B。；Faeder，J.R。；Hlavacek，W.S.，《利用空间位阻对细胞表面受体聚集物构型进行多价配体-受体相互作用建模》，Biophys。J.，98，1，48-56（2010）
[56] Conzelmann，H。；Saez-Rodriguez，J。；Sauter，T。；科洛登科，B。；Gilles，E.，《降低信号转导网络组合复杂性的面向域方法》，BMC Bioninform。，7, 1, 34 (2006)
[57] 王，P。；哥伦比亚特区冈萨雷斯。；伊达尔戈，C.A。；Barabási，A.-L.，《理解手机病毒的传播模式》，《科学》，324，5930，1071-1076（2009）
[58] 安德森，R.M。；May，R.M.，《人类传染病：动力学和控制》（1992），牛津大学出版社
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。