Abstract
We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of divergent size, to the hybrid approximation.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. unknown (2000)
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)
Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1) (2008)
Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming — from ordinary differential equations and back. Transactions of Computational Systems Biology (2009)
Bortolussi, L., Policriti, A.: Hybrid semantics of stochastic programs with dynamic reconfiguration. In: Proceedings of CompMod (2009)
Bortolussi, L., Policriti, A.: Stochastic programs and hybrid automata for (biological) modeling. In: Proceedings of CiE 2009 (2009)
Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theoretical Computer Science (2010)
Bortolussi, L., Policriti, A.: (hybrid) automata and (stochastic) programs. the hybrid automata lattice of a stochastic program. Journal of Logic and Computation (submitted)
Cassandras, C.G., Lygeros, J. (eds.): Stochastic Hybrid Systems. CRC Press, Boca Raton (2007)
Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, Boca Raton (1993)
Geisweiller, N., Hillston, J., Stenico, M.: Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science 404(1-2), 97–111 (2008)
Gillespie, D.: The chemical langevin equation. Journal of Chemical Physics 113(1), 297–306 (2000)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, QEST 2005 (2005)
Kurtz, T., Ethier, S.: Markov Processes - Characterisation and Convergence. Wiley, Chichester (1986)
Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump markov processes. Journal of Applied Probability 7, 49–58 (1970)
Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)
Pahle, J.: Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Brief Bioinform. 10(1), 53–64 (2009)
Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)
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)
Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bortolussi, L. (2010). Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras. In: Al-Begain, K., Fiems, D., Knottenbelt, W.J. (eds) Analytical and Stochastic Modeling Techniques and Applications. ASMTA 2010. Lecture Notes in Computer Science, vol 6148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13568-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-13568-2_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13567-5
Online ISBN: 978-3-642-13568-2
eBook Packages: Computer ScienceComputer Science (R0)