(Hybrid) automata and (stochastic) programs: The hybrid automata lattice of a stochastic program

Journal of Logic and Computation

Volumn 23, Issue 4, 2013, Pages 761-798

  Bortolussi, Luca ^a   Policriti, Alberto ^b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

biological modeling; computational systems biology; hybrid automata; hybrid simulation algorithms; Markov chains; stochastic concurrent constraint programming; Stochastic process algebras

Indexed keywords

BIOLOGICAL MODELING; COMPUTATIONAL SYSTEMS BIOLOGY; CONCURRENT CONSTRAINT PROGRAMMING; HYBRID AUTOMATONS; HYBRID SIMULATION; STOCHASTIC PROCESS ALGEBRAS;

ALGEBRA; COMPUTER PROGRAMMING; CONSTRAINT THEORY; MARKOV PROCESSES; SEMANTICS; STOCHASTIC SYSTEMS;

AUTOMATA THEORY;

EID: 84880556882     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exr045     Document Type: Conference Paper

References (39)

1. A. Alfonsi, E. Cances, G. Turinici, B. Di Ventura, and W. Huisinga. Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems. In European Series in Applied and Industrial Mathematics (ESAIM): Proceedings, Vol. 14, pp. 1-13, 2005.
2. R.Alur and D. L. Dill.Atheory of timed automata. Theoretical Computer Science, 126, 183-235, 1994.
3. R. Blossey, L. Cardelli, and A. Phillips. A compositional approach to the stochastic dynamics of gene networks. Transactions on Computational Systems Biology, pp. 99-122, 2006.
4. L. Bortolussi, S. Fonda, and A. Policriti. Constraint-based simulation of biological systems described by molecular interaction maps. In Proceedings of IEEE conference on Bioinformatics and Biomedicine, BIBM 2007, pp. 288-293. IEEE Computer Society, 2007.
5. M. L. Bujorianu and J. Lygeros. General stochastic hybrid systems: Modeling and optimal control. In Proceedings of 43rd IEEE Conference on Decision and Control (CDC 2004), pp. 182-187, 2004.
6. L. Bortolussi. Stochastic concurrent constraint programming. In Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Vol. 164 of ENTCS, pp. 65-80, 2006.
7. L. Bortolussi. Limit behavior of the hybrid approximation of stochastic process algebras. In Proceedings of 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2010, Vol. 6148 of Lecture Notes in Computer Science, pp. 367-381. Springer, 2010.
8. L. Bortolussi and A. Policriti. Hybrid approximation of stochastic concurrent constraint programming. In Proceeding of International Federation of Automatic Control (IFAC) World Congress 2008, 2008.
9. L. Bortolussi and A. Policriti. Modeling biological systems in concurrent constraint programming. Constraints, 13, 66-90, 2008.
10. L. Bortolussi and A. Policriti. Modeling biological systems in concurrent constraint programming. Constraints, 13, 2008.
11. L. Bortolussi and A. Policriti. Dynamical systems and stochastic programming - from ordinary differential equations and back. Transactions on Computational Systems Biology XI, Vol. 5750 pp. 216-267, 2009.
12. L. Bortolussi and A. Policriti. Hybrid dynamics of stochastic π-calculus. Mathematics in Computer Science, 2, 465-491, 2009.
13. L. Bortolussi and A. Policriti. Hybrid semantics of stochastic programs with dynamic reconfiguration. In Proceedings Second InternationalWorkshop on Computational Models for Cell Processes, COMPMOD 2009, pp. 63-76, 2009.
14. L. Bortolussi and A. Policriti. The importance of being (a little bit) discrete. In Proceedings of First InternationalWorkshop From Biology To Concurrency (and Back), FBTC 2008, Vol. 229 of Electronic Notes in Theoretical Computer Science, pp. 75-92, 2009.
15. L. Bortolussi and A. Policriti. Stochastic programs and hybrid automata for (biological) modeling. In Proceedings 5th Conference on Computability in Europe, CiE 2009, Vol. 5635 of Lecture Notes in Computer Science, pp. 37-48. Springer, 2009.
16. L. Bortolussi and A. Policriti. Tales of spatiality in stochastic concurrent constraint programming. In Proceedings of Bio Logic 09, pp. 42-52, 2009.
17. L. Bortolussi and A. Policriti. Hybrid dynamics of stochastic programs. Theoretical Computer Science, 411, 2052-2077, 2010.
18. CompBio Group, Seattle, Institute for Systems Biology. Dizzy home page. Available at http://magnet.systemsbiology.net/software/Dizzy/ (last accessed on 1 December, 2011).
19. N. Cutland. Computability: An Introduction to Recursive Function Theory. Cambridge University Press, 1980.
20. M. H. A. Davis. Markov Models and Optimization. Chapman & Hall, 1993.
21. J. Fisher and T. A. Henzinger. Executable biology. In Proceedings of the Winter Simulation Conference, WSC 2006, pp. 1675-1682, 2006.
22. V. Galpin, L. Bortolussi, and J. Hillston. Hype: A process algebra for compositional flows and emergent behaviour. In Proceedings of CONCUR 2009,Vol. 5710 of Lecture Notes in Computer Science, pp. 305-320, 2009.
23. V. Galpin, L. Bortolussi, and J. Hillston. Hybrid modelling by composition of flows. Formal Aspects of Computing, in print.
24. M. Griffith, T. Courtney, J. Peccoud, and W.H. Sanders. Dynamic partitioning for hybrid simulation of the bistable hiv-1 transactivation network. Bioinformatics, 22, 2782-2789, 2006.
25. D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry, 81, 1977.
26. D. Gillespie and L. Petzold. System Modelling in Cellular Biology, chapter Numerical Simulation for Biochemical Kinetics. MIT Press, 2006.
27. T. A. Henzinger. The theory of hybrid automata. In Logic in Computer Science '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
28. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
29. T. A. Henzinger, P.W. Kopke, A. Puri, and P.Varaiya. What's decidable about hybrid automata? In Proceedings of 27th Annual ACM Symposium on Theory of Computing, 1995.
30. E. L. Haseltine and J. B. Rawlings. Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. Journal of Chemical Physics, 117, 6959-6969, 2002.
31. E. L. Haseltine and J. B. Rawlings. On the origins of approximations for stochastic chemical kinetics. Journal of Chemical Physics, 123, 164115, 2005.
32. T. R. Kiehl, R. M. Mattheyses, and M. K. Simmons. Hybrid simulation of cellular behavior. Bioinformatics, 20, 316-322, 2004.
33. T.G. Kurtz. Solutions of ordinary differential equations as limits of pure jump Markov processes. Journal of Applied Probability, 7, 49-58, 1970.
34. N. A. Neogi. 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, Vol. 2993 of Lecture Notes in Computer Science, pp. 463-476, 2004.
35. J. R. Norris. Markov Chains. Cambridge University Press, 1997.
36. J. Pahle. Biochemical simulations: Stochastic, approximate stochastic and hybrid approaches. Briefing in Bioinformatics, 10, 53-64, 2009.
37. V. A. Saraswat. Concurrent Constraint Programming. MIT press, 1993.
38. H. Salis andY. Kaznessis.Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. Journal of Chemical Physics, 122, 54103, 2005.
39. S. Strubbe and A. van der Schaft. Stochastic Hybrid Systems, chapter Compositional Modeling of Stochastic Hybrid Systems, pp. 47-78. CRC Press, 2007.