|Appears in Collections:||Computing Science and Mathematics Conference Papers and Proceedings|
|Peer Review Status:||Refereed|
|Title:||Improved Continuous Approximation of PEPA Models through Epidemiological Examples|
|Citation:||Benkirane S, Hillston J, McCaig C, Norman R & Shankland C (2009) Improved Continuous Approximation of PEPA Models through Epidemiological Examples, Electronic Notes in Theoretical Computer Science, 229 (1), From Biology To Concurrency and back (FBTC 2008), A Satellite Workshop of ICALP 2008, pp. 59-74.|
|Conference Name:||From Biology To Concurrency and back (FBTC 2008), A Satellite Workshop of ICALP 2008|
|Abstract:||We present two individual based models of disease systems using PEPA (Performance Evaluation Process Algebra). The models explore contrasting mechanisms of disease transmission: direct transmission (e.g. measles) and indirect transmission (e.g. malaria, via mosquitos). We extract ordinary differential equations (ODEs) as a continuous approximation to the PEPA models using the Hillston method and compare these with the traditionally used ODE disease models and with the results of stochastic simulation. Improvements to the Hillston method of ODE extraction for this context are proposed, and the new results compare favourably with stochastic simulation results and to ODEs derived for equivalent models in WSCCS (Weighted Synchronous Calculus of Communicating Systems).|
|Status:||Post-print (author final draft post-refereeing)|
|Rights:||Published in Electronic Notes in Theoretical Computer Science by Elsevier, copyright 2008|
|Affiliation:||University of Stirling|
University of Edinburgh
University of Stirling
Mathematics - CSM Dept
Computing Science - CSM Dept
This item is protected by original copyright
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
If you believe that any material held in STORRE infringes copyright, please contact email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.