Synchronization of Coupled Discrete-Time Harmonic Oscillators With Rational Frequency

This technical note studies the synchronization of coupled discrete-time harmonic oscillators with rational frequency under switching topology. The remarkable feature of this problem is that the conditions that merely involve the connectivity structure of topology does not suffice for synchronizing the oscillators. We propose a frequency dependent topology condition that indicates in what way the topology switches, and introduce firmly nonexpansive mapping (FNM) from functional analysis. Under the condition, the synchronization of coupled oscillators is related to an infinite product of FNMs, which share only one zero common fixed point. By a convergence result on infinite product of a finite number of FNM, we present a synchronization result for the coupled oscillators. Finally, a simulation example is given to illustrate the effectiveness of the result.

[1]  M. Areak,et al.  Passivity as a design tool for group coordination , 2006, 2006 American Control Conference.

[2]  Xiao Fan Wang,et al.  Synchronization of coupled harmonic oscillators in a dynamic proximity network , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[3]  Paul Tseng,et al.  On the Convergence of the Products of Firmly Nonexpansive Mappings , 1992, SIAM J. Optim..

[4]  Randal W. Beard,et al.  Distributed Consensus in Multi-vehicle Cooperative Control - Theory and Applications , 2007, Communications and Control Engineering.

[5]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[6]  Mark W. Spong,et al.  Synchronization of Networked Lagrangian Systems , 2007 .

[7]  Jin Zhou,et al.  Synchronization of networked harmonic oscillators under nonlinear protocols , 2010, 2010 11th International Conference on Control Automation Robotics & Vision.

[8]  George J. Pappas,et al.  Flocking in Fixed and Switching Networks , 2007, IEEE Transactions on Automatic Control.

[9]  H. Fujisaka,et al.  Stability Theory of Synchronized Motion in Coupled-Oscillator Systems , 1983 .

[10]  Guanrong Chen,et al.  Consensus of Discrete-Time Linear Multi-Agent Systems with Observer-Type Protocols , 2011, ArXiv.

[11]  Yoshiki Kuramoto,et al.  Chemical Oscillations, Waves, and Turbulence , 1984, Springer Series in Synergetics.

[12]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[13]  Eduardo D. Sontag,et al.  Synchronization of Interconnected Systems With Applications to Biochemical Networks: An Input-Output Approach , 2009, IEEE Transactions on Automatic Control.

[14]  Wei Ren,et al.  Synchronization of coupled harmonic oscillators with local interaction , 2008, Autom..

[15]  Sezai Emre Tuna,et al.  Synchronizing linear systems via partial-state coupling , 2008, Autom..

[16]  J. Dye.  A generalization of a theorem of Amemiya and Ando on the convergence of random products of contractions in Hilbert space , 1989 .

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

[18]  R. Beard,et al.  Consensus of information under dynamically changing interaction topologies , 2004, Proceedings of the 2004 American Control Conference.

[19]  Rodolphe Sepulchre,et al.  Synchronization in networks of identical linear systems , 2009, Autom..

[20]  Soon-Jo Chung,et al.  Cooperative Robot Control and Concurrent Synchronization of Lagrangian Systems , 2007, IEEE Transactions on Robotics.

[21]  Yongcan Cao,et al.  Distributed discrete-time coupled harmonic oscillators with application to synchronised motion coordination , 2010 .

[22]  Frank Allgöwer,et al.  An internal model principle is necessary and sufficient for linear output synchronization , 2011, Autom..