Hybrid semantics of stochastic programs with dynamic reconfiguration

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 6, Issue , 2009, Pages 63-76

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

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c Istituto di Genomica Applicata   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMISTRY; COMPUTATION THEORY; COMPUTATIONAL METHODS; DYNAMIC MODELS; HYBRID SYSTEMS; MARKOV PROCESSES; SEMANTICS; STOCHASTIC PROGRAMMING;

BIOCHEMICAL SYSTEMS; DISCRETE DYNAMICS; DISCRETE/CONTINUOUS; DYNAMIC RE-CONFIGURATION; HYBRID SIMULATION; PIECEWISE DETERMINISTIC MARKOV PROCESS; STOCHASTIC PROCESS ALGEBRAS; TRANSLATION SCHEMES;

STOCHASTIC SYSTEMS;

EID: 84878838452     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.6.5     Document Type: Conference Paper

References (32)

1. Supplementary matherial to the paper available online at: http://www.dmi.units.it/~bortolu/sccp.htm.
2. A. Alfonsi, E. Cances, G. Turinici, B. Di Ventura & W. Huisinga (2005): Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems. In: Proceedings of ESAIM, 14. pp. 1–13.
3. L. Bortolussi (2006): Stochastic Concurrent Constraint Programming. In: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), ENTCS 164. pp. 65–80.
4. L. Bortolussi & A. Policriti (2009): Dynamical systems and stochastic programming - from Ordinary Differential Equations and back. Transactions of Computational Systems Biology, in print.
5. L. Bortolussi & A. Policriti (2007): Stochastic Concurrent Constraint Programming and Differential Equations. In: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, ENTCS 167.
6. L. Bortolussi & A. Policriti (2008): Modeling Biological Systems in Concurrent Constraint Programming. Constraints 13(1).
7. L. Bortolussi & A. Policriti (2009): Hybrid Dynamics of Stochastic π-calculus. Mathematics in Computer Science 2(3), pp. 465–491.
8. L. Bortolussi & A. Policriti (2009): Hybrid Dynamics of Stochastic Programs. Submitted to Theor. Comp. Sc. .
9. L. Bortolussi & A. Policriti (2009): Stochastic Programs and Hybrid Automata for (Biological) Modeling. In: Proceedings of CiE 2009.
10. M.L. Bujorianu & J. Lygeros (2004): General Stochastic Hybrid Systems: Modeling and Optimal Control. In: Proceedings of 43rd IEEE Conference on Decision and Control (CDC 2004). pp. 182–187.
11. M. Calder, S. Gilmore & J. Hillston (2006): Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology 4230, pp. 1–23.
12. M.H.A. Davis (1993): Markov Models and Optimization. Chapman & Hall.
13. D. Gillespie (2000): The chemical Langevin equation. Journal of Chemical Physics 113(1), pp. 297–306.
14. D.T. Gillespie (1976): A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. J. of Computational Physics 22.
15. D.T. Gillespie (1977): Exact Stochastic Simulation of Coupled Chemical Reactions. J. of Physical Chemistry 81(25).
16. M. Griffith, T. Courtney, J. Peccoud & W.H. Sanders (2006): Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. Bioinformatics 22(22), pp. 2782–2789.
17. V. Gupta, R. Jagadeesan & P. Panangaden (1999): Stochastic processes as concurrent constraint programs. In: Proceedings of POPL’99.
18. V. Gupta, R. Jagadeesan & V.A. Saraswat (1997): Probabilistic Concurrent Constraint Programming. In: Proceedings of CONCUR’97.
19. E.L. Haseltine & J.B. Rawlings (2002): Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. Journal of Chemical Physics 117(15).
20. E.L. Haseltine & J.B. Rawlings (2005): On the origins of approximations for stochastic chemical kinetics. J. Chem. Phys. 123.
21. T. A. Henzinger (1996): The theory of hybrid automata. In: LICS’96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science.
22. J. Hillston (2005): Fluid Flow Approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST05).
23. T.R. Kiehl, R.M. Mattheyses & M.K. Simmons (2004): Hybrid Simulation of Cellular Behavior. Bioinformatics 20(3), pp. 316–322.
24. N. A. Neogi (2004): Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. In: Proceedings of 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, LNCS 2993. pp. 463–476.
25. J. Pahle (2009): Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Brief Bioinform. 10(1), pp. 53–64.
26. A. Di Pierro & H. Wiklicky (1998): An operational semantics for probabilistic concurrent constraint programming. In: Proceedings of IEEE Computer Society International Conference on Computer Languages.
27. A. Regev & E. Shapiro (2002): Cellular Abstractions: Cells as Computation. Nature 419.
28. H. Salis & Y. Kaznessis (2005): Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. Journal of Chemical Physics 122.
29. V. Saraswat & M. Rinard (1990): Concurrent Constraint Programming. In: Proceedings of 18th Symposium on Principles Of Programming Languages (POPL).
30. V. A. Saraswat (1993): Concurrent Constraint Programming. MIT press.
31. S. Strubbe & A. van der Schaft (2007): Stochastic Hybrid Systems, chapter Compositional Modeling of Stochastic Hybrid Systems, pp. 47–78. CRC Press.
32. D. J. Wilkinson (2006): Stochastic Modelling for Systems Biology. Chapman & Hall.