Continuous approximation of collective system behaviour: A tutorial

Performance Evaluation

Volumn 70, Issue 5, 2013, Pages 317-349

  Bortolussi, Luca ^a,c   Hillston, Jane ^b   Latella, Diego ^c   Massink, Mieke ^c  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c ISTI CNR   (Italy)

Author keywords

Deterministic approximation; Fluid approximation; Markov chains; Mean field approximation; Stochastic process algebras

Indexed keywords

COLLECTIVE SYSTEMS; CONTINUOUS APPROXIMATIONS; CONTINUOUS TIME MARKOV CHAIN; DETERMINISTIC APPROXIMATION; DISCRETE TIME; DISCRETE TIME MARKOV CHAINS; FLUID APPROXIMATION; LIMIT PROCESS; MEAN FIELD APPROXIMATION; STOCHASTIC PROCESS ALGEBRAS;

CONTINUOUS TIME SYSTEMS;

MARKOV PROCESSES;

EID: 84874754496     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2013.01.001     Document Type: Article

References (84)

1. F. Ciocchetta, and J. Hillston Process algebras in systems biology M. Bernardo, P. Degano, G. Zavattaro, SFM Lecture Notes in Computer Science vol. 5016 2008 Springer 265 312
2. M.D. Harrison, and M. Massink Modelling interactive experience, function and performance in ubiquitous systems Electr. Notes Theor. Comput. Sci. 261 2010 23 42
3. G. Bolch, S. Greiner, H. de Meer, and K. Trivedi Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications 2006 Wiley
4. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen Model-checking algorithms for continuous-time Markov Chains IEEE Trans. Softw. Eng. 29 6 2003 524 541
5. J. Hillston, Fluid flow approximation of PEPA models, in: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, QEST 2005, 2005, pp. 33-43.
6. N. Geisweiller, J. Hillston, and M. Stenico Relating continuous and discrete PEPA models of signalling pathways Theoret. Comput. Sci. 404 1-2 2008 97 111
7. L. Bortolussi, and A. Policriti Dynamical systems and stochastic programming: to ordinary differential equations and back T. Comp. Sys. Biol. 11 2009 216 267
8. R. Hayden, and J. Bradley A fluid analysis framework for a Markovian process algebra Theoret. Comput. Sci. 411 22-24 2010 2260 2297
9. L. Cardelli On process rate semantics Theoret. Comput. Sci. 391 3 2008 190 215
10. J. Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press
11. U. Herzog, EXL: Syntax, semantics and examples, Tech. Rep. IMMD7-16-90, Universität Erlangen-Nürnberg (1990).
12. H. Hermanns, M. Rettelbach, Syntax, semantics, equivalences, and axioms for MTIPP, in: Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, PAPM '94, 1994, pp. 71-87.
13. J.R. Norris Markov Chains 1997 Cambridge University Press
14. T. Kurtz Solutions of ordinary differential equations as limits of pure jump Markov processes J. Appl. Probab. 7 1970 49 58
15. J. Bradley, S. Gilmore, and J. Hillston Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models J. Comput. Syst. Sci. 74 6 2008 1013 1032
16. M. Calder, S. Gilmore, J. Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Proceedings of Computational Methods in Systems Biology, CMSB, 2005.
17. F. Ciocchetta, and J. Hillston Bio-PEPA: a framework for the modelling and analysis of biological systems Theoret. Comput. Sci. 410 33-34 2009 3065 3084
18. M. Tribastone, and S. Gilmore Scaling Performance Analysis Using Fluid-Flow Approximation Lecture Notes in Computer Science vol. 6582 2011 Springer 486 505
19. M. Tribastone, Relating layered queueing networks and process algebra models, in: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010, pp. 183-194.
20. A. Benoit, M. Cole, S. Gilmore, and J. Hillston Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis 5th International Symposium on Cluster Computing and the Grid, CCGrid 2005, 9-12 May, 2005, Cardiff, UK 2005 IEEE Computer Society 317 324 (Pubitemid 44910957)
21. M. Massink, D. Latella, A. Bracciali, M. Harrison, A scalable fluid flow process algebraic approach to emergency egress analysis, in: Proceedings of 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, 2010, pp. 169-180.
22. M. Massink, D. Latella, A. Bracciali, and J. Hillston Modelling non-linear crowd dynamics in Bio-PEPA Proceeding of 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011 LNCS vol. 6603 2011 Springer 96 110
23. R. David, and H. Alla Discrete, Continuous, and Hybrid Petri Nets second ed. 2010 Springer-Verlag 10.1007/978-3-642-10669-95
24. K. Trivedi, and V. Kulkarni FSPNs: fluid stochastic petri net M.A.M. Application and Theory of Petri Nets, 1993 LNCS vol. 691 1993 Springer 24 31
25. G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi Fluid stochastic Petri nets: theory, applications and solution techniques Eur. J. Oper. Research 105 1998 184 201 (Pubitemid 128387771)
26. M. Silva, and L. Recalde On fluidification of Petri net models: from discrete to hybrid and continuous models Annu. Rev. Control 28 2004 253 266
27. A. Sznitman Topics in propagation of chaos Ecole d'etè de Probabilitès de Saint-Flour XIX 1989 Lecture Notes in Mathematics vol. 1464 1991 Springer 165 251 10.1007/BFb0085169
28. D. Sumpter, and D. Broomhead Relating individual behaviour to population dynamics Proc. R. Soc. B 268 1470 2001 925 932 10.1098/rspb.2001.1604 (Pubitemid 32453382)
29. T. Kurtz Approximation of Population Processes 1981 SIAM
30. H. Andersson, and T. Britton Stochastic Epidemic Models and Their Statistical Analysis 2000 Springer-Verlag
31. M. Benaïm Recursive algorithms, urn processes and chaining number of chain recurrent sets Ergodic Theory Dynam. Systems 18 01 1998 53 87 (Pubitemid 128353110)
32. M. Benaïm, and J. Weibull Deterministic approximation of stochastic evolution in games Econometrica 71 3 2003 873 903
33. H. Kushner, and G. Yin Stochastic Approximation and Recursive Algorithms and Applications 2003 Springer-Verlag
34. F. Baccelli, A. Chaintreau, D.D. Vleeschauwer, and D.R. McDonald HTTP turbulence NHM 1 1 2006 1 40
35. F. Baccelli, M. Lelarge, D. McDonald, Metastable regimes for multiplexed TCP flows, in: Proceedings of 42nd Annual Allerton Conference on Communication, Control and Computing, 2004.
36. A. Martinoli, K. Easton, and W. Agassounon Modeling swarm robotic systems: a case study in collaborative distributed manipulation Internat. J. Robotics Res. 23 4-5 2004 415 436
37. S. Kumar, and L. Massouli Integrating streaming and file-transfer internet traffic: fluid and diffusion approximations Queueing Syst. 55 4 2007 195 205
38. C. Bordenave, D. McDonald, and A. Proutiére A particle system in interaction with a rapidly varying environment: mean field limits and applications NHM 5 1 2010 31 62
39. C. Bordenave, D. McDonald, A. Proutiere, Performance of random medium access control, an asymptotic approach, in: Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2008, pp. 1-12.
40. G. Sharma, A. Ganesh, and P. Key Performance analysis of contention based medium access control protocols IEEE Trans. Inform. Theory 55 4 2009 1665 1682
41. J.Y. Le Boudec, D. McDonald, J. Mundiger, A generic mean field convergence result for systems of interacting objects, in: Proceedings of Fourth International Conference on the Quantitative Evaluation of Systems, QEST 2007, 2007, pp. 3-18.
42. M. Benaïm, and J.Y. Le Boudec A class of mean field interaction models for computer and communication systems Perform. Eval. 65 11-12 2008 823 838
43. A. Bobbio, M. Gribaudo, M. Telek, Analysis of large scale interacting systems by mean field method, in: Proceedings of Fifth International Conference on the Quantitative Evaluation of Systems, QEST 2008, 2008, pp. 215-224.
44. R. Bakhshi, L. Cloth, W. Fokkink, B. Haverkort, Mean-field analysis for the evaluation of gossip protocols, in: Proceedings of Sixth International Conference on the Quantitative Evaluation of Systems, QEST 2009, 2009, pp. 247-256.
45. N.M.N. Tsukada, and R. Hirade Fluid limit analysis of FIFO and RR caching for independent reference models Perform. Eval. 69 2012 403 412
46. J.N. Tsitsiklis, and K. Xu On the power of (even a little) resource pooling Stoch. Syst. 2 2012 1 66 (electronic) 10.1214/11-SSY033
47. T. Kurtz Limit theorems for sequences of jump Markov processes approximating ordinary differential processes J. Appl. Probab. 8 1971 244 356
48. C. McCaig, R. Norman, and C. Shankland From individuals to populations: A mean field semantics for process algebra Theoret. Comput. Sci. 412 17 2011 1557 1580
49. L. Berec Techniques of spatially explicit individual-based models: construction, simulation, and mean-field analysis Ecol. Modell. 150 1-2 2002 55 81 10.1016/S0304-3800(01)00463-X (Pubitemid 34455289)
50. M. Kwiatkowska, G. Norman, and D. Parker PRISM: probabilistic symbolic model checker T. Field, P. Harrison, J. Bradley, U. Harder, Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS'02 LNCS vol. 2324 2002 Springer 200 204
51. T. Dayar, H. Hermanns, D. Spieler, and V. Wolf Bounding the equilibrium distribution of Markov population models Numer. Linear Algebra Appl. 18 6 2011 931 946
52. M. Tribastone, S. Gilmore, and J. Hillston Scalable differential analysis of process algebra models IEEE Trans. Softw. Eng. 38 1 2012 205 219
53. L. Bortolussi, and A. Policriti Modelling biological systems in concurrent constraint programming Constraints 13 1 2008 66 90
54. CompBio Group, Institute for Systems Biology, Seattle, Dizzy home page, http://magnet.systemsbiology.net/software/Dizzy/.
55. T. Kurtz, and S. Ethier Markov Processes - Characterisation and Convergence 1986 Wiley
56. R. Darling, Fluid limits of pure jump Markov processes: A practical guide, ArXiv Mathematics e-prints arXiv:arXiv:math/0210109.
57. R. Darling, and J. Norris Differential equation approximations for Markov chains Probab. Surv. 5 2008 37 79 10.1214/07-PS121
58. O. Kallenberg Foundations of Modern Probability 2002 Springer-Verlag
59. D.J. Wilkinson Stochastic Modelling for Systems Biology 2006 Chapman & Hall
60. G. Bianchi Performance analysis of the IEEE 802.11 distributed coordination function IEEE J. Sel. Areas Commun. 18 3 2000 535 547
61. R. Hayden, Convergence of ODE approximations and bounds on performance models in the steady-state, in: Proceedings of PASTA 2010, 2010.
62. A. Jensen Markov chains as an aid in the study of Markov processes Skandinavisk Aktuarietidskriff 36 1953 8791
63. N. Gast, and B. Gaujal Markov chains with discontinuous drifts have differential inclusion limits Perform. Eval. 69 12 2012 623 642
64. M. Benaïm, J.Y. Le Boudec, On mean field convergence and stationary regime, CoRR abs/1111.5710.
65. P. Billingsley Probability and Measure 1979 John Wiley and Sons
66. S.H. Strogatz Non-Linear Dynamics and Chaos, with Applications to Physics, Biology, Chemistry and Engeneering 1994 Perseus Books
67. C. Kipnis, and C. Landim Scaling Limits of Interacting Particle Systems 1999 Springer-Verlag
68. A. Chaintreau, J.Y. Le Boudec, N. Ristanovic, The age of gossip: spatial mean field regime, in: Proceedings of the Eleventh International ACM SIGMETRICS Joint Conference on Measurement and Modeling of Computer Systems, 2009, pp. 109-120.
69. N. Gast, B. Gaujal, J.Y. Le Boudec, Mean field for Markov decision processes: from discrete to continuous optimization, CoRR abs/1004.2342.
70. M.D. Mitzenmacher, The Power of Two choices in Eandomized Load Balancing, Ph.D. thesis, Harvard University (1991).
71. M. Mitzenmacher, Load balancing and density dependent jump Markov processes, in: Proceedings of the 37th Annual Symposium on Foundations of Computer Science, FOCS 1996, 1996, pp. 213-222.
72. A. Singh, J. Hespanha, Lognormal moment closures for biochemical reactions, in: Proceedings of 45th IEEE Conference on Decision and Control, 2006.
73. N.V. Kampen Stochastic Processes in Physics and Chemistry 1992 Elsevier
74. L. Bortolussi On the approximation of stochastic concurrent constraint programming by master equation Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008 Electr. Notes Theoret. Comput. Sci. vol. 220 2008 163 180
75. N. Gast, B. Gaujal, A mean field model of work stealing in large-scale systems, in: Proceedings of ACM SIGMETRICS 2010, 2010, pp. 13-24.
76. R. Hayden, A. Stefanek, and J. Bradley Fluid computation of passage-time distributions in large markov models Theoret. Comput. Sci. 413 1 2012 106 141
77. L. Bortolussi, and J. Hillston Fluid model checking M. Koutny, I. Ulidowski, CONCUR Lecture Notes in Computer Science vol. 7454 2012 Springer 333 347
78. L. Bortolussi, A. Policriti, (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program, J. Logic Comput., first published online December 6, 2011. http://dx.doi.org/10.1093/logcom/exr045.
79. L. Bortolussi, and A. Policriti The importance of being (a little bit) discrete Proceedings of First International Workshop From Biology To Concurrency (and Back), FBTC 2008 Electr. Notes Theoret. Comput. Sci. vol. 229 2009 75 92 10.1016/j.entcs.2009.02.006
80. L. Bortolussi, V. Galpin, J. Hillston, M. Tribastone, Hybrid semantics for PEPA, in: Proceedings of the Seventh International Conference on the Quantitative Evaluation of Systems, QEST 2010, 2010 pp. 181-190.
81. M. Davis Markov Models and Optimization 1993 Chapman & Hall
82. L. Bortolussi, Limit behavior of the hybrid approximation of stochastic process algebras, in: Proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA, 2010, pp. 367-381.
83. L. Bortolussi Hybrid limits of continuous time markov chains QEST 2011 IEEE Computer Society 3 12
84. J. Cortez Discontinuous dynamical systems: a tutorial on solutions, nonsmooth analysis, and stability IEEE Control Syst. Mag. 28 3 2008 36 73