Data-driven optimizations for model checking of multi-valued regulatory networks

详细信息    查看全文

• 作者：Adam Streck ; ^{adam.streck@fu-berlin.de} ; Kirsten Thobe ; Heike Siebert
• 关键词：Regulatory networks ; Model checking ; B&uuml ; chi automata ; Colorectal cancer
• 刊名：Biosystems
• 出版年：2016
• 出版时间：November 2016
• 年：2016
• 卷：149
• 期：Complete
• 页码：125-138
• 全文大小：1298 K
• 卷排序：149

文摘

The model checking method has been long since established as an important tool for modelling and reverse engineering of biological systems. However, due to a high complexity of both the method and the biological systems, this approach often requires a vast amount of computational resources. In this article we show that by reducing the expressivity of the method we can gain performance while still being able to use all biologically relevant data. We utilize this approach to conduct a study of mutations in the EGFR signalling, motivated by a paper from Klinger et al. (2013). Here we aim at constructing approximated models of multiple cell-lines from sizeable sets of experimental data. Due to cancerous mutations in each cell line, there is a high degree of parameter uncertainty and the study would not be practically tractable without the performance optimizations described here.