Coordination of groups of mobile autonomous agents using nearest neighbor rules

In a recent Physical Review Letters article, Vicsek et al. propose a simple but compelling discrete-time model of n autonomous agents (i.e., points or particles) all moving in the plane with the same speed but with different headings. Each agent's heading is updated using a local rule based on the average of its own heading plus the headings of its "neighbors." In their paper, Vicsek et al. provide simulation results which demonstrate that the nearest neighbor rule they are studying can cause all agents to eventually move in the same direction despite the absence of centralized coordination and despite the fact that each agent's set of nearest neighbors change with time as the system evolves. This paper provides a theoretical explanation for this observed behavior. In addition, convergence results are derived for several other similarly inspired models. The Vicsek model proves to be a graphic example of a switched linear system which is stable, but for which there does not exist a common quadratic Lyapunov function.

[1]  C. Breder Equations Descriptive of Fish Schools and Other Animal Aggregations , 1954 .

[2]  J. Wolfowitz Products of indecomposable, aperiodic, stochastic matrices , 1963 .

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

[4]  A. Ōkubo Dynamical aspects of animal grouping: swarms, schools, flocks, and herds. , 1986, Advances in biophysics.

[5]  Craig W. Reynolds Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[6]  K. Warburton,et al.  Tendency-distance models of social cohesion in animal groups. , 1991, Journal of Theoretical Biology.

[7]  B. Mohar THE LAPLACIAN SPECTRUM OF GRAPHS y , 1991 .

[8]  I. Daubechies,et al.  Sets of Matrices All Infinite Products of Which Converge , 1992 .

[9]  Yang Wang,et al.  Bounded semigroups of matrices , 1992 .

[10]  A. Ōkubo,et al.  MODELLING SOCIAL ANIMAL AGGREGATIONS , 1994 .

[11]  L. Elsner,et al.  Convergence of infinite products of matrices and inner-outer iteration schemes , 1994 .

[12]  Tu,et al.  Long-Range Order in a Two-Dimensional Dynamical XY Model: How Birds Fly Together. , 1995, Physical review letters.

[13]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[14]  W. Beyn,et al.  Infinite products and paracontracting matrices , 1997 .

[15]  A. Barabasi,et al.  Collective Motion of Self-Propelled Particles: Kinetic Phase Transition in One Dimension , 1997, cond-mat/9712154.

[16]  A. Rhodius On the maximum of ergodicity coefficients, the Dobrushin ergodicity coefficient, and products of stochastic matrices , 1997 .

[17]  J. Toner,et al.  Flocks, herds, and schools: A quantitative theory of flocking , 1998, cond-mat/9804180.

[18]  A. S. Morse,et al.  A Bound for the Disturbance - to - Tracking - Error Gain of a Supervised Set-Point Control System , 1998 .

[19]  C. Schenk,et al.  INTERACTION OF SELF-ORGANIZED QUASIPARTICLES IN A TWO-DIMENSIONAL REACTION-DIFFUSION SYSTEM : THE FORMATION OF MOLECULES , 1998 .

[20]  T. Andô,et al.  Simultaneous Contractibility , 1998 .

[21]  G. F.,et al.  From individuals to aggregations: the interplay between behavior and physics. , 1999, Journal of theoretical biology.

[22]  A. Mikhailov,et al.  Noise-induced breakdown of coherent collective motion in swarms. , 1999, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[23]  W. Beyn,et al.  Stability and paracontractivity of discrete linear inclusions , 2000 .

[24]  Naomi Ehrich Leonard,et al.  Virtual leaders, artificial potentials and coordinated control of groups , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

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

[26]  I. Daubechies,et al.  Corrigendum/addendum to: Sets of matrices all infinite products of which converge , 2001 .

[27]  Béla Bollobás,et al.  Random Graphs: Notation , 2001 .

[28]  Petter Ögren,et al.  A control Lyapunov function approach to multi-agent coordination , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[29]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[30]  Michael William Newman,et al.  The Laplacian spectrum of graphs , 2001 .

[31]  A. Jadbabaie,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[32]  R.M. Murray,et al.  Distributed structural stabilization and tracking for formations of dynamic multi-agents , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[33]  Xiaoming Hu,et al.  A control Lyapunov function approach to multiagent coordination , 2002, IEEE Trans. Robotics Autom..

[34]  Richard M. Murray,et al.  DISTRIBUTED COOPERATIVE CONTROL OF MULTIPLE VEHICLE FORMATIONS USING STRUCTURAL POTENTIAL FUNCTIONS , 2002 .

[35]  J. A. Fax,et al.  Graph Laplacians and Stabilization of Vehicle Formations , 2002 .

[36]  Yang Liu,et al.  Stability analysis of one-dimensional asynchronous swarms , 2003, IEEE Trans. Autom. Control..