A general computational method for robustness analysis with applications to synthetic gene networks

Bioinformatics

Volumn 25, Issue 12, 2009, Pages

  Rizk, Aurélien ^a   Batt, Gregory ^a   Fages, François ^a   Soliman, Sylvain ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER LANGUAGE; CONFERENCE PAPER; GENE REGULATORY NETWORK; LOGIC; MATHEMATICAL COMPUTING; PRIORITY JOURNAL; SEMANTICS; SENSITIVITY ANALYSIS; TRANSCRIPTION REGULATION;

ALGORITHMS; COMPUTATIONAL BIOLOGY; GENE EXPRESSION PROFILING; GENE REGULATORY NETWORKS; SOFTWARE;

EID: 66349124255     PISSN: 13674803     EISSN: 14602059     Source Type: Journal    
DOI: 10.1093/bioinformatics/btp200     Document Type: Conference Paper

References (43)

1. Antoniotti,M. et al. (2003) Model building and model checking for biochemical processes. Cell Biochem. Biophys., 38, 271-286.
2. Bagnara,R. et al. (2008) The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program., 72, 3-21.
3. Barkai,N. and Leibler,S. (1997) Robustness in simple biochemical networks. Nature, 387, 913-916.
4. Batt,G. et al. (2005) Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics, 21 (Suppl.1), i19-i28.
5. Batt,G. et al. (2007) Robustness analysis and tuning of synthetic gene networks. Bioinformatics, 23, 2415-2422.
6. Bernot,G. et al. (2004) Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol., 229, 339-347.
7. Calzone,L. et al. (2006) BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22, 1805-1807.
8. Calzone,L. et al. (2007) Dynamical modeling of syncytial mitotic cycles in drosophila embryos. Mol. Syst. Biol., 3, 131.
9. Chabrier,N. and Fages,F. (2003) Symbolic model checking of biochemical networks. In C.Priami, (ed.) Proceedings of Computational Methods in Systems Biology (CMSB'03). Vol. 2602 of Lecture Notes in Computer Science, Springer, Berlin, pp. 149-162.
10. Chaves,M. et al. (2007) Geometry and topology of parameter space: investigating measures of robustness in regulatory networks. J. Math. Biol., 104, 13591-13596.
11. Chin,J.W. (2006) Modular approaches to expanding the functions of living matter. Nat. Chem. Biol., 2, 304-311.
12. Ciliberti,S. et al. (2007) Innovation and robustness in complex regulatory gene networks. Proc. Natl Acad. Sci. USA, 104, 13591-13596.
13. Davidson,E.H. and Levine,M.S. (2008) Properties of developmental gene regulatory networks. Proc. Natl Acad. Sci. USA, 105, 20063-20066.
14. Davidson,E.H. et al. (2003) Reglatory gene networks and the properties of the developmental process. Proc. Natl Acad. Sci. USA 100, 1475-1480.
15. Donaldson,R. and Gilbert,D. (2008) A model checking approach to the parameter estimation of biochemical pathways. In Heiner,M. and Uhrmacher,A. (eds) Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB'08). Vol. 5307 of Lecture Notes in Computer Science, Springer, Berlin, pp. 269-287.
16. Eisner,C. et al. (2003) Reasoning with temporal logic on truncated paths. In Proceedings of Fifteenth Computer-AidedVerification conference (CAV'O3). Vol. 2725 of Lecture Notes in Computer Science, Springer, pp. 27-39.
17. El-Samad,H. et al. (2005) Surviving heat shock: Control strategies for robustness and performance. Proc. Natl Acad. Sci. USA, 102 2736-2741.
18. Emerson,E.A. (1990) Temporal and modal logic. In van Leeuwen,J. ed. Handbook of Theoretical Computer Science. Vol. B: Formal Models and Sematics, MIT Press, Cambridge, pp. 995-1072.
19. Fages,F. and Rizk,A. (2008) On temporal logic constraint solving for the analysis of numerical data time series. Theor. Comput. Sci., 408, 55-65.
20. Fainekos,G.E. and Pappas,G.J. (2006) Robustness of temporal logic specifications. In Havelund,K. et al. (eds) Proceedings of International the Workshop on Formal Approaches to Software Testing and Runtime Verification, (FATES/RV'06). Vol. 4262 of Lecture Notes in Computer Science, Springer, Berlin, pp. 178-192.
21. Fainekos,G.E. and Pappas,G.J. (2007) Robust sampling for MITL specifications. In Raskin,J.-F. and Thiagarajan,P. (eds) Proceedings of the Fifth International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS'07). Vol. 4763 of Lecture Notes in Computer Science, Springer, Berlin, pp. 147-162.
22. Felix,M.-A. and Wagner,A. (2008) Robustness and evolution: Concepts, insights and challenges from a developmental model system. Heredity 100, 132-140.
23. Feng,X.-J. et al. (2004) Optimizing genetic circuits by global sensitivity analysis. Biophys. J., 87, 2195-2202.
24. Gonze,D. et al. (2002) Robustness of circadian rhythms with respect to molecular noise. Proc. Natl Acad. Sci. USA, 99, 673-678.
25. Hansen,N. and Ostermeier,A. (2001) Completely derandomized self-adaptation in evolution strategies. Evol. Comput., 9, 159-195.
26. Hooshangi,S. et al. (2005) Ultrasensitivity and noise propagation in a synthetic transcriptional cascade. Proc. Natl Acad. Sci. USA, 102, 3581-3586.
27. Ingolia,N.T. (2004) Topology and robustness in the drosophila segment polarity network. PLoS Biol., 2, e123.
28. Kitano,H. (2004) Biological robustness. Nat. Rev. Genet., 11 826-837.
29. Kitano,H. (2007) Towards a theory of biological robustness. Mol. Syst. Biol., 3, 137.
30. Ma,W. et al. (2006) Robustness and modular design of the drosophila segment polarity network. Mol. Syst. Biol., 2, 70.
31. Maler,O. et al. (2008) Checking temporal properties of discrete, timed and continuous behaviors. In Avron,A. et al. (eds) Pillars of Computer Science, Essays Dedicated to B. Trakhtenbrot. Vol. 4800 of Lecture Notes in Computer Science, Springer, pp. 475-505.
32. Manninen,T. et al. (2006) Developing Itô stochastic differential equation models for neuronal signal transduction pathways. Comp. Biol. Chem., 30, 280-291.
33. McDaniel,R. and Weiss,R. (2005) Advances in synthetic biology: On the path from prototypes to applications. Curr. Opin. Biotechnol., 16, 476-483.
34. Nickovic,D. and Maler,O. (2007) AMT: A property-based monitoring tool for analog systems. In Raskin,J.-F. and Thiagarajan,P.S. (eds) Proceedings of conference on Formal Modeling and Analysis of Timed Systems (FORMAT'07). Vol. 4763 of Lecture Notes in Computer Sciences, Springer, Berlin, pp. 304-319.
35. Rizk,A. et al. (2008) On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In Heiner,M. and Uhrmacher,A. (eds) Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB'08). Vol. 5307 of Lecture Notes in Computer Science, Springer, Berlin, pp. 251-268.
36. Saltelli,A. et al. (2004) Sensitivity Analysis in Practice: A Guide to Assessing Scientific Models. Wiley Press, New York.
37. Shen,X. et al. (2008) Architecture and inherent robustness of a bacterial cell-cycle control system. Proc. Natl Acad. Sci. USA, 105, 11340-11345.
38. Shinar,G. et al. (2007) Input-output robustness in simple bacterial signaling systems. Proc. Natl Acad. Sci. USA, 104, 19931-19935.
39. Stelling,J. et al. (2004a) Robustness of cellular functions. Cell, 118, 675-685.
40. Stelling,J. et al. (2004b) Robustness properties of circadian clock architectures. Proc. Natl Acad. Sci. USA, 101, 13210-13215.
41. Vecchio,D.D. et al. (2008) Modular cell biology: Retroactivity and insulation. Mol. Syst. Biol., 4, 161.
42. von Dassow,G. et al. (2000) The segment polarity network is a robust developmental module. Nature, 406, 188-192.
43. Yi,T. et al. (2000) Robust perfect adaptation in bacterial chemotaxis through integral feedback control. Proc. Natl Acad. Sci. USA, 97, 4649-4653.