TY - GEN
T1 - Coordinate-free distributed coverage verification and intruder detection in dynamic sensor networks
AU - Tahbaz-Salehi, Alireza
AU - Jadbabaie, Ali
PY - 2007/1/1
Y1 - 2007/1/1
N2 - In this paper, we present a distributed method for intruder-free coverage verification in a bounded domaieo Coverage is provided by the means of a dynamic network of sensors, which individually cover finite range disks, exchange information with other sensors in their vicinity and may switch on and off depending on their power constraints. We assume that the sensors have no means of measuring distance, orientation, or location. At each time step, we capture the topology of the network by a simplicial complex which is locally stored by the sensors and is compared to the network realization at the next time step. The machinery of the combinatorial Laplacians is used to achieve the verification goal in a decentralized fashion. Given a switching sequence of the network, the algorithm verifies whether an intruder moving in the domain of interest can be detected by the sensors, regardless of his escape strategy.
AB - In this paper, we present a distributed method for intruder-free coverage verification in a bounded domaieo Coverage is provided by the means of a dynamic network of sensors, which individually cover finite range disks, exchange information with other sensors in their vicinity and may switch on and off depending on their power constraints. We assume that the sensors have no means of measuring distance, orientation, or location. At each time step, we capture the topology of the network by a simplicial complex which is locally stored by the sensors and is compared to the network realization at the next time step. The machinery of the combinatorial Laplacians is used to achieve the verification goal in a decentralized fashion. Given a switching sequence of the network, the algorithm verifies whether an intruder moving in the domain of interest can be detected by the sensors, regardless of his escape strategy.
UR - http://www.scopus.com/inward/record.url?scp=84940639490&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84940639490&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84940639490
T3 - 45th Annual Allerton Conference on Communication, Control, and Computing 2007
SP - 417
EP - 422
BT - 45th Annual Allerton Conference on Communication, Control, and Computing 2007
PB - University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering
T2 - 45th Annual Allerton Conference on Communication, Control, and Computing 2007
Y2 - 26 September 2007 through 28 September 2007
ER -