Robust synchronization of heterogeneous robot swarms on the sphere

Synchronization on the sphere is important to certain control applications in swarm robotics. Of recent interest is the Lohe model, which generalizes the Kuramoto model from the circle to the sphere. The Lohe model is mainly studied in mathematical physics as a toy model of quantum synchronization. The model makes few assumptions, wherefore it is well-suited to represent a swarm. Previous work on this model has focused on the cases of complete and acyclic networks or the homogeneous case where all oscillator frequencies are equal. This paper concerns the case of heterogeneous oscillators connected by a non-trivial network. We show that any undesired equilibrium is exponentially unstable if the frequencies satisfy a given bound. This property can also be interpreted as a robustness result for small model perturbations of the homogeneous case with zero frequencies. As such, the Lohe model is a good choice for control applications in swarm robotics.

[1]  Johan Thunberg,et al.  High-dimensional Kuramoto models on Stiefel manifolds synchronize complex networks almost globally , 2018, Autom..

[2]  Frank Allgöwer,et al.  Synchronization of diffusively coupled systems on compact Riemannian manifolds in the presence of drift , 2015, Syst. Control. Lett..

[3]  Seung-Yeal Ha,et al.  A Dynamical Systems Approach for the Shape Matching of Polytopes Along Rigid-Body Motions , 2020, SIAM Journal on Applied Mathematics.

[4]  Alain Sarlette,et al.  Consensus Optimization on Manifolds , 2008, SIAM J. Control. Optim..

[5]  E. Ott,et al.  Continuous versus Discontinuous Transitions in the D -Dimensional Generalized Kuramoto Model: Odd D is Different , 2018, Physical Review X.

[6]  William Kahan,et al.  Spectra of nearly Hermitian matrices , 1975 .

[7]  Seung-Yeal Ha,et al.  Emergence of Bicluster Aggregation for the Swarm Sphere Model with Attractive-Repulsive Couplings , 2020, SIAM J. Appl. Dyn. Syst..

[8]  Jiandong Zhu.  Synchronization of Kuramoto model in a high-dimensional linear space , 2013 .

[9]  Seung‐Yeal Ha,et al.  Emergent behaviors of a holonomic particle system on a sphere , 2014 .

[10]  Doheon Kim.  Asymptotic behavior of a second-order swarm sphere model and its kinetic limit , 2020, Kinetic & Related Models.

[11]  Vladimir Jacimovic,et al.  Swarms on the 3-sphere with adaptive synapses: Hebbian and anti-Hebbian learning rule , 2018, Syst. Control. Lett..

[12]  Zhiyong Sun,et al.  Consensus on spheres: Convergence analysis and perturbation theory , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[13]  Wei Li,et al.  Corrigendum: Collective Motion of Swarming Agents Evolving on a Sphere Manifold: A Fundamental Framework and Characterization , 2015, Scientific Reports.

[14]  S. Bhat,et al.  A topological obstruction to continuous global stabilization of rotational motion and the unwinding phenomenon , 2000 .

[15]  Michelle Girvan,et al.  Complexity reduction ansatz for systems of interacting orientable agents: Beyond the Kuramoto model. , 2019, Chaos.

[16]  D K Smith,et al.  Numerical Optimization , 2001, J. Oper. Res. Soc..

[17]  J. Markdahl.  Synchronization on Riemannian Manifolds: Multiply Connected Implies Multistable , 2019, IEEE Transactions on Automatic Control.

[18]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[19]  Aladin Crnkić,et al.  Data clustering based on quantum synchronization , 2018, Natural Computing.

[20]  M. A. Lohe.  Non-Abelian Kuramoto models and synchronization , 2009 .

[21]  Thomas K. D. M. Peron,et al.  The Kuramoto model in complex networks , 2015, 1511.07139.

[22]  Fumin Zhang,et al.  A Gradient-Free Three-Dimensional Source Seeking Strategy With Robustness Analysis , 2019, IEEE Transactions on Automatic Control.

[23]  P. Olver.  Nonlinear Systems , 2013 .

[24]  Rodolphe Sepulchre,et al.  Consensus on nonlinear spaces , 2010, Annu. Rev. Control..

[25]  M. A. Lohe.  Quantum synchronization over quantum networks , 2010 .

[26]  Wei Li.  Collective Motion of Swarming Agents Evolving on a Sphere Manifold: A Fundamental Framework and Characterization , 2015, Scientific Reports.

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

[28]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[29]  Pedro Casau,et al.  Global asymptotic stabilization of spherical orientation by synergistic hybrid feedback with application to reduced attitude synchronization , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[30]  E. Izhikevich,et al.  Weakly connected neural networks , 1997 .

[31]  Randy A. Freeman,et al.  A global attractor consisting of exponentially unstable equilibria , 2013, 2013 American Control Conference.

[33]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[34]  S. Strogatz,et al.  The spectrum of the locked state for the Kuramoto model of coupled oscillators , 2005 .

[35]  Johan Thunberg,et al.  Almost Global Consensus on the $n$ -Sphere , 2016, IEEE Transactions on Automatic Control.

[36]  Johan Thunberg,et al.  Lifting method for analyzing distributed synchronization on the unit sphere , 2018, Autom..

[37]  Xiaoming Hu,et al.  Intrinsic reduced attitude formation with ring inter-agent graph , 2017, Autom..

[38]  R. Olfati-Saber,et al.  Swarms on Sphere: A Programmable Swarm with Synchronous Behaviors like Oscillator Networks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[39]  Johan Thunberg,et al.  Dynamic controllers for column synchronization of rotation matrices: a QR-factorization approach , 2018, Autom..

[40]  Wei Li,et al.  Unified Cooperative Control of Multiple Agents on a Sphere for Different Spherical Patterns , 2014, IEEE Transactions on Automatic Control.

[41]  René Vidal,et al.  Riemannian Consensus for Manifolds With Bounded Curvature , 2012, IEEE Transactions on Automatic Control.