Use this URL to cite or link to this record in EThOS:
Title: From individuals to populations : changing scale in process algebra models of biological systems
Author: McCaig, Chris
ISNI:       0000 0004 2683 4951
Awarding Body: University of Stirling
Current Institution: University of Stirling
Date of Award: 2007
Availability of Full Text:
Access from EThOS:
Access from Institution:
The problem of changing scale in models of a system is relevant in many different fields. In this thesis we investigate the problem in models of biological systems, particularly infectious disease spread and population dynamics. We investigate this problem using the process algebra \emph{Weighted Synchronous Calculus of Communicating Systems} (WSCCS). In WSCCS we can describe the different types of individual in a population and study the population by placing many of these individuals in parallel. We present an algorithm that allows us to rigorously derive mean field equations (MFE) describing the average change in the population. The algorithm takes into account the Markov chain semantics of WSCCS such that as the system being considered becomes larger, the approximation offered by the MFE tends towards the mean of the Markov chain. The traditional approach to developing population level equations of a system involves making assumptions about the behaviour of the entire population. Our approach means that the population level dynamics explained by the MFE are a direct consequence of the behaviour of individuals, which is more readily observed and measured than the behaviour of the population. In this way we develop MFE models of several different systems and compare the equations obtained to the traditional mathematical models of the system.
Supervisor: Shankland, Carron ; Norman, Rachel A. Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Process algebra ; Changing scale ; Epidemic ; Models ; Population dynamics ; Parallel processing (Electronic computers) ; Epidemics