Title:
Large Network Target Coverage Protocols
Author:
Type:
Co-author(s) :
Sahakyan Hasmik ; Romanov Vladimir ; Da Costa Georges ; Kacimi Rahim
Subject and Keywords:
Boolean functions ; computational complexity ; integer programming ; linear programming ; protocols ; wireless sensor networks
Abstract:
The problem of energy aware wireless accessibility from a collection of statically positioned sensor nodes to a given set of target nodes is considered. The simple plain-disc-model with the sensing radius ρ s of wireless nodes is well known. Constant guarantee approximation algorithm is known for the ideal disk model but we will continue the study of general model in the case with hindrances. This model is defined by the use of matrices of sensor-target accessibility. The traditional connectivity issue of WSN is out of the scope of current research and the focus is on coverage. We aim at applying the widely-decentralized time-sharing model, where sensors collectively share the duty of continuous covering of the total collection of the set of targets. That is, when part of the nodes may accept for a time interval the sleep regime, minimizing in this way the energy consumption. In an easy step we obtain, that the mathematical problems arisen are related to the well-known combinatorial set cover problems. Set cover is one of the typical NP complete problems, which means that our solution will likely be not exact, but - approximate, or even heuristic. We bring analysis of the theoretical resources around these postulations. An extension of Integer Linear Programming model is implemented and demonstrated, being applied on the WSN domain coverage issues. In a complementary manner, and for the first time, we manage the appearing covering structures using the terms of monotone Boolean functions (the main result).
Publisher:
2019 Computer Science and Information Technologies (CSIT)
DOI:
10.1109/CSITechnol.2019.8895058
Language:
URL:
Affiliation:
Institute for Informatics and Automation Problems of NAS RA ; Glushkov Institute of Cybernetics, Kiev, Ukraine ; Institut de Recherche en Informatique, Toulouse, France
Country:
Year:
Time period:
Conference title:
2019 Computer Science and Information Technologies (CSIT)