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 294
- Downloads 0
Offshore Outsourcing Risk Management for Pakistan
Software offshore outsourcing is strong pillar of software development. Software offshore outsourcing involves many risks, due to internal or external factors, that must be recognized and managed. Each organization that...
Driver’s ECG Signal Detection and Transmission by Impulse-Radio-Based Human Body Communication Technology
In this study, we developed a wearable electrocardiogram (ECG) sensor with human body communication (HBC) tech- nology for vital data transmission in a car. The ECG signals were modulated with wideband pulse signals betw...
IoT Community Technologies: Leaving Users to Their Own Devices or Orchestration of Engagement?
Citizens are increasingly crowdfunding IoT based participatory sensing technologies that allow them to collect and share data about the environment. These initiatives are usually referred to as grassroots and are driven...
FREACSIM - A Framework for Creating and Simulating Real-Time Capable Network on Chip Systems and Applications
This paper presents the new Framework for Real-time capable Embedded system and ArChitecture SIMulation (FREACSIM), a highly configurable full-system simulation environment enabling and easing the modeling, simulation an...
Transition into Internet of Things in Resource Constrained Settings: A Case Study from Malawi
Information Communication Technology (ICT) has in so many ways proved to be the drive of economy and a game changer to many disciplines. However digital divide has been of concern as developed countries have been benefit...