Target counting with Presburger constraints and its application in sensor networks

DOI10.1098/RSPA.2019.0278MaRDI QIDQ5160798zbMATH OpenOpenAlexWikidataFDO

Authors Sven Linker, Michele Sevegnani

Publication date 29 October 2021

Published in Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1098/rspa.2019.0278

zbMATH Keywords

mathematical modellingsensor networksPresburger arithmeticcomputational mathematicscomputer modelling and simulationmodel enumerationtarget counting

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Combinatorial probability (60C05) Wireless sensor networks as related to computer science (68M18)

Recommendations

• Target Enumeration via Euler Characteristic Integrals
• Self-stabilizing counting in mobile sensor networks
• Accurate and precise aggregation counting
• Theoretical treatment of target coverage in wireless sensor networks
• Self-stabilizing Counting in Mobile Sensor Networks with a Base Station

Cites work

• scientific article; zbMATH DE number 3501006 (Why is no real title available?)
• scientific article; zbMATH DE number 1313656 (Why is no real title available?)
• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 1859219 (Why is no real title available?)
• A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
• Complexity of Subcases of Presburger Arithmetic
• Handbook of Spatial Logics
• On the complexity of integer programming
• On the computability of region-based Euclidean logics
• Target Enumeration via Euler Characteristic Integrals

Cited in

(3)

• Minimal networks for sensor counting problem using discrete Euler calculus
• Reliable social sensing with physical constraints: analytic bounds and performance evaluation
• Analysing Spatial Properties on Neighbourhood Spaces

This page was built for publication: Target counting with Presburger constraints and its application in sensor networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5160798)