A novel agent-based simulation framework for sensing in complex adaptive environments
This work addresses the challenge of simulating sensor networks in dynamic environments for researchers in wireless sensing and agent-based modeling, but it appears incremental as it builds on existing agent-based and formal methods.
The authors tackled the problem of modeling wireless sensor networks in complex adaptive environments by introducing the Formal Agent-Based Simulation (FABS) framework, which uses formal specification to develop agent-based models, and demonstrated it on a boids flocking model with proximity sensors as a proof of concept.
In this paper we present a novel Formal Agent-Based Simulation framework (FABS). FABS uses formal specification as a means of clear description of wireless sensor networks (WSN) sensing a Complex Adaptive Environment. This specification model is then used to develop an agent-based model of both the wireless sensor network as well as the environment. As proof of concept, we demonstrate the application of FABS to a boids model of self-organized flocking of animals monitored by a random deployment of proximity sensors.