Robustness analysis and behavior discrimination in enzymatic reaction networks

PLoS ONE

Volumn 6, Issue 9, 2011, Pages

  Donzé, Alexandre ^a   Fanchon, Eric ^a   Gattepaille, Lucie Martine ^a,b   Maler, Oded ^a   Tracqui, Philippe ^a  

^a VERIMAG   (France)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COLLAGEN; GELATINASE A; MATRIX METALLOPROTEINASE 14; TISSUE INHIBITOR OF METALLOPROTEINASE 2; ENZYME;

ALGORITHM; ANALYTIC METHOD; ANALYTICAL PARAMETERS; ARTICLE; BIOCHEMISTRY; ENZYME ACTIVATION; ENZYME ACTIVITY; ENZYME ANALYSIS; ENZYME INHIBITION; ENZYME MECHANISM; MOLECULAR DYNAMICS; MOLECULAR MODEL; MONTE CARLO METHOD; OSCILLATION; PROTEIN DEGRADATION; SENSITIVITY ANALYSIS; STEADY STATE; BIOLOGICAL MODEL; CELL FUNCTION; CHEMISTRY; METABOLISM; METHODOLOGY; OSCILLOMETRY; STATISTICAL MODEL; SYSTEMS BIOLOGY; TIME;

ALGORITHMS; BIOCHEMISTRY; CELL PHYSIOLOGICAL PHENOMENA; ENZYMES; MATRIX METALLOPROTEINASE 14; MATRIX METALLOPROTEINASE 2; MODELS, BIOLOGICAL; MODELS, STATISTICAL; MONTE CARLO METHOD; OSCILLOMETRY; SYSTEMS BIOLOGY; TIME FACTORS; TISSUE INHIBITOR OF METALLOPROTEINASE-2;

EID: 80053190203     PISSN: None     EISSN: 19326203     Source Type: Journal    
DOI: 10.1371/journal.pone.0024246     Document Type: Article

References (42)

