Coordinated Motion Design on Lie Groups

The present paper proposes a unified geometric framework for coordinated motion on Lie groups. It first gives a general problem formulation and analyzes ensuing conditions for coordinated motion. Then, it introduces a precise method to design control laws in fully actuated and underactuated settings with simple integrator dynamics. It thereby shows that coordination can be studied in a systematic way once the Lie group geometry of the configuration space is well characterized. Applying the proposed general methodology to particular examples allows to retrieve control laws that have been proposed in the literature on intuitive grounds. A link with Brockett's double bracket flows is also made. The concepts are illustrated on SO(3) , SE(2) and SE(3) .

[1]  Naomi Ehrich Leonard,et al.  Stabilization of Three-Dimensional Collective Motion , 2008, Commun. Inf. Syst..

[2]  W. Ren.  Distributed attitude consensus among multiple networked spacecraft , 2006, 2006 American Control Conference.

[3]  Naomi Ehrich Leonard.  Averaging and Motion Control of Systems on Lie Groups , 1994 .

[4]  E. W. Justh,et al.  A Simple Control Law for UAV Formation Flying , 2002 .

[5]  R. Sepulchre,et al.  Collective optimization over average quantities , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[6]  K.Y. Pettersen,et al.  Leader/Follower synchronization of satellite attitude without angular velocity measurements , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[7]  V. Jurdjevic,et al.  Controllability and stability , 1978 .

[8]  P. S. Krishnaprasad,et al.  Equilibria and steering laws for planar formations , 2004, Syst. Control. Lett..

[9]  Jan Tommy Gravdahl,et al.  Coordinated Attitude Control of Satellites in Formation , 2006 .

[10]  Colin R. McInnes,et al.  Distributed control of maneuvering vehicles for on-orbit assembly , 1995 .

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

[12]  M. Mesbahi,et al.  Formation flying control of multiple spacecraft via graphs, matrix inequalities, and switching , 1999, Proceedings of the 1999 IEEE International Conference on Control Applications (Cat. No.99CH36328).

[13]  V. Arnold.  Mathematical Methods of Classical Mechanics , 1974 .

[14]  Christopher D. Hall,et al.  Decentralized Coordinated Attitude Control Within a Formation of Spacecraft , 2006 .

[15]  L. Moreau,et al.  Stability of continuous-time distributed consensus algorithms , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[16]  Hal L. Smith,et al.  Asymptotically autonomous semiflows: chain recurrence and Lyapunov functions , 1995 .

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

[18]  Naomi Ehrich Leonard,et al.  Alternating spatial patterns for coordinated group motion , 2007, 2007 46th IEEE Conference on Decision and Control.

[19]  P. Tsiotras,et al.  Laplacian cooperative attitude control of multiple rigid bodies , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[20]  Naomi Ehrich Leonard,et al.  Collective Motion, Sensor Networks, and Ocean Sampling , 2007, Proceedings of the IEEE.

[21]  Mehran Mesbahi,et al.  Formation flying control of multiple spacecraft via graphs , 2001 .

[22]  S. Strogatz.  From Kuramoto to Crawford: exploring the onset of synchronization in populations of coupled oscillators , 2000 .

[23]  Naomi Ehrich Leonard,et al.  Symmetry and Reduction for Coordinated Rigid Bodies , 2006, Eur. J. Control.

[24]  Naomi Ehrich Leonard,et al.  Stable Synchronization of Mechanical System Networks , 2008, SIAM J. Control. Optim..

[25]  M. Hurley.  Chain recurrence, semiflows, and gradients , 1995 .

[26]  Naomi Ehrich Leonard,et al.  COOPERATIVE ATTITUDE SYNCHRONIZATION IN SATELLITE SWARMS: A CONSENSUS APPROACH , 2007 .

[27]  Vijay Kumar,et al.  Modeling and control of formations of nonholonomic mobile robots , 2001, IEEE Trans. Robotics Autom..

[28]  E. W. Justh,et al.  Natural frames and interacting particles in three dimensions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[29]  R. Murray,et al.  Graph rigidity and distributed formation stabilization of multi-vehicle systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[30]  Alain Sarlette,et al.  Coordination on Lie groups , 2008, 2008 47th IEEE Conference on Decision and Control.

[31]  Naomi Ehrich Leonard,et al.  Stabilization of collective motion in three dimensions: A consensus approach , 2007, 2007 46th IEEE Conference on Decision and Control.

[32]  John T. Wen,et al.  A decentralized design for group alignment and synchronous rotation without inertial frame information , 2007, 2007 46th IEEE Conference on Decision and Control.

[33]  David L. Elliott,et al.  Geometric control theory , 2000, IEEE Trans. Autom. Control..

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

[35]  Naomi Ehrich Leonard,et al.  Stabilization of a coordinated network of rotating rigid bodies , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

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

[37]  F. Bullo.  Nonlinear control of mechanical systems : a Riemannian geometry approach , 1999 .

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

[39]  Naomi Ehrich Leonard,et al.  Stabilization of Planar Collective Motion With Limited Communication , 2008, IEEE Transactions on Automatic Control.

[40]  Naomi Ehrich Leonard,et al.  Stabilization of Planar Collective Motion: All-to-All Communication , 2007, IEEE Transactions on Automatic Control.

[41]  John N. Tsitsiklis,et al.  Distributed Asynchronous Deterministic and Stochastic Gradient Optimization Algorithms , 1984, 1984 American Control Conference.

[42]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

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

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

[45]  John N. Tsitsiklis,et al.  Problems in decentralized decision making and computation , 1984 .

[46]  J. Marsden,et al.  Introduction to mechanics and symmetry , 1994 .

[47]  G. Bard Ermentrout.  Review of Sync : The Emerging Science of Spontaneous Order , 2003 .

[48]  M. G. Mylroi.  Control Theory , 1969, Nature.

[49]  Eduardo Sontag.  Remarks on stabilization and input-to-state stability , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[50]  J.N. Tsitsiklis,et al.  Convergence in Multiagent Coordination, Consensus, and Flocking , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[51]  Sujit S. Nair,et al.  Stabilization and synchronization of networked mechanical systems , 2006 .

[52]  M. C. VanDyke.  Decentralized Coordinated Attitude Control of a Formation of Spacecraft , 2004 .

[53]  Mrdjan J. Jankovic,et al.  Constructive Nonlinear Control , 2011 .

[54]  Philippe Martin,et al.  Symmetry-Preserving Observers , 2006, IEEE Transactions on Automatic Control.

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

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

[57]  N.E. Leonard,et al.  Orientation control of multiple underwater vehicles with symmetry-breaking potentials , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[58]  J.N. Tsitsiklis,et al.  Convergence Rates in Distributed Consensus and Averaging , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[59]  N. Ayache,et al.  Bi-invariant Means in Lie Groups. Application to Left-invariant Polyaffine Transformations , 2006 .