Pulse-Coupled Synchronization With Guaranteed Clock Continuity

Clock synchronization is a widely discussed topic in the engineering literature. Ensuring that individual clocks are closely aligned is important in network systems, since the correct timing of various events in a network is usually necessary for proper system implementation. However, many existing clock synchronization algorithms update clock values abruptly and instantaneously, resulting in discontinuous clocks, which have been shown to lead to undesirable behavior. In this paper, we explore the generalization of the pulse-coupled oscillator model to guarantee clock continuity, achieving continuous phase evolution in any pulse-coupled oscillator network. We provide rigorous mathematical proof for pulse-coupled synchronization under the proposed phase continuity methods, along with analysis of the time to synchronization under phase continuity. Two simple methods to achieve the desired continuity are presented. We further provide simulation and experimental results supporting these proofs, analyzing the effects of the phase continuity methods to convergence. We also investigate the convergence behavior of other pulse-coupled oscillator synchronization algorithms using the proposed methods.

[1]  Anna Scaglione,et al.  PulseSS: A Pulse-Coupled Synchronization and Scheduling Protocol for Clustered Wireless Sensor Networks , 2016, IEEE Internet of Things Journal.

[2]  Seongsoo Hong,et al.  Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems , 2001, IEEE Trans. Computers.

[3]  S. Strogatz,et al.  Synchronization of pulse-coupled biological oscillators , 1990 .

[4]  Florian Dörfler,et al.  Synchronization in complex networks of phase oscillators: A survey , 2014, Autom..

[5]  Sam Toueg,et al.  Optimal clock synchronization , 1985, PODC '85.

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

[7]  Christian Bettstetter,et al.  Firefly synchronization with phase rate equalization and its experimental analysis in wireless systems , 2016, Comput. Networks.

[8]  Yongqiang Wang,et al.  Energy-Efficient Pulse-Coupled Synchronization Strategy Design for Wireless Sensor Networks Through Reduced Idle Listening , 2012, IEEE Transactions on Signal Processing.

[9]  E. Nett,et al.  Continuous clock synchronization in wireless real-time applications , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[10]  Joel Nishimura,et al.  Frequency adjustment and synchrony in networks of delayed pulse-coupled oscillators. , 2014, Physical review. E, Statistical, nonlinear, and soft matter physics.

[11]  Yongqiang Wang,et al.  Global synchronization of pulse-coupled oscillators interacting on cycle graphs , 2014, Autom..

[12]  Anna Scaglione,et al.  A scalable synchronization protocol for large scale sensor networks and its applications , 2005, IEEE Journal on Selected Areas in Communications.

[13]  Radhika Nagpal,et al.  Firefly-inspired sensor network synchronicity with realistic radio effects , 2005, SenSys '05.

[14]  Yongqiang Wang,et al.  Optimal Phase Response Functions for Fast Pulse-Coupled Synchronization in Wireless Sensor Networks , 2012, IEEE Transactions on Signal Processing.

[15]  Charles S. Peskin,et al.  Mathematical aspects of heart physiology , 1975 .

[16]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[17]  Ajay D. Kshemkalyani,et al.  Clock synchronization for wireless sensor networks: a survey , 2005, Ad Hoc Networks.

[18]  Yongqiang Wang,et al.  Synchronization of Pulse-Coupled Oscillators on (Strongly) Connected Graphs , 2015, IEEE Transactions on Automatic Control.

[19]  Ming Cao,et al.  Synchronization of Pulse-Coupled Oscillators and Clocks Under Minimal Connectivity Assumptions , 2017, IEEE Transactions on Automatic Control.

[20]  Marc Timme,et al.  Convergence of Self-Organizing Pulse-Coupled Oscillator Synchronization in Dynamic Networks , 2017, IEEE Transactions on Automatic Control.