2010/09/29 by Muaz A. Niazi, Amir Hussain · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Artificial intelligence #Computer network #Computer science #Distributed Control Multi-Agent Systems #Distributed computing #Evacuation and Crowd Dynamics #Flocking (texture) #Formal specification #Modular Robots and Swarm Intelligence #Multi-agent system #Real-time computing #Software deployment #Software engineering #Telecommunications #Wireless #Wireless sensor network #cs.AI #cs.MA #cs.NI #cs.SE #nlin.AO
paper · pdf · doi:10.1109/jsen.2010.2068044
published as IEEE Sensors Journal 11.2 (2011): 404-412 · 8 pages
openalex publication_date 2010/09/29 · arxiv created 2017/08/19 · arxiv updated 2017/08/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
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.