Dynamical systems and stochastic programming: To ordinary differential equations and back

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

Volumn 5750 LNBI, Issue , 2009, Pages 216-267

  Bortolussi, Luca ^a   Policriti, Alberto ^b,c  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c Applied Genomics Institute   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL MODEL; CHEMICAL KINETICS; CONCURRENT CONSTRAINT PROGRAMMING; CONVERGENCE THEOREM; INVERTIBILITY;

BIOLOGICAL SYSTEMS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DYNAMICAL SYSTEMS; MAPPING; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 70450176968     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04186-0_11     Document Type: Conference Paper

References (53)

1. Converging sciences. Trento (2004), http://www.unitn.it/events/consci/
2. Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G., Rubin, H., Schug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 19-32. Springer, Heidelberg (2001)
3. Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38(3), 271-286 (2003)
4. Aziz, A., Singhal, V., Balarin, F., Brayton, R., Sangiovanni-Vincentelli, A.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102. Springer, Heidelberg (1996)
5. Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. T. Comp. Sys. Biology, 99-122 (2006)
6. Blossey, R., Cardelli, L., Phillips, A.: Compositionality, stochasticity and coopera-tivity in dynamic models of gene regulation. HFPS Journal (2007) (in print)
7. Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). ENTCS, vol. 164, pp. 65-80 (2006)
8. Bortolussi, L.: Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis, PhD in Computer Science, University of Udine (2007), http://www.dmi.units.it/~bortolu/files/reps/Bortolussi-PhDThesis.pdf
9. Bortolussi, L.: A master equation approach to differential approximations of stochastic concurrent constraint programming. In: Proceedings of QAPL 2008. ENTCS (2008) (to appear)
10. Bortolussi, L., Fonda, S., Policriti, A.: Constraint-based simulation of biological systems described by molecular interaction maps. In: Proceedings of IEEE conference on Bioinformatics and Biomedicine, BIBM 2007 (2007)
11. Bortolussi, L., Policriti, A.: Relating stochastic process algebras and differential equations for biological modeling. In: Proceedings of PASTA 2006 (2006)
12. Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. In: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007. ENTCS, vol. 16713 (2007)
13. Bortolussi, L., Policriti, A.: Hybrid approximation of stochastic concurrent constraint programming. In: Proceedings of IFAC 2008 (2008)
14. Bortolussi, L., Policriti, A.: The importance of being (a little bit) discrete. In: Proceedings of FBTC 2008. ENTCS (2008) (to appear)
15. Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1) (2008)
16. Cardelli, L.: From processes to odes by chemistry (2006), http://lucacardelli.name/
17. Cardelli, L.: On process rate semantics. Theoretical Computer Science 391(3), 190-215 (2008)
18. Ciocchetta, F., Hillston, J.: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: Proceeding of FBTC 2007. Workshop of CONCUR 2007 (2007)
19. Seattle CompBio Group, Institute for Systems Biology. Dizzy home page
20. Cornish-Bowden, A.: Fundamentals of Chemical Kinetics, 3rd edn. Portland Press (2004)
21. Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403, 335-338 (2000)
22. Geisweiller, N., Hillston, J., Stenico, M.: Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science (2008) (in print)
23. Gillespie, D.: The chemical langevin equation. Journal of Chemical Physics 113(1), 297-306 (2000)
24. Gillespie, D., Petzold, L.: Numerical Simulation for Biochemical Kinetics. In: System Modelling in Cellular Biology. MIT Press, Cambridge (2006)
25. Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. of Computational Physics 22 (1976)
26. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81(25) (1977)
27. Haas, P.J.: Stochastic Petri Nets. Springer, Heidelberg (2002)
28. Hastings, S.P., Murray, J.D.: The existence of oscillatory solutions in the field-noyes model for the belousov-zhabotinskii reaction. SIAM Journal on Applied Mathematics 28(3), 678-688 (1975)
29. Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (1996)
30. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
31. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, QEST 2005 (2005)
32. Kitano, H.: Foundations of Systems Biology. MIT Press, Cambridge (2001)
33. Kitano, H.: Computational systems biology. Nature 420, 206-210 (2002)
34. Kohn, K.W., Aladjem, M.I., Weinstein, J.N., Pommier, Y.: Molecular interaction maps of bioregulatory networks: A general rubric for systems biology. Molecular Biology of the Cell 17(1), 1-13 (2006)
35. Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump markov processes. Journal of Applied Probability 7, 49-58 (1970)
36. Kurtz, T.G.: Limit theorems for sequences of jump markov processes approximating ordinary differential processes. Journal of Applied Probability 8, 244-356 (1971)
37. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with prism: A hybrid approach. International Journal on Software Tools for Technology Transfer 6(2), 128-142 (2004)
38. Mcadams, H.H., Arkin, A.: Stochastic mechanisms in gene expression. PNAS 94, 814-819 (1997)
39. Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)
40. Noyes, R.M., Field, R.J.: Oscillatory chemical reactions. Annual Review of Physical Chemistry 25, 95-119 (1974)
41. Nurse, P.: Understanding cells. Nature 24 (2003)
42. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program., 60-61, 17-139 (2004)
43. Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C++: The Art of Scientific Computing. Cambridge University Press, Cambridge (2002)
44. Priami, C.: Stochastic π-calculus. The Computer Journal 38(6), 578-589 (1995)
45. Priami, C., Regev, A., Shapiro, E.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25-31 (2001)
46. Ramsey, S., Orrell, D., Bolouri, H.: Dizzy: stochastic simulation of large-scale genetic regulatory networks. Journal of Bioinformatics and Computational Biology 3(2), 415-436 (2005)
47. Rao, C.V., Arkin, A.P.: Stochastic chemical kinetics and the quasi-steady state assumption: Application to the gillespie algorithm. Journal of Chemical Physics 118(11), 4999-5010 (2003)
48. Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature 419 (2002)
49. Saraswat, V.A.: Concurrent Constraint Programming. MIT press, Cambridge (1993)
50. Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D.: Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations. Bioinformatics 19(5), 677-678 (2003)
51. Strogatz, S.H.: Non-Linear Dynamics and Chaos, with Applications to Physics, Biology, Chemistry and Engeneering. Perseus books, Cambridge (1994)
52. Vilar, J.M.G., Yuan Kueh, H., Barkai, N., Leibler, S.: Mechanisms of noise resistance in genetic oscillators. PNAS 99(9), 5991 (2002)
53. Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)