Abstract-I detta dokument presenterar vi tre distribuerade algoritmer för täckningsverifiering i sensornätverk utan platsinformation. Vi visar hur, i avsaknad av lokaliseringsutrustning, simplial komplex och verktyg från algebraisk topologi kan användas för att ge värdefull information om egenskaperna hos omslaget. Vår strategi är baserad på beräkning av homologier av Rips-komplexet som motsvarar sensornätverket. För det första presenterar vi ett decentraliserat system baserat på Laplacia-flöden för att beräkna en generator av den första homologin, som representerar täckningshål. Sedan formulerar vi problemet med att lokalisera täckningshål som ett optimeringsproblem för att beräkna en gles generator av den första homologin. Dessutom visar vi att man kan upptäcka uppsägningar i sensornätet genom att hitta en gles generator av den andra homologin i omslaget i förhållande till dess gräns. Vi visar hur subgradienta metoder kan användas för att lösa dessa optimeringsproblem på ett distribuerat sätt. Slutligen tillhandahåller vi simuleringar som illustrerar våra algoritmers prestanda.
I REF föreslogs ett decentraliserat system baserat på Laplacia-flöden för att beräkna en generator av den första homologigruppen.
Distributed Coverage Verification in Sensor Networks Without Location Information
{'venue': 'IEEE Transactions on Automatic Control', 'journal': 'IEEE Transactions on Automatic Control', 'mag_field_of_study': ['Computer Science']}