Inverse bifurcation analysis of a model for the mammalian G1/S regulatory module
BIRD'07 Proceedings of the 1st international conference on Bioinformatics research and development
A parameter estimation approach for non-linear systems biology models using spline approximation
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Mathematical and Computer Modelling: An International Journal
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring parameter space of stochastic biochemical systems using quantitative model checking
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 3.84 |
Motivation: Mathematical models of the cell cycle can contribute to an understanding of its basic mechanisms. Modern simulation tools make the analysis of key components and their interactions very effective. This paper focuses on the role of small modules and feedbacks in the gene--protein network governing the G1/S transition in mammalian cells. Mutations in this network may lead to uncontrolled cell proliferation. Bifurcation analysis helps to identify the key components of this extremely complex interaction network. Results: We identify various positive and negative feedback loops in the network controlling the G1/S transition. It is shown that the positive feedback regulation of E2F1 and a double activator--inhibitor module can lead to bistability. Extensions of the core module preserve the essential features such as bistability. The complete model exhibits a transcritical bifurcation in addition to bistability. We relate these bifurcations to the cell cycle checkpoint and the G1/S phase transition point. Thus, core modules can explain major features of the complex G1/S network and have a robust decision taking function.