2018
DOI: 10.1109/tcbb.2017.2749225
|View full text |Cite
|
Sign up to set email alerts
|

Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis

Abstract: Qualitative models of dynamics of signalling pathways and gene regulatory networks allow for the capturing of temporal properties of biological networks while requiring few parameters. However, these discrete models typically suffer from the so-called state space explosion problem which makes the formal assessment of their potential behaviors very challenging. In this paper, we describe a method to reduce a qualitative model for enhancing the tractability of analysis of transient reachability properties. The r… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
20
0

Year Published

2018
2018
2023
2023

Publication Types

Select...
3
3
2
2

Relationship

0
10

Authors

Journals

citations
Cited by 17 publications
(20 citation statements)
references
References 41 publications
0
20
0
Order By: Relevance
“…This is particularly important to verify if a model is able of generate and justify some observed behaviour, or to predict how a network can evolve from a specific state. Model reduction techniques to reduce the size of the generated dynamics have also been proposed (Naldi et al, 2011;Pauleve, 2018). These techniques aim to reduce the combinatorial explosion of the state space when analysing dynamical properties of a network.…”
Section: Related Workmentioning
confidence: 99%
“…This is particularly important to verify if a model is able of generate and justify some observed behaviour, or to predict how a network can evolve from a specific state. Model reduction techniques to reduce the size of the generated dynamics have also been proposed (Naldi et al, 2011;Pauleve, 2018). These techniques aim to reduce the combinatorial explosion of the state space when analysing dynamical properties of a network.…”
Section: Related Workmentioning
confidence: 99%
“…Nevertheless, different approaches enable the analysis of large scale qualitative networks by means of structural analyses, model reductions or abstractions. The CoLoMoTo Interactive Notebook provides access to methods for model reductions , such as by Naldi et al ( 2011 ), implemented in bio LQM, which preserves stable states, while cyclic attractors and reachability can be affected in predictable ways, or by using formal approximations of the dynamical behavior, as implemented in P int , which allow tackling networks with several thousands of nodes (Paulevé, 2017 , in press ). Other approaches include, for instance, Petri net model reduction for trajectories in signaling pathways (Talcott and Dill, 2006 ), subnetwork analysis (Siebert, 2009 ), computational algebra (Veliz-Cuba et al, 2014 ), and motif-based abstractions for attractors (Gan and Albert, 2018 ).…”
Section: Background On Qualitative Dynamical Models and Their Compmentioning
confidence: 99%
“…inhibition) of some gene or transcription factor or kinase, etc. From an initial given state for each entity in BRN, the goal is reachable if a sequence of steps is present which leads to the state which contains the goal (Paulevé, 2018). For example, the goal in a signaling network is usually the activation of the downstream transcription factor starting from the initial inactive state.…”
Section: Process Hitting (Ph) Frameworkmentioning
confidence: 99%