Statistical model checking based calibration and analysis of bio-pathway models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8130 LNBI, Issue , 2013, Pages 120-134

  Palaniappan, Sucheendra K ^a   Gyori, Benjamin M ^b   Liu, Bing ^c   Hsu, David ^a,b   Thiagarajan, P S ^a,b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^c NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CELL-TO-CELL VARIABILITY; DYNAMICAL PROPERTIES; FORMAL SPECIFICATION; INITIAL CONCENTRATION; ORDINARY DIFFERENTIAL EQUATION (ODE); PHOSPHORYLATION PATHWAYS; QUALITATIVE PROPERTIES; STATISTICAL MODEL CHECKING;

COMPUTATIONAL METHODS; MODEL CHECKING; PARAMETER ESTIMATION; PROBABILITY DISTRIBUTIONS; SENSITIVITY ANALYSIS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 84885985126     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40708-6_10     Document Type: Conference Paper

References (33)

1. De Ferrari, G.V., Inestrosa, N.C.: Wnt signaling function in Alzheimer's disease. Brain Res. Rev. 33, 1-12 (2000)
2. Aldridge, B.B., Burke, J.M., Lauffenburger, D.A., Sorger, P.K.: Physicochemical modelling of cell signalling pathways. Nat. Cell Biol. 8(11), 1195-1203 (2006)
3. Wilkinson, D.: Stochastic modelling for systems biology. CRC Press (2011)
4. Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems biology in practice: concepts, implementation and application. Wiley-VCH, Weinheim (2005)
5. Spencer, S., Gaudet, S., Albeck, J., Burke, J., Sorger, P.: Non-genetic origins of cell-to-cell variability in TRAIL-induced apoptosis. Nature 459(7245), 428-432 (2009)
6. Snijder, B., Pelkmans, L.: Origins of regulated cell-to-cell variability. Nature Reviews Molecular Cell Biology 12(2), 119-125 (2011)
7. Weiße, A., Middleton, R., Huisinga, W.: Quantifying uncertainty, variability and likelihood for ordinary differential equation models. BMC Systems Biology 4(1), 144 (2010)
8. Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilisticmodel checking. International Journal on Software Tools for Technology Transfer 8, 216-228 (2006)
9. Moles, C.G., Mendes, P., Banga, J.R.: Parameter estimation in biochemical pathways: A comparison of global optimization methods. Genome Res. 13(11), 2467-2474 (2003)
10. Runarsson, T., Yao, X.: Stochastic ranking for constrained evolutionary optimization. IEEE T. Evolut. Comput. 4, 284-294 (2000)
11. Saltelli, A., Ratto, M., Andres, T., Campolongo, F., Cariboni, J., Gatelli, D., Saisana, M., Tarantola, S.: Global sensitivity analysis: the primer. Wiley-Interscience (2008)
12. Cho, K.H., Shin, S.Y., Kolch, W., Wolkenhauer, O.: Experimental design in systems biology, based on parameter sensitivity analysis using a Monte Carlo method: A case study for the TNFα-mediated NF-κB signal transduction pathway. Simulation 79(12), 726-739 (2003)
13. Le Novere, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J., Hucka, M.: BioModels Database: A free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res. 34, D689-D691 (2006)
14. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218-234. Springer, Heidelberg (2009)
15. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391(3), 239-257 (2008)
16. Li, C., Nagasaki, M., Koh, C.H., Miyano, S.: Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. Mol. Biosyst. 7(5), 1576-1592 (2011)
17. Liu, B., Hagiescu, A., Palaniappan, S.K., Chattopadhyay, B., Cui, Z.,Wong, W., Thiagarajan, P.S.: Approximate probabilistic analysis of biopathway dynamics. Bioinformatics 28(11), 1508-1516 (2012)
18. Donaldson, R., Gilbert, D.: A monte carlo model checker for probabilistic ltl with numerical constraints. University of Glasgow, Dep. of CS, Tech. Rep. (2008)
19. Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 269-287. Springer, Heidelberg (2008)
20. Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in BioLab: Applications to the automated analysis of T-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 231-250. Springer, Heidelberg (2008)
21. Maler, O.: On under-determined dynamical systems. In: Proceedings of the Ninth ACM International Conference on Embedded Software, pp. 89-96. ACM (2011)
22. Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. T. Comput. Syst. Biol. VI, 68-94 (2006)
23. Rizk, A., Batt, G., Fages, F., Soliman, S.: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 251-268. Springer, Heidelberg (2008)
24. Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18), i603-i610 (2010)
25. Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.: On parameter synthesis by parallel model checking. IEEE/ACM T. Comput. Bi. 9(3), 693-705 (2012)
26. Supplementary information and source code, http://www.comp.nus.edu.sg/ ~rpsysbio/SMC/
27. Hirsch, M., Smale, S., Devaney, R.: Differential equations, dynamical systems, and an introduction to chaos. Academic Press (2012)
28. Hérault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73-84. Springer, Heidelberg (2004)
29. Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inform. Comput. 204, 1368-1409 (2006)
30. Goldberg, D.: Genetic algorithms in search, optimization, and machine learning. Addison-Wesley (1989)
31. Hindmarsh, A., Brown, P., Grant, K., Lee, S., Serban, R., Shumaker, D., Woodward, C.: SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers. ACM T. Math. Software 31(3), 363-396 (2005)
32. Vanlier, J., Tiemann, C., Hilbers, P., van Riel, N.: An integrated strategy for prediction uncertainty analysis. Bioinformatics 28(8), 1130-1135 (2012)
33. 2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response. Genes Cells 11, 1071-1083 (2006)