On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology

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

Volumn 5307 LNBI, Issue , 2008, Pages 251-268

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

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIO-CHEMICALS; BIOLOGICAL EXPERIMENTS; BIOLOGICAL MODELS; BIOLOGICAL PROPERTIES; CELL CYCLES; DEGREE OF SATISFACTIONS; FITNESS FUNCTIONS; MAPK SIGNALLING; ONE STEPS; SEARCH METHODS; SYSTEMS BIOLOGIES; TEMPORAL LOGIC FORMULAS;

BIOLOGY; FLOW OF GASES; FUNCTION EVALUATION; MODEL CHECKING; SPECIFICATIONS;

TEMPORAL LOGIC;

EID: 57049127120     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88562-7_19     Document Type: Conference Paper

References (38)

1. Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 995-1072. MIT Press, Cambridge (1990)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sönmez, M.K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the seventh Pacific Symposium on Biocomputing, pp. 400-412 (2002)
4. Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149-162. Springer, Heidelberg (2003)
5. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science 325, 25-44 (2004)
6. Bernot, G., Comet, J.P., Richard, A., Guespin, J.: A fruitful application of formal methods to biological regulatory networks: Extending thomas' asynchronous logical approach with temporal logic. Journal of Theoretical Biology 229, 339-347 (2004)
7. Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the continuous time markow chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 44-67. Springer, Heidelberg (2006) (CMSB 2005 Special Issue)
8. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. In: Priami, C (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 32-47. Springer, Heidelberg (2006)
9. Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 68-94. Springer, Heidelberg (2006) (CMSB 2005 Special Issue)
10. Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38, 271-286 (2003)
11. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21, i19-i28 (2005)
12. Fages, F.: Temporal logic constraints in the biochemical abstract machine BIOCHAM (invited talk). In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol. 3901, pp. 1-5. Springer, Heidelberg (2006)
13. Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10, 2703-2734 (1999)
14. Fages, F., Rizk, A.: On temporal logic constraint solving for the analysis of numerical data time series. Theoretical Computer Science (2008) (CMSB 2007 special issue)
15. Batt, G., Yordanov, B., Weiss, R., Belta, C.: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23, 2415-2422 (2007)
16. Segel, L.A.: Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, Cambridge (1984)
17. Szallasi, Z., Stelling, J., Periwal, V. (eds.): System Modeling in Cellular Biology: From Concepts to Nuts and Bolts. MIT Press, Cambridge (2006)
18. Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531 (2003)
19. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4, 64-73 (2004)
20. Calzone, L., Fages, F., Soliman, S.: BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22, 1805-1807 (2006)
21. Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 200-216. Springer, Heidelberg (2007)
22. Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid petri net representation of gene regulatory network. In: Proceedings of the 5th Pacific Symposium on Biocomputing, pp. 338-349 (2000)
23. Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31 (2001)
24. Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology, Special issue of BioConcur 2004 (to appear, 2004)
25. Nickovic, D., Maler, O.: Amt: a property-based monitoring tool for analog systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 304-319. Springer, Heidelberg (2007)
26. Kitano, H.: Towards a theory of biological robustness. Molecular Systems Biology 3, 137 (2007)
27. Hansen, N., Ostermeier, A.: Completely derandomized self-adaptation in evolution strategies. Evolutionary Computation 9, 159-195 (2001)
28. Chen, K.C., Csikász-Nagy, A., Györffy, B., Val, J., Novak, B., Tyson, J.J.: Kinetic analysis of a molecular model of the budding yeast cell cycle. Molecular Biology of the Cell 11, 369-391 (2000)
29. Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS 97, 5818-5823 (2000)
30. Qiao, L., Nachbar, R.B., Kevrekidis, I.G., Shvartsman, S.Y.: Bistability and oscillations in the huang-ferrell model of mapk signaling. PLoS Computational Biology 3, 1819-1826 (2007)
31. Fages, F., Soliman, S.: From reaction models to influence graphs and back: a theorem. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054. Springer, Heidelberg (2008)
32. Ventura, A.C., Sepulchre, J.A., Merajver, S.D.: A hidden feedback in signaling cascades is revealed. PLoS Computational Biology (to appear, 2008)
33. Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35, 14-21 (2008)
34. de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching metrics for quantitative transition systems. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004."LNCS, vol. 3142, pp. 97-109. Springer, Heidelberg (2004)
35. Fainekos, G., Pappas, G.: Robustness of temporal logic specifications. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 178-192. Springer, Heidelberg (2006)
36. Fainekos, G., Pappas, G.: Robust sampling for MITL specifications. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 147-162. Springer, Heidelberg (2007)
37. Dang, T., Donze, A., Maler, O., Shalev, N.: Sensitive state space exploration (submitted, 2008), http://www-verimag.imag.fr/~maier/
38. Chaves, M., Sontag, E., Sengupta, A.: Shape, size and robustness: feasible regions in the parameter space of biochemical networks (submitted, 2008) arXiv:0710.4269v1