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 264
- Downloads 0
Condition Monitoring for Wireless Sensor Network-Based Automatic Weather Stations
Wireless Sensor Network (WSN)-based Automatic Weather Stations (AWSs) perform automatic collection and transmission of weather data. These AWSs face challenges, which lower their performance. Hence, a need for regular mo...
Securing the Timestamping of Sensor Data from Wearable Healthcare Devices
An ageing population, coupled with increasing prevalence of chronic diseases, is placing unsustainable demands on current healthcare systems. Home-based medical monitoring, supported by wearable sensors for heart-rate, E...
BLE or IEEE 802.15.4: Which Home IoT Communication Solution is more Energy-Efficient?
IEEE 802.15.4 (used by Zigbee, 6LoWPAN and Thread) and Bluetooth Low Energy (BLE) are two widely used wireless standards for ultra low power IoT (Internet of Things) technologies and smart home applications. In this arti...
Wireless Enabled Voice over Internet Protocol (VoIP) Network Application Using Asterisk PBX
This paper reechoes the need to use VOIP-based communication channels in order to reduce the heavy cost burden of communication in Sub Saharan Africa and other developing countries. We focus specifically on the context o...
Analysis of Indoor Rowing Motion using Wearable Inertial Sensors
In this exploratory work the motion of rowers is analyzed while rowing on a rowing machine. This is performed using inertial sensors that measure the orientation at several positions on the body. Using these measurements...