×
塞尔吉·伊万诺夫;伊恩·皮特

反应系统的可控性。 （英语） Zbl 1469.68039号

J.成员。计算。 2，第4号，290-302（2020）.
概述：控制动态系统是指通过适当的输入选择来任意改变其配置的能力。它是控制理论中一个研究得很好的概念，在医学、生物学、社会科学和工程中有着广泛的应用。在本文中，我们引入反应系统可控性的概念，即通过适当选择上下文序列在任何两个状态之间转换的能力。我们表明，问题是PSPACE难以解决的。我们还介绍了一个基于反应系统的致癌信号传递模型，并用它来说明反应系统可控性的复杂性。这项研究开辟了反应系统动力学特性研究的新领域，并介绍了一种基于反应系统的新型复杂生物医学模型。

引用于7文件

MSC公司：

2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
92立方厘米 系统生物学、网络
92C45型 生化问题中的动力学（药代动力学、酶动力学等）
93个B05 可控性

关键词：

反应系统;可控性;致癌信号;计算复杂性

软件：

WEBRSIM公司;布尔西姆
PDF格式BibTeX公司 XML格式引用
\textit{S.Ivanov}和\textit{I.Petre}，J.Membr。计算。2，第4号，290--302（2020；Zbl 1469.68039）
全文： 内政部 arXiv公司

参考文献：

