Fluid approximation of CTMC with deterministic delays

Proceedings - 2012 9th International Conference on Quantitative Evaluation of Systems, QEST 2012

Volumn , Issue , 2012, Pages 53-62

  Bortolussi, Luca ^a   Hillston, Jane ^b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Continuous Time Markov Chains; Delay Differential Equations; Fluid Approximation; Genetic Networks With Delays; Mean Field Approximation; Stochastic Simulation With Delays

Indexed keywords

CONTINUOUS TIME MARKOV CHAIN; DELAY DIFFERENTIAL EQUATIONS; FLUID APPROXIMATION; GENETIC NETWORKS; MEAN FIELD APPROXIMATION; STOCHASTIC SIMULATIONS;

APPROXIMATION THEORY; CONTINUOUS TIME SYSTEMS; DIFFERENTIAL EQUATIONS; STOCHASTIC MODELS;

MARKOV PROCESSES;

EID: 84870738936     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2012.13     Document Type: Conference Paper

References (32)

1. M. Villasana and A. Radunskaya, "A delay differential equation model for tumor growth," J. Math. Bio., vol. 47, pp. 270-294, 2003.
2. Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, ser. Mathematics in Science and Engineering. Academic Press, 1993, vol. 191.
3. F. Zhang, Z. Lia, and F. Zhang, "Global stability of an sir epidemic model with constant infectious period," Appl. Math. and Comp., vol. 199, no. 1, pp. 285-291, 2008.
4. M. Alizadeh, A. Javanmard, and B. Prabhakar, "Analysis of dctcp: stability, convergence, and fairness," in Proceedings of ACM SIGMETRICS 2011, 2011, pp. 73-84.
5. M. Barrio, K. Burrage, A. Leier, and T. Tian, "Oscillatory regulation of hes1: Discrete stochastic delay modelling and simulation," PLoS Comput Biol, vol. 2, no. 9, p. e117, 09 2006. [Online]. Available: http://dx.plos.org/10.1371%2Fjournal.pcbi.0020117
6. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, and P. Milazzo, "Delay stochastic simulation of biological systems: A purely delayed approach," Trans. on Comp. Sys. Bio., vol. XIII, pp. 61-84, 2011.
7. R. German, Performance Analysis of Communication Systems with NonMarkovian Stochastic Petri Nets. John Wiley & Sons, 2000.
8. G. Clark, "Techniques for the construction and analysis of algebraic performance models," Ph.D. dissertation, School of Informatics, University of Edinburgh, 2000.
9. G. Caravagna and J. Hillston, "Modeling biological systems with delays in bio-pepa," in Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010, Jena, Germany, 23 August 2010, ser. Electronic Proceedings in Theoretical Computer Science, vol. 40, 2010, pp. 85-101.
10. P. W. Glynn, "A gsmp formalism for discrete-event systems," Proceedings of the IEEE, vol. 77, pp. 14-23, 1989.
11. T. Kurtz, Approximation of population processes. SIAM, 1981.
12. H. Chen and D. D. Yao, Fundamentals of queueing networks: performance, asymptotics, and optimization. Springer, 2001.
13. R. A. Hayden, "Mean-field approximations for performance models with generally-timed transitions," SIGMETRICS Performance Evaluation Review, 2011 (to appear).
14. M. Kwiatkowska, G. Norman, and D. Parker, "Probabilistic symbolic model checking with prism: A hybrid approach," International Journal on Software Tools for Technology Transfer, vol. 6, no. 2, pp. 128-142, September 2004.
15. T. T. Marquez-Lago and J. Stelling, "Counter-intuitive stochastic behavior of simple gene circuits with negative feedback," Biophysical Journal, vol. 98, no. 9, pp. 1742-1750, 2010.
16. J. Lewis, "Autoinhibition with transcriptional delay: A simple mechanism for the zebrafish somitogenesis oscillator," Current Biology, vol. 13, no. 16, pp. 1398-1408, 2003.
17. H. Andersson and T. Britton, Stochastic Epidemic Models and Their Statistical Analysis. Springer-Verlag, 2000.
18. M. Tribastone, S. Gilmore, and J. Hillston, "Scalable differential analysis of a process algebra model," Transactions on Software Engeneering, 2010.
19. M. Tribastone, J. Ding, S. Gilmore, and J. Hillston, "Fluid rewards for a stochastic process algebra," IEEE Transactions on Software Engeneering, 2012.
20. D. Gillespie and L. Petzold, System Modelling in Cellular Biology. MIT Press, 2006, ch. Numerical Simulation for Biochemical Kinetics.
21. T. G. Kurtz, "Solutions of ordinary differential equations as limits of pure jump markov processes," Journal of Applied Probability, vol. 7, pp. 49-58, 1970.
22. R. Darling, "Fluid limits of pure jump markov processes: A practical guide," arXiv.org, 2002.
23. L. Bortolussi, "Hybrid limits of continuous time markov chains," in Proceedings of Eighth International Conference on the Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society, 2011, pp. 3-12.
24. N. Gast and B. Gaujal, "Mean field limit of non-smooth systems and differential inclusions," SIGMETRICS Perform. Eval. Rev., vol. 38, pp. 30-32, October 2010.
25. D. Gillespie, "Exact stochastic simulation of coupled chemical reactions," J. of Physical Chemistry, vol. 81, no. 25, 1977.
26. M. Gibson and J. Bruck, "Efficient exact simulation of chemical systems with many species and many channels," J. of Phys. Chem., vol. 104, no. 9, pp. 1876-1889, 2000.
27. S. Maset, "Numerical solution of retarded functional differential equations as abstract cauchy problems," Journal of Computational and Applied Mathematics, vol. 161, no. 2, pp. 259-282, 2003.
28. W. Whitt, "Continuity of generalized semi-markov processes," Mathematics of Operations Research, vol. 5, no. 4, pp. pp. 494-501, 1980.
29. L. Bortolussi and J. Hillston, "Fluid approximation of ctmc with deterministic delays - with appendix," 2012. [Online]. Available: http://www.dmi.units.it/%7Ebortolu/files/BH-DDE-QEST12.pdf
30. A. Karr, "Weak convergence of a sequence of markov chains," Probability Theory and Related Fields, vol. 33, pp. 41-48, 1975. [Online]. Available: http://dx.doi.org/10.1007/BF00539859
31. D. Pollard, Convergence of stochastic processes. Springer-Verlag, 1984.
32. O. Kallenberg, Foundations of Modern Probability. Springer-Verlag, 2002.