Abstract
Fluid analysis of Population CTMCs with non-linear evolution rates requires moment closures to transform a linear system with infinitely many ordinary differential equations (ODEs) into a non-linear one with a finite number of ODEs. Due to the ubiquity of kinetics with quadratic rates in physical processes, various closure techniques have been discussed in the context of systems biology and performance analysis. However, little research effort has been put into moment closures for higher-order moments of models with piecewise linear and higher-order polynomial evolution rates.
In this paper, we investigate moment closure techniques applied to such models. In particular we look at moment closures based on normal and log-normal distributions. We compare the accuracy of the moment approximating ODEs with the exact results obtained from simulations. We confirm that by incorporating higher-order moment ODEs, the moment closure techniques give accurate approximations to the standard deviation of populations. Moreover, they often improve the accuracy of mean approximations over the traditional mean-field techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Wangersky, P.J.: Lotka-Volterra population models. Annual Review of Ecology and Systematics 9(1), 189–218 (1978)
Stefanek, A., Hayden, R.A., Bradley, J.T.: Fluid computation of the performance-energy trade-off in large scale Markov models. SIGMETRICS Perform. Eval. Rev. 39(3) (2011)
Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry. North-Holland personal library, vol. 11. North-Holland (1992)
Whittle, P.: On the use of the normal approximation in the treatment of stochastic processes. Journal of the Royal Statistical Society Series B Methodological 19(2), 268–281 (1957)
Singh, A., Hespanha, J.: Lognormal moment closures for biochemical reactions. In: 2006 45th IEEE Conference on Decision and Control, vol. (2), pp. 2063–2068. IEEE (2006)
Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science 411(22-24), 2260–2297 (2010)
Silva, M., Júlvez, J., Mahulea, C., Vázquez, C.R.: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems 21, 427–497 (2011)
Opper, M., Saad, D.: Advanced Mean Field Methods: Theory and Practice. The MIT Press (2001)
Hayden, R.A.: Mean-field approximations for performance models with generally-timed transitions. SIGMETRICS Perform. Eval. Rev. 39(3), 119–121 (2011)
Engblom, S.: Computing the moments of high dimensional solutions of the master equation. Applied Mathematics and Computation 180(2), 498–515 (2006)
Krishnarajah, I., Cook, A., Marion, G., Gibson, G.: Novel moment closure approximations in stochastic epidemics. Bulletin of Mathematical Biology 67(4), 855–873 (2005)
Stefanek, A., Guenther, M.C., Bradley, J.T.: Normal and inhomogeneous moment closures for stochastic process algebras. In: 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011), Ragusa (2011)
Isserlis, L.: On a Formula for the Product-Moment Coefficient of any Order of a Normal Frequency Distribution in any Number of Variables. Biometrika 12(1/2), 134–139 (1918)
Stefanek, A., Hayden, R.A., Gonagle, M.M., Bradley, J.T.: Mean-Field Analysis of Markov Models with Reward Feedback. In: Al-Begain, K., Fiems, D., Vincent, J.-M. (eds.) ASMTA 2012. LNCS, vol. 7314, pp. 193–211. Springer, Heidelberg (2012)
Stefanek, A., Hayden, R.A., Bradley, J.T.: A new tool for the performance analysis of massively parallel computer systems. In: Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), Paphos, Cyprus, March 27-28. Electronic Proceedings in Theoretical Computer Science (2010)
Cain, M.: The moment-generating function of the minimum of bivariate normal random variables. American Statistician 48(2), 124–125 (1994)
Bruneo, D., Scarpa, M., Bobbio, A., Cerotti, D., Gribaudo, M.: Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Performance Evaluation 69(3-4), 135–149 (2011), http://www.sciencedirect.com/science/article/pii/S0166531611000137 , doi:10.1016/j.peva.2010.11.007, ISSN 0166-5316
Guenther, M.C., Bradley, J.T.: PCTMC Models of Wireless Sensor Network Protocols. In: Tribastone, M., Gilmore, S. (eds.) EPEW/UKPEW 2012. LNCS, vol. 7587, pp. 172–187. Springer, Heidelberg (2013)
Guenther, M.C., Bradley, J.T.: Mean-field analysis of data flows in Wireless Sensor Networks. Submitted to VALUETOOLS 2012 (2012), http://www.doc.ic.ac.uk/~mcg05/wsnrouting
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guenther, M.C., Stefanek, A., Bradley, J.T. (2013). Moment Closures for Performance Models with Highly Non-linear Rates. In: Tribastone, M., Gilmore, S. (eds) Computer Performance Engineering. EPEW UKPEW 2012 2012. Lecture Notes in Computer Science, vol 7587. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36781-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-36781-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36780-9
Online ISBN: 978-3-642-36781-6
eBook Packages: Computer ScienceComputer Science (R0)