Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Bioinformatics

Volumn 26, Issue 18, 2010, Pages

  Batt, Gregory ^a   Page, Michel ^b,c   Cantone, Irene ^d   Goessler, Gregor ^b   Monteiro, Pedro ^b,e   de Jong, Hidde ^b  

^a INRIA   (France)

^b INRIA RHÔNE ALPES   (France)

^c CERAG CNRS UMR 5820   (France)

^d IMPERIAL COLLEGE LONDON   (United Kingdom)

^e INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; BIOLOGICAL MODEL; COMPUTER PROGRAM; COMPUTER SIMULATION; GENE EXPRESSION REGULATION; GENE REGULATORY NETWORK; GENETICS; INFORMATION PROCESSING; QUALITY CONTROL; SYMBOLISM; SYSTEMS BIOLOGY; YEAST;

AUTOMATIC DATA PROCESSING; BENCHMARKING; COMPUTER SIMULATION; GENE EXPRESSION REGULATION, FUNGAL; GENE REGULATORY NETWORKS; MODELS, GENETIC; SOFTWARE; SYMBOLISM; SYSTEMS BIOLOGY; YEASTS;

EID: 77956603134     PISSN: 13674803     EISSN: 14602059     Source Type: Journal    
DOI: 10.1093/bioinformatics/btq387     Document Type: Article

References (24)

1. Barnat,J. et al. (2009) On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci., 410, 3128-3148.
2. Batt,G. et al. (2008) Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Automatica, 44, 982-989.
3. Batt,G. et al. (2005) Validation of qualitative models of genetic regulatory networks by model checking. Bioinformatics, 21 (Suppl. 1), i19-i28.
4. Bernot,G. et al. (2004) Application of formal methods to biological regulatory networks. J. Theor. Biol., 229, 339-348.
5. Cantone,I. et al. (2009) A yeast synthetic network for in vivo assessment of reverseengineering and modeling approaches. Cell, 137, 172-181.
6. Chaves,M. et al. (2009) Geometry and topology of parameter space: investigating measures of robustness in regulatory networks. J. Math. Biol., 59, 315-358.
7. Cimatti,A. et al. (2002) NuSMV2: an opensource tool for symbolic model checking. In CAV'02, Vol. 2404 of LNCS. Springer, pp. 359-364.
8. Clarke,E.M. et al. (1999) Model Checking. MIT Press, Cambridge, USA.
9. Corblin,F. et al. (2009) A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems, 98, 91-104.
10. Davidich,M. and Bornholdt,S. (2008) The transition from differential equations to Boolean networks: a case study in simplifying a regulatory network model. J. Theor. Biol., 255, 269-277.
11. Edwards,R. and Glass,L. (2006) A calculus for relating the dynamics and structure of complex biological networks. In Berry,R.S. and Jortner,J. (eds) Adventures in Chemical Physics, Vol. 132. Wiley, Hobeken, USA, pp. 151-178.
12. Fauré,A. et al. (2006) Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics, 22, e124-e131.
13. Fisher,J. and Henzinger,T.A. (2007) Executable cell biology. Nat. Biotechnol., 25, 1239-1250.
14. Fromentin,J. et al. (2007) Analysing gene regulatory networks by both constraint programming and model-checking. In IEEE EMBC07, pp. 4595-4598.
15. Glass,L. and Kauffman,S.A. (1973) The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol., 39, 103-129.
16. Gouzé,J.-L. and Sari,T. (2002) A class of piecewise linear differential equations arising in biological models. Dyn. Syst., 17, 299-316.
17. Martin,S. et al. (2007) Boolean dynamics of genetic regulatory networks inferred from microarray time series data. Bioinformatics, 23, 866-874.
18. Monteiro,P.T. et al. (2008) Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics, 24, i227-i233.
19. Moore,R.E. (1979) Methods and Applications of Interval Analysis. SIAM, Philadelphia, USA.
20. Perkins,T.J. et al. (2004) Inferring models of gene expression dynamics. J.Theor. Biol., 230, 289-299.
21. Polynikis,A. et al. (2009) Comparing different ODE modelling approaches for gene regulatory networks. J. Theor. Biol., 261, 511-530.
22. Saez-Rodriguez,J. et al. (2009) Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Mol. Syst. Biol., 5, 331.
23. Thomas,R. and d'Ari,R. (1990) Biological Feedback. CRC Press, Boca Raton, USA.
24. Tsai,T.Y.-C. et al. (2008) Robust, tunable biological oscillations from interlinked positive and negative feedback loops. Science, 321, 126-129.