HyNTP: A Distributed Hybrid Algorithm for Time Synchronization

This paper presents a distributed hybrid algorithm that synchronizes the time and rate of a set of clocks connected over a network. Clock measurements of the nodes are given at aperiodic time instants and the controller at each node uses these measurements to achieve synchronization. Due to the continuous and impulsive nature of the clocks and the network, we introduce a hybrid system model to effectively capture the dynamics of the system and proposed hybrid algorithm. Moreover, the hybrid algorithm allows each agent to estimate the skew of its internal clock in order to allow for synchronization to a common timer rate. We provide sufficient conditions guaranteeing synchronization of the timers, exponentially fast. Numerical results illustrate the synchronization property induced by the proposed algorithm as well as its performance against comparable algorithms from the literature.

[1]  Saurabh Ganeriwal,et al.  Timing-sync protocol for sensor networks , 2003, SenSys '03.

[2]  Yuhei Kikuya,et al.  Fault-Tolerant Clock Synchronization Over Unreliable Channels in Wireless Sensor Networks , 2018, IEEE Transactions on Control of Network Systems.

[3]  Brian D. O. Anderson,et al.  Reaching a Consensus in a Dynamically Changing Environment: Convergence Rates, Measurement Delays, and Asynchronous Events , 2008, SIAM J. Control. Optim..

[4]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[5]  Ricardo G. Sanfelice,et al.  Hybrid Feedback Control , 2019 .

[6]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

[7]  Ling Shi,et al.  Time Synchronization in WSNs: A Maximum-Value-Based Consensus Approach , 2014, IEEE Transactions on Automatic Control.

[8]  Alessandro Chiuso,et al.  A PI Consensus Controller for Networked Clocks Synchronization , 2008 .

[9]  Andrea Gasparri,et al.  Clock synchronization protocol for wireless sensor networks with bounded communication delays , 2015, Autom..

[10]  J. Vig.  Introduction to Quartz Frequency Standards , 1992 .

[11]  Ruggero Carli,et al.  A randomized linear algorithm for clock synchronization in multi-agent systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[12]  Ricardo G. Sanfelice,et al.  State estimation of linear systems in the presence of sporadic measurements , 2016, Autom..

[13]  K. Yıldırım.  CLOCK SYNCHRONIZATION IN WIRELESS SENSOR NETWORKS , 2012 .

[14]  K. Narendra,et al.  A New Adaptive Law for Robust Adaptation without Persistent Excitation , 1986, 1986 American Control Conference.

[15]  Prabir Barooah,et al.  Distributed clock skew and offset estimation from relative measurements in mobile networks with Markovian switching topology , 2013, Autom..

[16]  Panganamala Ramana Kumar,et al.  Fundamental Limits on Synchronizing Clocks Over Networks , 2011, IEEE Transactions on Automatic Control.

[17]  S. Graham,et al.  Time in general-purpose control systems: the Control Time Protocol and an experimental evaluation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[19]  Ruggero Carli,et al.  Network Clock Synchronization Based on the Second-Order Linear Consensus Algorithm , 2014, IEEE Transactions on Automatic Control.

[20]  Ruggero Carli,et al.  Adaptive Proportional–Integral Clock Synchronization in Wireless Sensor Networks , 2018, IEEE Transactions on Control Systems Technology.

[21]  Erchin Serpedin,et al.  On Maximum Likelihood Estimation of Clock Offset and Skew in Networks With Exponential Delays , 2008, IEEE Transactions on Signal Processing.

[22]  Deborah Estrin,et al.  Proceedings of the 5th Symposium on Operating Systems Design and Implementation Fine-grained Network Time Synchronization Using Reference Broadcasts , 2022 .

[23]  Richard M. Murray,et al.  Information flow and cooperative control of vehicle formations , 2004, IEEE Transactions on Automatic Control.

[24]  Ricardo G. Sanfelice,et al.  Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability , 2007, IEEE Transactions on Automatic Control.

[25]  Ricardo G. Sanfelice,et al.  A Hybrid Consensus Protocol for Pointwise Exponential Stability with Intermittent Information , 2016 .

[26]  Luca Schenato,et al.  Average TimeSynch: A consensus-based protocol for clock synchronization in wireless sensor networks , 2011, Autom..

[27]  Ricardo G. Sanfelice,et al.  Robust Distributed Estimation for Linear Systems Under Intermittent Information , 2018, IEEE Transactions on Automatic Control.