A Partial-differential Approximation for Spatial Stochastic Process Algebra
Journal Title: EAI Endorsed Transactions on Internet of Things - Year 2015, Vol 1, Issue 4
Abstract
We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other when they are in same region. The ODE system size will grow linearly with the number of regions, hindering the analysis in practice. Assuming an unbiased random walk, we introduce an approximation in terms of a system of reaction-diffusion partial differential equations, of size independent of the lattice granularity. Numerical tests on a spatial version of the generalised Lotka-Volterra model show high accuracy and very competitive runtimes against ODE solutions for fine-grained lattices.
Authors and Affiliations
Max Tschaikowski, Mirco Tribastone
Keywords
Related Articles
- EP ID EP46468
- DOI http://dx.doi.org/10.4108/icst.valuetools.2014.258170
- Views 310
- Downloads 0
Modeling and Experimental Analysis of an In-body Area Nanonetwork
Nanotechnology is gaining more and more consensus in several application fields, comprised in-body applications. Innovative therapies and diagnostic approaches are based on the use of injections or oral delivery of nanop...
Experiments of An active electrode amplifier using SIP with DC rejection for bio-potential recording
We present a bioelectric amplifier with SIP for active electrode in this paper .The mid-band gain of the amplifier is 39.95dB.The bandwidth extends from a low frequency cutoff of 7.9mHz to a high frequency cutoff of 2.1k...
A Search Algorithm Based on K-Weighted Search Tree
Aiming at the issue of low efficiency in Peer-to-Peer (P2P) network system, a search algorithm based on K-weighted search tree is proposed. The k-weighted search tree serving the search is constructed. The nodes are rank...
Parkinson’s disease as a Working Model for Global Healthcare Restructuration: The Internet of Things and Wearables Technologies
With the rapid growth and increased life expectancy of the world’s population, the prevalence of chronic disorders such as Parkinson’s disease (PD) is also increasing. This challenges the current healthcare system in ter...
Wearable device for swim assessment: a new ecologic approach for communication and analysis
This paper describes a wearable system for the assessment of swim performance focusing on the description of the system and especially on the novel method for data transmission in water, and the algorithm used for extrac...