Limit behavior of the hybrid approximation of stochastic process algebras

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

Volumn 6148 LNCS, Issue , 2010, Pages 367-381

  Bortolussi, Luca ^a  

^a UNIVERSITY OF TRIESTE   (Italy)

Author keywords

limit theorems; stochastic concurrent constraint programming; stochastic hybrid systems; Stochastic process algebras

Indexed keywords

CONCURRENT CONSTRAINT PROGRAMMING; CONTINUOUS TIME MARKOV CHAIN; LIMIT BEHAVIOR; LIMIT THEOREM; STOCHASTIC HYBRID SYSTEMS; STOCHASTIC PROCESS ALGEBRAS; SYSTEM SIZE;

ALGEBRA; COMPUTER PROGRAMMING; CONSTRAINT THEORY; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SENSORS; HYBRID SYSTEMS; MARKOV PROCESSES;

STOCHASTIC SYSTEMS;

EID: 77955457417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13568-2_26     Document Type: Conference Paper

References (21)

1. Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. unknown (2000)
2. 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)
3. Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1) (2008)
4. Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming - from ordinary differential equations and back. Transactions of Computational Systems Biology (2009)
5. Bortolussi, L., Policriti, A.: Hybrid semantics of stochastic programs with dynamic reconfiguration. In: Proceedings of CompMod (2009)
6. Bortolussi, L., Policriti, A.: Stochastic programs and hybrid automata for (biological) modeling. In: Proceedings of CiE 2009 (2009)
7. Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theoretical Computer Science (2010)
8. Bortolussi, L., Policriti, A.: (hybrid) automata and (stochastic) programs. the hybrid automata lattice of a stochastic program. Journal of Logic and Computation (submitted)
9. Cassandras, C.G., Lygeros, J. (eds.): Stochastic Hybrid Systems. CRC Press, Boca Raton (2007)
10. Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, Boca Raton (1993)
11. Geisweiller, N., Hillston, J., Stenico, M.: Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science 404(1-2), 97-111 (2008)
12. Gillespie, D.: The chemical langevin equation. Journal of Chemical Physics 113(1), 297-306 (2000)
13. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
14. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, QEST 2005 (2005)
15. Kurtz, T., Ethier, S.: Markov Processes - Characterisation and Convergence. Wiley, Chichester (1986)
16. Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump markov processes. Journal of Applied Probability 7, 49-58 (1970)
17. Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)
18. Pahle, J.: Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Brief Bioinform. 10(1), 53-64 (2009)
19. Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)
20. Tuffin, B., Chen, D.S., Trivedi, K.S.: Comparison of hybrid systems and fluid stochastic petri nets. Discrete Event Dynamic Systems 11(1-2), 77-95 (2001) (Pubitemid 32159846)
21. Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)