[1] 阿齐米，S。；格拉蒂，C。；伊万诺夫，S。；Manzoni，L。；皮特，I。；Porreca，AE，反应系统模型检查的复杂性，理论计算机科学，623，103-113（2016）·Zbl 1336.68085号 ·doi:10.1016/j.tcs.2015.11.040
[2] 阿齐米，S。；格拉蒂，C。；伊万诺夫，S。；Petre，I.，反应系统中的依赖图和质量守恒，理论计算机科学，598，23-39（2015）·Zbl 1329.68106号 ·doi:10.1016/j.tcs.2015.02.014
[3] 阿齐米，S。；伊恩库，B。；Petre，I.，《热休克反应的反应系统模型》，《信息学基础》，131，1-14（2014）·兹比尔1286.92022 ·doi:10.3233/FI-2014-1016
[4] 阿齐米，S。；Panchal，C。；Czeizler，E。；Petre，I.，中间丝自组装的反应系统模型，布加勒斯特大学年鉴，LXI，I，2，9-24（2015）
[5] 阿齐米，S。；Panchal，C。；Mizera，A。；Petre，I.，反应系统的多稳态、极限环和周期双重分岔，国际计算机科学基础杂志，28，8，1007-1020（2017）·Zbl 1387.37043号 ·doi:10.1142/S012905411700368
[6] 巴德瓦尔，R。；Bagler，G.，《秀丽隐杆线虫神经元网络的控制》，PLoS One，10，9，e0139204（2015）·doi:10.1371/journal.pone.0139204
[7] Barbuti，R.、Bove，P.、Gori，R.，Levi，F.和Milazzo，P.（2018）使用反应系统模拟基因调控网络。收录：Bernd-Holger，S.和Samira，A.（编辑），CS&P.CEUR研讨会论文集（第2240卷）。http://CEUR-WS.org。
[8] 比安，C。；Delaplace，F.，基于诱因的布尔控制网络因果推理：癌症药物发现的理论和应用，IEEE/ACM计算生物学和生物信息学汇刊，16，5，1574-1585（2019）·doi:10.1109/TCBB.2018.2889102
[9] Brijder，R。；埃伦菲赫特，A。；梅因，M。；Rozenberg，G.，《反应系统之旅》，《国际计算机科学基础杂志》，22，7，1499-1517（2011）·Zbl 1252.68115号 ·doi:10.1142/S012905411008842
[10] 科洛利，L。；Maj，C。；马里尼，F。；贝索齐，D。；Mauri，G.，《反应系统的远足：从计算机科学到生物学》，《理论计算机科学》，45495-108（2012）·Zbl 1247.68086号 ·doi:10.1016/j.tcs.2012.04.003
[11] Czeizler，E。；格拉蒂，C。；Chiu，WK；Kanhaiya，K。；Petre，I.，线性网络的结构目标可控性，IEEE/ACM计算生物学和生物信息学汇刊，151217-1228（2018）·doi:10.1010/TCBB.2018.2797271
[12] Czeizler，Eugen；吴开秋；克里斯蒂安·格雷蒂；克利须那州坎海亚；Petre，Ion，线性网络的结构目标可控性，IEEE/ACM计算生物学和生物信息学汇刊，15，4，1217-1228（2018）·doi:10.1109/TCBB.2018.2797271
[13] Dennunzio，A.、Formenti，E.、Manzoni，L.和Porreca，A.E.（2016）。资源约束反应系统中的可达性。作者：A.H.Dediu、J.Martín-Vide和B.Truthe（编辑），《语言与自动机理论与应用》。拉丁美洲旅游局。计算机科学课堂讲稿（第9618卷）。查姆施普林格·Zbl 1443.68065号
[14] Dennunzio，A。；Formenti，E。；Manzoni，L。；Porreca，AE，反应系统动力学的复杂性，信息与计算，267，96-109（2019）·Zbl 1422.68069号 ·doi:10.1016/j.ic.2019.03.006
[15] 埃伦菲赫特，A。；Rozenberg，G.，《反应系统》，《信息基础》，75，1，263-280（2007）·Zbl 1108.68056号
[16] Formenti，E.、Manzoni，L.和Porreca，A.E.（2014）。反应系统的循环和全局吸引子。H.Jürgensen、J.Karhumäki和A.Okhotin（编辑），形式系统的描述复杂性。计算机科学课堂讲稿（第8614卷，第114-125页）。施普林格国际出版公司·Zbl 1416.68070号
[17] Formenti，E。；Manzoni，L。；Porreca，AE，《关于反应系统中发生和收敛问题的复杂性》，自然计算，14，1，185-191（2015）·Zbl 1390.68306号 ·doi:10.1007/s11047-014-9456-3
[18] 高杰。；刘，Y-Y；D'Souza，RM；Barabási，A-L，复杂网络的目标控制，《自然通信》，5，1，5415（2014）·doi:10.1038/ncomms6415
[19] 郭伟峰；张绍武；魏泽刚；曾涛；刘飞；张景松；吴方祥；陈洛南，复杂网络的约束目标可控性，统计力学杂志：理论与实验，2017，6，063402（2017）·Zbl 1456.93002号 ·doi:10.1088/1742-5468/aa6de6
[20] Ivanov，S.、Rogojin，V.、Azimi，S.和Petre，I.（2018年）。WEBRSIM：基于网络的反应系统模拟器。收录：C.Graciani Díaz、A.Riscos-Nüñez、G.Paun、G.Rozenberg和A.Salomaa（编辑），在马里奥·德·杰苏斯·佩雷斯·吉梅内斯70岁生日之际，欣赏自然计算散文。计算机科学课堂讲稿（第11270卷，第170-181页）。斯普林格·Zbl 1400.68023号
[21] RE卡尔曼；Ho，YC；Narendra，KS，线性动力系统的可控性，对微分方程的贡献，1189-213（1963）·Zbl 0151.13303号
[22] Kanhaiya，K。；Czeizler，E。；格拉蒂，C。；Petre，I.，《控制癌症中的定向蛋白质相互作用网络》，科学报告，7，1，10327（2017）·doi:10.1038/s41598-017-10491-y
[23] Kanhaiya，K.、Rogojin，V.、Kazemi，K.Czeizler，E.和Petre，I.（2018年）。Netcontrol4biomed：用于生物医学数据采集和网络可控性分析的管道。BMC生物信息学，19。
[24] 科尔奇，W。；Halasz，M。；格拉诺夫斯卡娅，M。；Kholodenko，BN，《癌症细胞中信号转导网络的动态控制》，《自然评论癌症》，15，515-527（2015）·doi:10.1038/nrc3983
[25] 刘，Y-Y；斯隆，J-J；Barabási，A-L，《复杂网络的可控性》，《自然》，473，167-173（2011）·doi:10.1038/nature10011
[26] A.滑雪。；库特尼，M。；Penczek，W.，《离散浓度反应系统线性时间特性的验证》，《信息基础》，154289-306（2017）·Zbl 1378.68113号 ·doi:10.333/FI-2017-1567
[27] Mȩski，A.、Koutny，M.和Penczek，W.（2019）。分布式反应系统时间认知特性的模型检验。泰恩河畔纽卡斯尔大学计算机学院技术报告·兹比尔1378.68113
[28] A.滑雪。；彭泽克，W。；Rozenberg，G.，反应系统的模型检验时间特性，信息科学，313，22-42（2015）·Zbl 1387.68167号 ·doi:10.1016/j.ins.2015.03.048
[29] Nobile，Marco S。；安东尼奥·波雷卡（Antonio E.Porreca）。；西蒙·斯波劳尔；卢卡·曼佐尼；保罗·卡扎尼加；Giancarlo Mauri；Daniela Besozzi，《图形处理单元上反应系统的高效模拟》，《基础信息》，154，1-4，307-321（2017）·Zbl 1378.68188号 ·doi:10.3233/FI-2017-1568
[30] Popescu，V.-B.，Kanhaiya，K.，Néstac，I.，Czeizler，E.，&Petre，I.（2020年）。使用遗传算法识别复杂交互网络的有效控制。技术报告。arXiv:2007.04853[q-bio.MN]。
[31] Salomaa，Arto，反应系统生成的函数和序列，理论计算机科学，46687-96（2012）·Zbl 1321.68268号 ·doi:10.1016/j.tcs.2012.07.022
[32] Salomaa，A.（2012年）。由反应系统定义的状态序列。收录：L.C.、Robert和A.Silva（编辑），《逻辑和程序语义》。计算机科学课堂讲稿（第7230卷，第271-282页）。斯普林格·Zbl 1354.68081号
[33] Salomaa，Arto，反应系统和命题逻辑之间的函数结构，国际计算机科学基础杂志，24，1，147-160（2013）·Zbl 1359.68075号 ·doi:10.1142/S012905411300044
[34] Salomaa，Arto，最小和几乎最小反应系统，自然计算，12，3，369-376（2013）·Zbl 1334.68069号 ·doi:10.1007/s11047-013-9372-y
[35] Salomaa，A.（2014）。定义子集函数的最小反应系统。收录：C.Calude、R.Freivalds和K.Iwama（编辑）《新资源计算》。计算机科学课堂讲稿（第8808卷，第436-446页）。斯普林格·兹比尔1323.68277
[36] Salomaa，Arto，反应系统的最小两步模拟，控制论学报，22，2393-311（2015）·Zbl 1349.93203号 ·doi:10.14232/actacycb.22.2015.2
[37] JAS马丁；Petre，I.，三个多发性骨髓瘤患者基因突变数据集的网络可控性分析，《信息基础》，175，1-4，281-299（2020）·doi:10.3233/FI-2020-1957
[38] Teh，W.C.和Atanasiu，A.（2020年）。用严格最小反应系统模拟反应系统。膜计算杂志·Zbl 1469.68053号
[39] Vuong，Q.-T.，Chauvin，R.，Ivanov，S.，Glade，N.，&Trilling，L.（2017）。一种基于逻辑约束的方法，用于推断和探索阈值布尔自动机网络中的多样性和组合。收录于：C.Cherifi、H.Cheriefi、M.K.和Mirco，M.（编辑），《复杂网络及其应用》，2017年第六届复杂网络国际会议，2017年11月29日至12月1日，法国里昂，Complex networks 2017。计算智能研究（第689卷，第567-579页）。斯普林格。
[40] 扎尼乌多，JGT；Scaltriti，M。；Albert，R.，《阐明乳腺癌耐药机制并预测组合药物治疗的网络建模方法》，《癌症汇聚》，第1、1、5期（2017年）·doi:10.1186/s41236-017-0007-6
[41] 扎尼乌多，JGT；斯坦威，SN；Albert，R.，致癌信号的离散动态网络建模：癌症个性化治疗的机械见解，系统生物学的当前观点，9，1-10（2018）·doi:10.1016/j.coisb.2018.02.002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。