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 292
- Downloads 0
The Internet of Things: Are we there yet?
It has been one year now since the first issue of the journal was launched in November 2015. Many interesting things have happened since then, and the concepts of the Internet of Things, Internet of Everything, Indust...
A Survey of Internet of Things Services Provision by Telecom Operators
Telecom industry will play a vital role in delivering Internet of Things (IoT) solutions and services. Researchers trust that IoT services deployment by Telecom is inevitable during the next few years. Nowadays, digital...
Privacy-Preserving Collaborative Blind Macro-Calibration of Environmental Sensors in Participatory Sensing
The ubiquity of ever-connected smartphones has lead to new sensing paradigms that promise environmental monitoring in unprecedented temporal and spatial resolution. Everyday people may use low-cost sensors to collect env...
Cooperative Awareness in the Internet of Vehicles for Safety Enhancement
Connected vehicles will improve safety and enable new services to drivers and passengers. One of the main enabled services will be the cooperative awareness, that is the broadcast transmission of periodic messages contai...
Stretchable and Highly Conductive Carbon Nanotube-Graphene Hybrid Yarns for Wearable Systems
Carbon Nanotubes (CNTs) have emerged as potential candidates for replacement of conventional metals due to their significant mechanical, electrical, thermal properties and non-oxidizing abilities [1, 2]. The density of C...