×
王云娇;玛丽亚·莱特（Maria C.A.Leite）。;阿隆娜·本·塔尔

从布尔网络到线性动力系统：一条简化的路线。 （英语） Zbl 1525.39002号

J.差异Equ。申请。 29，第5期，542-560（2023年）.
摘要：布尔网络可以通过半张量积方法转换为有限空间上的离散线性动力系统。这种方法已被许多人用于研究布尔系统的动力学和控制。然而，即使对于简单的三节点网络，使用半张量积方法获得线性表示的过程也很复杂，需要计算机程序的帮助。在这项工作中，我们证明了我们可以跳过半张量过程，用简单的映射获得相同的线性表示。此外，我们的方法产生了大量同构表示，提供了一个灵活的框架。重要的是，它可以简化对节点数目未知且具有某种结构的网络的分析研究。

MSC公司：

39A06号 线性差分方程
39A60型 差分方程的应用
15A69号 多线性代数，张量演算
94天10分 布尔函数
06E30年 布尔函数

关键词：

真值矩阵;半张量积;离散动力系统

软件：

BoolNet公司;窥探;金西姆
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}等人，J.Difference Equ。申请。29，第5号，542--560（2023；Zbl 1525.39002）
全文： 内政部
OA许可证

参考文献：

[1] Abuo-Jaoude，W。；瓦塔拉，D。；Kaufman，M.，从结构到动力学：p53-mdm2网络中的频率调谐：I.逻辑方法，J.Theor。《生物学》，258，4561-577（2009）·Zbl 1402.92165号
[2] 阿尔伯特·R。；Othmer，H.，调节相互作用的拓扑预测了果蝇片段极性基因的表达模式，J.Theor。生物学，2331-13（2003）·Zbl 1464.92108号
[3] Artin，M.，《代数》（1991），Prentice Hall·Zbl 0788.00001号
[4] Ben-Tal，A。；Wang，Y。；Leite，M.C.A.，呼吸模式神经控制背后的逻辑，科学。代表（2019年）·doi:10.1038/s41598-019-45011-7
[5] Benes，N.、Brim，L.、Pastva，S.和Safranek，D.，符号彩色SCC分解，第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日，诉讼，第二部分。第12652卷，2021年，第64-83页·Zbl 1474.68210号
[6] 坎贝尔，C。；Thakar，J。；Albert，R.，网络分析揭示了由细菌和过敏原Phys激活的免疫通路的交联。版次E，统计物理。等离子体，流体相关跨学科课题。，84, 3 (2011)
[7] Chaouiya，C.、Naldi，A.和Thieffry，D.，《人参的基因调控网络逻辑建模》，载于《细菌分子网络》。分子生物学方法（方法和协议），第804卷，J.van Helden，A.Toussant和D.Thieffry，eds.，纽约斯普林格，2012年。
[8] Cheng博士。；Qi，H.，布尔控制网络的能控性和能观性，自动机。，45, 7, 1659-1667 (2009) ·Zbl 1184.93014号
[9] Cheng博士。；Qi，H.，布尔网络动力学的线性表示，IEEE。事务处理。自动化。控制。，55, 10, 2251-2258 (2010) ·Zbl 1368.37025号
[10] Dorier，J。；克雷斯波，I。；Niknejad，A。；利赫蒂，R。；埃贝林，M。；Xenarios，I.，利用基于文献的知识和遗传算法优化方法重建布尔调节网络，BMC.Bioninform。，17, 1, 410 (2016)
[11] 杜布罗瓦，E。；Teslenko，M.，《在同步布尔网络中查找吸引子的基于卫星的算法》，计算。生物信息。，8, 5, 1393-1399 (2011)
[12] 爱德华兹，R。；Glass，L.，模型基因网络中的组合爆炸，混沌：非线性科学杂志。，10, 3, 691-704 (2000) ·Zbl 1033.92014年
[13] 爱德华兹，R。；Siegelmann，H。；阿齐扎，K。；Glass，L.，《模型基因模型中的符号动力学和计算》，《混沌：不确定性》，《非线性科学杂志》。，11, 1, 160-169 (2001)
[14] Espionza-Soto，C。；Padilla-Longoria，P。；Alvarez-Buylla，E.，拟南芥花发育过程中用于确定细胞脂肪的基因调控网络模型，该模型具有鲁棒性并可恢复经验基因表达谱，Plant。单元格。，16, 2923-2939 (2004)
[15] Garg，A.，Xenarios，I.，Mendoza，L.，and DeMicheli，G.，《基因调控网络动态分析和硅基因微扰实验的有效方法》，载于《计算分子生物学研究》，T.Speed and H.Huang，eds.，Springer，Berlin，Heidelberg，2007年，第2-76页。
[16] 加尔格，A。；Di Cara，A。；塞纳里奥斯，I。；门多萨，L。；De Micheli，G.，基因调控网络的同步与异步建模，生物信息学。，24, 17, 1917-1925 (2008)
[17] Giang，T.V.和Hiraishi，K.，《在大规模异步布尔模型中逼近吸引子的有效方法》，载于2020年IEEE生物信息学和生物医学国际会议（BIBM），2020年，第1820-1826页。
[18] 格拉斯，L。；考夫曼，S.A.，《连续非线性生化控制网络的逻辑分析》，J.Theor。生物学，39，103-129（1973）
[19] 郭伟。；Yang，G。；Wu，W。；He，L。；Sun，M.，一种基于布尔可满足性的遗传调控网络并行吸引子发现算法，PLoS。一、。，9, 4, 1-10 (2014)
[20] Hinkelmann，F。；Murrugarra，D。；贾拉，A。；Laubenbacher，R.，复杂生物网络基于代理模型的数学框架，Bull。数学。生物学，731583-1602（2011）·Zbl 1225.92001年
[21] 黄，C。；卢，J。；翟，G。；曹，J。；卢，G。；Perc，M.，概率布尔网络的概率稳定性和稳定性，IEEE。事务处理。神经系统。Netw公司。学习。系统。，32, 1, 241-251 (2021)
[22] Kauffman，S.A.，随机构建遗传网络中的代谢稳定性和表观发生，J.Theor。《生物学》，22，3，437-467（1969）
[23] 李，H。；赵，G。；孟，M。；冯，J.，半张量积方法在工程中的应用综述，科学。中国信息科学。，61, 1 (2017)
[24] Liu，Z.和Cheng，D.，布尔网络的规范形式，2019年中国控制会议，2019。
[25] Mandon，H.、Su，C.、Haar，S.、Pang，J.和Pauleve，L.，《布尔网络的顺序重编程在系统生物学的计算方法中变得实用》。CMSB 2019。《计算机科学讲义》，第11773卷，L.Bortolussi和G.Sanguinetti编辑，查姆施普林格出版社，2019年·Zbl 1422.92057号
[26] 孟，M。；刘，L。；Feng，G.，具有马尔可夫跳跃参数的布尔网络的稳定性和增益分析，IEEE。事务处理。自动化。控制。，62, 8, 4222-4228 (2017) ·Zbl 1373.93368号
[27] 梅尼尼，L。；波斯耶里，C。；Tornamb，A.，连续时间系统的布尔网络表示和有限时域最优控制：在乳酸操纵子单基因调控系统中的应用，国际期刊控制。，90, 3, 519-552 (2017) ·Zbl 1388.49042号
[28] 梅尼尼，L。；波斯耶里，C。；Tornambè，A.，《通过联合使用线性代数和代数几何进行布尔网络分析》，J.Theor。生物学，472，46-53（2019）·Zbl 1412.92096号
[29] Mizera，A。；彭，J。；Qu，H。；Yuan，Q.，《大型布尔网络中吸引子检测的驯服异步性》，IEEE/ACM Trans。计算。生物信息。，16, 1, 31-42 (2019)
[30] 贻贝，C。；霍普芬西茨，M。；Kestler，H.A.，布尔网络生成、重建和分析的布尔网络R包，生物信息学。，26, 10, 1378-1380 (2010)
[31] 奥斯特罗斯基，M。；Pauleve，L。；Schaub，T。；西格尔，A。；Guziolowski，C.，结合动力学抽象和逻辑编程从扰动时间序列数据中识别，生物系统。，149, 139-153 (2016)
[32] 波斯耶里，C。；Teel，A.R.，随机布尔网络概率的渐近稳定性，自动机。，83, 1-9 (2017) ·Zbl 1373.93369号
[33] Qu，H.，Yuan，Q.，Pang，J.，and Mizera，A.，《改进基于BDD的同步布尔网络吸引子检测》，第七届亚太互联网研讨会论文集，Internetware’15，美国纽约州纽约市，计算机协会，2015年，第212-220页。
[34] 罗尔，C。；马尔万，W。；Heiner，M.，Snoopy-研究生物分子网络的统一petri网框架，生物信息学。，26, 7, 974-975 (2010)
[35] Saadatpour，A。；阿尔伯特·R。；Reluga，T.C.，经证明可保存吸引子的布尔网络模型的简化方法，SIAM J.Appl。动态。系统。，12, 4, 1997-2011 (2013) ·兹比尔1308.92040
[36] Saez-Rodriguez，J。；西蒙尼，L。；Lindquist，J.A。；Hemenway，R。；美国波姆哈特。；魏斯曼特尔，R。；Gilles，E.D。；克拉姆特，S。；Schraven，B.，一个逻辑模型提供了对t细胞受体信号（PLoS）的见解。计算。生物，3，e163（2007）
[37] 桑切斯，L。；Thieffry，D.，《果蝇gap-gene系统的逻辑分析》，J.Theor。生物学，211，115-141（2001）
[38] Snoussi，E.，分段微分方程的定性动力学：离散映射方法，Dyn。刺。系统。，4, 3, 189-207 (1989) ·Zbl 0678.34010号
[39] Somogyi，R。；Greller，L.D.，《分子网络的动力学：在治疗发现中的应用》，药物。发现。今天。，6, 24, 1267-1277 (2001)
[40] 宋，L。；AssMann，S.L。；Albert，R.，预测信号转导网络的基本成分：保卫细胞脱落酸信号的动态模型，PLoS。生物，4，e100-e312（2006）
[41] Thakar，J。；Pathak，A.K。；Murphy，L。；阿尔伯特·R。；卡特多里，I。；Boer，R.J.D.，免疫反应网络模型揭示了呼吸道细菌和肠道蠕虫（PLoS）对单一和共同感染动力学的关键影响因素。计算。生物，8，1，e1002345（2012）
[42] Thomas，R.，《生物反馈》（1990年），儿童权利委员会·Zbl 0743.92003号
[43] Veliz-Cuba，A.、Kumar，A.和Josic，K.，化学反应网络的分段线性和布尔模型。接受J.Math。生物，2014a·Zbl 1329.92149号
[44] Veliz古巴，A。；阿吉拉尔，B。；Hinkelmann，F。；Laubenbacher，R.，通过模型简化和计算代数对布尔分子网络模型进行稳态分析，BMC.生物信息。，15, 221 (2014) ·doi:10.1186/1471-2105-15-221
[45] 王，B。；李，H。；Yu，Y.，关于布尔控制网络的可检测性，非线性分析：Hybri.Sys。，36 (2020) ·Zbl 1437.93010号
[46] Wang，R.S。；Albert，R.，细胞信号网络的离散动态建模，Meth。酶制剂。，467, 281-306 (2009)
[47] 杨，J。；卢，J。；卢·J。；Liu，Y.，带脉冲扰动的驱动响应布尔控制网络的同步，应用。数学。计算。，364 (2020) ·Zbl 1433.92018年
[48] Yu，Y。；冯，J。；潘，J。；Cheng，D.，布尔控制网络的块解耦，IEEE。事务处理。自动化。控制。，64, 8, 3129-3140 (2019) ·Zbl 1482.93027号
[49] 袁，Q。；Mizera，A。；彭，J。；Qu，H.，一种新的基于分解的同步布尔网络吸引子检测方法，科学。计算。程序。，180, 18-35 (2019)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。