Hybrid approximation of stochastic process algebras for systems biology

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Bortolussi, Luca ^a   Policriti, Alberto ^a  

^a NONE

Author keywords

Dynamics and control; Modelling and identification

Indexed keywords

APPROXIMATE MODEL; CONCURRENT CONSTRAINT PROGRAMMING; DISCRETE DYNAMICS; DYNAMICS AND CONTROL; HYBRID AUTOMATONS; MODELLING AND IDENTIFICATION; STOCHASTIC PROCESS; STOCHASTIC PROCESS ALGEBRAS; SYSTEMS BIOLOGY;

AUTOMATA THEORY; BIOLOGICAL SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DYNAMICAL SYSTEMS; DYNAMICS; IDENTIFICATION (CONTROL SYSTEMS); LOGIC PROGRAMMING; ORDINARY DIFFERENTIAL EQUATIONS; RANDOM PROCESSES; TRANSLATION (LANGUAGES);

STOCHASTIC MODELS;

EID: 79961017924     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.2419     Document Type: Conference Paper

References (22)

1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Proceedings of HSCC, LNCS 2034, pages 19-32, 2001. (Pubitemid 33256406)
2. M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra. Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics, 38(3):271-286, 2003. (Pubitemid 41270809)
3. R. Blossey, L. Cardelli, and A. Phillips. A compositional approach to the stochastic dynamics of gene networks. T. Comp. Sys. Biology, pages 99-122, 2006.
4. R. Blossey, L. Cardelli, and A. Phillips. Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFPS Journal, in print, 2007.
5. L. Bortolussi. Stochastic concurrent constraint programming. In Proceedings of QAPL 2006, ENTCS, volume 164, pages 65-80, 2006.
6. L. Bortolussi. Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis in Computer Science, Univ. of Udine, 2007. http://www.dmi.units.it/~bortolu/files/reps/Bortolussi-PhDThesis.pdf.
7. L. Bortolussi and A. Policriti. Modeling biological systems in concurrent constraint programming. Constraints, 13(1), 2008.
8. L. Bortolussi and A. Policriti. Stochastic concurrent constraint programming and dierential equations. In Proceedings of QAPL 2007, 2007.
9. L. Cardelli. From processes to odes by chemistry. downloadable from http://lucacardelli.name/, 2006.
10. M.B. Elowitz and S. Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403:335-338, 2000.
11. D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry, 81(25), 1977.
12. T. A. Henzinger. The theory of hybrid automata. In Proceedings of LICS'96, 1996.
13. J. Hillston. Fluid-flow approximation of pepa models. In Proceedings of QEST 2005, 2005.
14. H. Kitano. Foundations of Systems Biology. MIT Press, 2001.
15. H. Kitano. Computational systems biology. Nature, 420:206-210, 2002.
16. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with prism: A hybrid approach. Int. Jo. on Software Tools for Technology Transfer, 6(2):128-142, September 2004.
17. J. R. Norris. Markov Chains. Cambridge University Press, 1997.
18. C. Priami and P. Quaglia. Modelling the dynamics of biosystems. Briefings in Bioinformatics, 5(3):259-269, 2004.
19. A. Regev and E. Shapiro. Cellular abstractions: Cells as computation. Nature, 419, 2002.
20. S. M. Ross. Stochastic Processes. Wiley, New York, 1996.
21. V. A. Saraswat. Concurrent Constraint Programming. MIT press, 1993.
22. D. J. Wilkinson. Stochastic Modelling for Systems Biology. Chapman & Hall, 2006.