Mobile VCE Core 4 Publication

 

Title On ODEs from PEPA Models
Authors Jie Ding, Jane Hillstion
Journal/Conference name PASTA 2007
Date of Publication 26 July 2007
Work Area Ubiquitous Services
Abstract This paper is about theoretical aspects of the ODEs derived from PEPA models. We show the existence, uniqueness and boundedness of solutions of the ODEs. We also present the convergence of the solutions for non-synchronised cases as well as their relationship to the steady state distributions of some Markov chains. Based on the theoretical results, an alternative semantics of mapping PEPA models to ODEs is provided.

Return to list of publications