Clock Synchronization and Estimation in Highly Dynamic Networks: An Information Theoretic Approach

Abstract

We consider the External Clock Synchronization problem in dynamic sensor networks. Initially, sensors obtain inaccurate estimations of an external time reference and subsequently collaborate in order to synchronize their internal clocks with the external time. For simplicity, we adopt the drift-free assumption, where internal clocks are assumed to tick at the same pace. Hence, the problem is reduced to an estimation problem, in which the sensors need to estimate the initial external time. This work is further relevant to the problem of collective approximation of environmental values by biological groups.Unlike most works on clock synchronization that assume static networks, this paper focuses on an extreme case of highly dynamic networks. Specifically, we assume a non-adaptive scheduler adversary that dictates in advance an arbitrary, yet independent, meeting pattern. Such meeting patterns fit, for example, with short-time scenarios in highly dynamic settings, where each sensor interacts with only few other arbitrary sensors.We propose an extremely simple clock synchronization algorithm that is based on weighted averages, and prove that its performance on any given independent meeting pattern is highly competitive with that of the best possible algorithm, which operates without any resource or computational restrictions, and knows the meeting pattern in advance. In particular, when all distributions involved are Gaussian, the performances of our scheme coincide with the optimal performances. Our proofs rely on an extensive use of the concept of Fisher information. We use the Cramér-Rao bound and our definition of a Fisher Channel Capacity to quantify information flows and to obtain lower bounds on collective performance. This opens the door for further rigorous quantifications of information flows within collaborative sensors. 1 1 J b (t,A) + 1 J N . This directly implies the following: J a (t + 1, A) − J a (t, A) ≤ J N .

Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits

“…We consider a synchronous system in which clocks tick at the same pace but may not share the same opinion. This version has earlier been studied in e.g., [13,25,27,28,34,37] under different names, including "digital Clock Synchronization" and "synchronization of phase-clocks"; We simply use the term "Clock Synchronization". There is by now a substantial line of work on Clock Synchronization problems in a self-stabilizing context [26,28,45,44].…”

Minimizing message size in stochastic communication patterns: fast self-stabilizing protocols with 3 bits

“…We consider a synchronous system in which clocks tick at the same pace but may not share the same opinion. This version has earlier been studied in e.g., [13,26,28,29,35,38] under different names, including "digital Clock Synchronization" and "synchronization of phase-clocks"; We simply use the term "Clock Synchronization". There is by now a substantial line of work on Clock Synchronization problems in a self-stabilizing context [27,29,46,45].…”