期刊
IEEE SENSORS JOURNAL
卷 11, 期 2, 页码 404-412出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/JSEN.2010.2068044
关键词
Agent-based simulation; boids; cognitive sensors; complex adaptive environment; FABS; flocking; formal specification; modeling; proximity sensing; self organization; wireless sensor networks
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 (WSNs) sensing a complex adaptive environment. This specification model is then used to develop an agent-based model of both the WSN 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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据