Almost Global Consensus on the $n$ -Sphere

This paper establishes novel results regarding the global convergence properties of a large class of consensus protocols for multiagent systems that evolve in continuous time on the $n$ -dimensional unit sphere or $n$ -sphere. For any connected, undirected graph and all $n\in \mathbb{N} \backslash \lbrace 1\rbrace$ , each protocol in said class is shown to yield almost global consensus. The feedback laws are negative gradients of Lyapunov functions and one instance generates the canonical intrinsic gradient descent protocol. This convergence result sheds new light on the general problem of consensus on Riemannian manifolds; the $n$ -sphere for $n\in \mathbb{N}\backslash \lbrace 1\rbrace$ differs from the circle and $\mathsf {SO}(3)$ , where the corresponding protocols fail to generate almost global consensus. Moreover, we derive a novel consensus protocol on $\mathsf {SO}(3)$ by combining two almost globally convergent protocols on the $n$ -sphere for $n\in \lbrace 1,2\rbrace$ . Theoretical and simulation results suggest that the combined protocol yields almost global consensus on $\mathsf {SO}(3)$ .

[1]  Mervin E. Muller,et al.  A note on a method for generating points uniformly on n-dimensional spheres , 1959, CACM.

[2]  Yoshiki Kuramoto,et al.  Self-entrainment of a population of coupled non-linear oscillators , 1975 .

[3]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

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

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

[6]  A. Rantzer A dual to Lyapunov's stability theorem , 2001 .

[7]  Randal W. Beard,et al.  A coordination architecture for spacecraft formation control , 2001, IEEE Trans. Control. Syst. Technol..

[8]  Randal W. Beard,et al.  Synchronized multiple spacecraft rotations , 2002, Autom..

[9]  Henk Nijmeijer,et al.  Mutual synchronization of robots via estimated state feedback: a cooperative approach , 2004, IEEE Transactions on Control Systems Technology.

[10]  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.

[11]  Naomi Ehrich Leonard,et al.  Autonomous rigid body attitude synchronization , 2007, 2007 46th IEEE Conference on Decision and Control.

[12]  Alain Sarlette,et al.  Synchronization and balancing on the N-torus , 2007, Syst. Control. Lett..

[13]  Rodolphe Sepulchre,et al.  Geometry and Symmetries in Coordination Control , 2009 .

[14]  R. Sepulchre,et al.  Synchronization on the circle , 2009, 0901.2408.

[15]  Derek A. Paley,et al.  Stabilization of collective motion on a sphere , 2009, Autom..

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

[17]  Levent Tunçel,et al.  Optimization algorithms on matrix manifolds , 2009, Math. Comput..

[18]  Alain Sarlette,et al.  Coordinated Motion Design on Lie Groups , 2008, IEEE Transactions on Automatic Control.

[19]  Magnus Egerstedt,et al.  Graph Theoretic Methods in Multiagent Networks , 2010, Princeton Series in Applied Mathematics.

[20]  Wei Ren,et al.  Distributed Cooperative Attitude Synchronization and Tracking for Multiple Rigid Bodies , 2010, IEEE Transactions on Control Systems Technology.

[21]  B. Afsari Riemannian Lp center of mass: existence, uniqueness, and convexity , 2011 .

[22]  A. Sanyal USING ROTATION MATRICES FOR CONTINUOUS, SINGULARITY-FREE CONTROL LAWS , 2011 .

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

[24]  René Vidal,et al.  Intrinsic consensus on SO(3) with almost-global convergence , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[25]  Hongdong Li,et al.  Rotation Averaging , 2013, International Journal of Computer Vision.

[26]  René Vidal,et al.  On the Convergence of Gradient Descent for Finding the Riemannian Center of Mass , 2011, SIAM J. Control. Optim..

[27]  Mohamed I. El-Hawwary,et al.  Reduction theorems for stability of closed sets with application to backstepping control design , 2013, Autom..

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

[29]  F. Bullo,et al.  Synchronization in complex oscillator networks and smart grids , 2012, Proceedings of the National Academy of Sciences.

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

[31]  P. Olver Nonlinear Systems , 2013 .

[32]  Robert E. Mahony,et al.  An Extrinsic Look at the Riemannian Hessian , 2013, GSI.

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

[34]  René Vidal,et al.  Distributed 3-D Localization of Camera Sensor Networks From 2-D Image Measurements , 2014, IEEE Transactions on Automatic Control.

[35]  Nikolai Matni,et al.  A convex approach to consensus on SO(n) , 2014, 2014 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[36]  Xiaoming Hu,et al.  Distributed attitude synchronization control of multi-agent systems with switching topologies , 2014, Autom..

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

[38]  Xiaoming Hu,et al.  Distributed control for intrinsic reduced attitude formation with ring inter-agent graph , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[39]  Johan Markdahl,et al.  Rigid-Body Attitude Control and Related Topics , 2015 .

[40]  Yoshito Ohta,et al.  Attitude synchronization of rigid bodies via distributed control , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[41]  Xiaoming Hu,et al.  Consensus and formation control on SE(3) for switching topologies , 2015, Autom..

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

[43]  Johan Markdahl,et al.  Global converegence properties of a consensus protocol on the n-sphere , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).