AESOP home


Normal and inhomogeneous moment closures for stochastic process algebras

Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley

National Workshop Paper
10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)
August, 2011

This paper discusses the application of moment closures to continuous Markov chains derived from process algebras such as GPEPA and MASSPA. Two related approaches are being investigated. Firstly we re-formulate normal moment closure in a process algebra framework using Isserlis' theorem. Secondly we apply a mixture of this normal closure and less precise moment closures for the purpose of reducing coupling between ordinary differential equations (ODE) derived from the underlying Markov chain. We present three case-studies to show how both normal and inhomogeneous moment closures can significantly improve the numerical accuracy of ODE moment approximations.

PDF of full publication (169.2 kilobytes)
(need help viewing PDF files?)

Information from