×

Fluid analysis for a PEPA model. (English) Zbl 1418.93021

Jia, Yingmin (ed.) et al., Proceedings of the 2015 Chinese intelligent systems conference, CISC’15, Yangzhou, China. Volume 2. Berlin: Springer. Lect. Notes Electr. Eng. 360, 181-190 (2016).
Summary: It is, as the state space explosion problem indicates, not uncommon that tremendous complexity and size of a system would annoyingly quiver the performance of discrete state-based modeling formalisms. The past few years, however, have inspiringly witnessed a brand new PEPA-based strategy offering a feasible solution against such disturbing puzzle. Via PEPA, a family of ordinary differential equations (ODEs) is figured out as continuous state space approximation. This paper establishes some significant properties for the fluid approximation of a PEPA model, including the existence, uniqueness, boundedness and convergence of the derived ODEs solution.
For the entire collection see [Zbl 1337.93002].

MSC:

93A30 Mathematical modelling of systems (MSC2010)
93B25 Algebraic methods
93E03 Stochastic systems in control theory (general)
93C15 Control/observation systems governed by ordinary differential equations

Software:

PEPA
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Hillston J (1996) A compositional approach to performance modelling, PhD Thesis, Cambridge University Press · Zbl 1080.68003
[2] Bernardo M, Gorrieri R (1998) A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comput. Sci. 202:1-54 · Zbl 0902.68075 · doi:10.1016/S0304-3975(97)00127-8
[3] Götz N, Herzog U, Rettelbach M (1992) TIPP—a language for timed processes and performance evaluation. Technical report, 4/92, IMMD7, University of Erlangen-Nörnberg, Germany, November 1992
[4] Hillston J (2005) Fluid flow approximation of PEPA models. In: International conference on the quantitative evaluation of systems (QEST’05). IEEE Computer Society
[5] Benoit A, Cole M, Gilmore S, Hillston J (2005) Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. In: Proceedings of the first internatial workshop on grid performability, May 2005
[6] Calder M, Gilmore S, Hillston J (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Lecture Notes in Computer Science, vol 4230, pp 1-23. Springer (2006)
[7] Ding J, Hillston J, Laurenson D (2009) Performance modelling of content adaptation for a personal distributed environment. Wirel Pers Commun 48:93-112 · doi:10.1007/s11277-007-9427-4
[8] Ding J, Zhu XS, Li B (2012) On the fluid approximation of a PEPA model. J Comput Inf Syst 8(22):9259-9267
[9] Ding J (2015) Structural and fluid analysis of large scale PEPA models—with applications to content adaptation systems. Ph.D. thesis, The Univeristy of Edinburgh (2010). http://www.dcs.ed.ac.uk/pepa/jie-ding-thesis.pdf, Accessed 16 June 2015
[10] Clark A, Duguid A, Gilmore S, Hillston J (2008) Espresso, a little coffee. In: Proceedings of the 7th workshop on process algebra and stochastically timed acitvities (2008)
[11] Hubbard JH, West
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.