1. Gruel J, Leborgne M, Lemeur N, Théret N, (2009) In silico investigation of ADAM12 effect on TGF-beta receptors trafficking. BMC research notes 2.
2. Voit EO, (2000) Computational analysis of biochemical systems Cambridge University Press.
3. Gutenkunst RN, Waterfall JJ, Casey FP, Brown KS, Myers CR, et al. (2007) Universally sloppy parameter sensitivities in systems biology models. PLoS Comput Biol 3: e189.
4. Coelho PMBM, Salvador A, Savageau MA, (2009) Quantifying global tolerance of biochemical systems: Design implications for moiety-transfer cycles. PLoS Comput Biol 5: e1000319.
5. Gunawardena J, (2009) Models in systems biology: the parameter problem and the meanings of robustness. Elements of Computational Systems Biology pp. 21.
6. Kiparissides A, Kucherenko SS, Mantalaris A, Pistikopoulos EN, (2009) Global sensitivity analysis challenges in biological systems modeling. Industrial and Engineering Chemistry Research 48: 7168-7180.
7. Dayarian A, Chaves M, Sontag ED, Sengupta AM, (2009) Shape, size, and robustness: feasible regions in the parameter space of biochemical networks. PLoS Comput Biol 5: e1000256.
8. Saltelli A, Ratto M, Tarantola S, Campolongo F, (2005) Sensitivity analysis for chemical models. Chemical Reviews 105: 2811-2828.
9. Sobol' I, Kucherenko S, (2010) A new derivative based importance criterion for groups of variables and its link with the global sensitivity indices. Computer Physics Communications 181: 1212-217.
10. Hafner M, Koeppl H, Hasler M, Wagner A, (2009) glocal robustness analysis and model discrimination for circadian oscillators. PLoS Comput Biol 5: e1000534.
11. Chabrier N, Fages F, (2003) Symbolic model checking of biochemical networks. In: Priami C, editors. Computational Methods in Systems Biology, Springer Berlin/Heidelberg, volume 2602 of Lecture Notes in Computer Science pp. 149-162.
12. Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, et al. (2005) Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach. IJCAI pp. 370-375.
13. Antoniotti M, Policriti A, Ugel N, Mishra B, (2003) Model building and model checking for biochemical processes. Cell Biochem Biophys 38: 271-86.
14. Pnueli A, (1977) The temporal logic of programs. pp. 46-57 In: Proc. 18th Annual Symposium on Foundations of Computer Science (FOCS).
15. Baier C, Katoen JP, (2008) Principles of model checking MIT Press pp. I-XVII 1-975.
16. Chaves M, Sontag E, Albert R, (2006) Methods of robustness analysis for boolean models of gene control networks. IET Systems Biology 153: 154-167.
17. Maler O, Nickovic D, Pnueli A, (2008) Checking temporal properties of discrete, timed and continuous behaviors. Pillars of Computer Science pp. 475-505.
18. Donzé A, Maler O, (2010) Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee K, Henzinger TA, editors. FORMATS. Springer, volume 6246 of Lecture Notes in Computer Science pp. 92-106.
19. Donzé A, Clermont G, Langmead CJ, (2010) Parameter synthesis in nonlinear dynamical systems: Application to systems biology. J Comp Biol 17: 325-336.
20. Niederreiter H, (1992) Random number generation and quasi-monte carlo methods. In: 63 in CBMS-NSF Regional Conference Series in Applied Mathematics, Society for Industrial and Applied Mathematics.
21. Murphy G, Nagase H, (2008) Progress in matrix metalloproteinase research. Molecular Aspects of Medicine 29: 290-308.
22. Gingras D, Bliveau R, (2010) Emerging concepts in the regulation of membrane-type 1 matrix metalloproteinase activity. Biochimica et Biophysica Acta (BBA)- Molecular Cell Research 1803: 142-150.
23. Karagiannis ED, Popel AS, (2004) A theoretical model of type i collagen proteolysis by matrix metalloproteinase (mmp) 2 and membrane type 1 mmp in the presence of tissue inhibitor of metalloproteinase 2. Journal of Biological Chemistry 279: 39105-39114.
24. Gattepaille Lucie Martine EF, Tracqui P, (2009) CellML model for collagen type I proteolysis by matrix metalloproteinases proposed by Karagiannis and Popel 2004. URL http://models.cellml.org/workspace/karagiannis_popel_2004/. CellML website, Accessed 2011 August 24.
25. Donzé A, (2010) Breach, a toolbox for verification and parameter synthesis of hybrid systems. CAV pp. 167-170.
26. Dang T, Le Guernic C, Maler O, (2009) Computing reachable states for nonlinear biological models. CMSB pp. 126-141.
27. Hahn T, (2005) Cuba-a library for multidimensional numerical integration. Computer Physics Communications 168: 78-95.
28. Faure H, Lemieux C, (2009) Generalized halton sequences in 2008: A comparative study. ACM Trans Model Comput Simul 19: 15:1-15:31.
29. Manna Z, Pnueli A, (1991) The Temporal Logic of Reactive and Concurrent Systems: Specification Springer-Verlag New York.
30. Koymans R, (1990) Specifying real-time properties with metric temporal logic. Real-Time Syst 2: 255-299.
31. Alur R, Feder T, Henzinger T, (1996) The benefits of relaxing punctuality. J ACM 43: 116-146.
32. Fages F, Rizk A, (2009) From model-checking to temporal logic constraint solving. CP pp. 319-334.
33. Rizk A, Batt G, Fages F, Soliman S, (2009) A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25: i169-178.
34. Rizk A, Batt G, Fages F, Soliman S, (2008) On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. CMSB pp. 251-268.
35. Fainekos GE, Pappas GJ, (2009) Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science 410: 4262-4291.
36. Kleinberg S, Mishra B, (2009) Metamorphosis: the coming transformation of translational systems biology. Queue 7: 40-52.
37. Laeur MA, Handsley MM, Knauper V, Murphy G, Edwards DR, (2002) Endothelial tubulogenesis within fibrin gels specifically requires the activity of membrane-type-matrix metalloproteinases (MT-MMPs). J Cell Sci 115: 3427-3438.
38. Stéphanou A, Meskaoui G, Vailhé B, Tracqui P, (2007) The rigidity in fibrin gels as a contributing factor to the dynamics of in vitro vascular cord formation. Microvascular Research 73: 182-190.
39. Kinoshita T, Sato H, Okada A, Ohuchi E, Imai K, et al. (1998) Timp-2 promotes activation of progelatinase a by membrane-type 1 matrix metalloproteinase immobilized on agarose beads. J Biol Chem 273: 16098-103.
40. Fisher J, Henzinger TA, (2006) Executable biology. pp. 1675-1682 In: Proceedings of the 38th conference on Winter simulation. Winter Simulation Conference, WSC '06.
41. Kugler H, Larjo A, Harel D, (2010) Biocharts: a visual formalism for complex biological systems. Journal of The Royal Society Interface 7: 1015-1024.
42. Cook B, Fisher J, Krepska E, Piterman N, (2011) Proving stabilization of biological systems. In: Jhala R, Schmidt D, editors. Verification, Model Checking, and Abstract Interpretation, Springer Berlin/Heidelberg, volume 6538 of Lecture Notes in Computer Science pp. 134-149.