A theoretical explanation for the observed behavior of the Vicsek model, which 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.
Abstract:
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.
TL;DR: A linear consensus protocol is proposed for solving such a consensus problem, which includes two parts: a feedback controller and interactions from the neighbours, and a sufficient and necessary condition for consensus in high-order systems is obtained.
TL;DR: In this paper, a decentralized control policy for symmetric formations in multiagent systems is presented, where n agents, each one pursuing its leading neighbor along the line of sight rotated by a common offset angle, eventually converge to a single point, a circle or a logarithmic spiral pattern, depending on the value of a.
TL;DR: In this article, the authors proposed a parallel micro-robots assembly scheme using stress-engineered MEMS microrobots, which can be controlled to dock compliantly together, forming planar structures several times this size.
TL;DR: This work considers a convex unconstrained optimization problem that arises in a network of agents whose goal is to cooperatively optimize the sum of the individual agent objective functions through local computations and communications, and proposes a distributed subgradient method that can operate over a time-varying topology.
TL;DR: In this article, the authors present results of both classic and recent matrix analyses using canonical forms as a unifying theme, and demonstrate their importance in a variety of applications, such as linear algebra and matrix theory.
TL;DR: In this article, an approach based on simulation as an alternative to scripting the paths of each bird individually is explored, with the simulated birds being the particles and the aggregate motion of the simulated flock is created by a distributed behavioral model much like that at work in a natural flock; the birds choose their own course.
TL;DR: Numerical evidence is presented that this model results in a kinetic phase transition from no transport to finite net transport through spontaneous symmetry breaking of the rotational symmetry.
Q1. What have the authors contributed in "Coordination of groups of mobile autonomous agents using nearest neighbor rules" ?
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.
Q2. What is the meaning of the union of a collection of graphs?
By the union of a collection of simple graphs, , each with vertex set , is meant the simple graph with vertex set and edge set equaling the union of the edge sets of all of the graphs in the collection.
Q3. What is the meaning of the definition of a simple graph?
By the intersection of a collection of simple graphs, , each with vertex set , is meant the simple graph with vertex set and edge set equaling the intersection of the edge sets of all of the graphs in the collection.
Q4. What is the form of the update equations?
The explicit form of the update equations exemplified by (38), depends on the relationships between neighbors which exist at time .
Q5. What is the simplest way to show that a group of agents is linked to its leader?
Then(40)The theorem says that the members of the -agent group all eventually follow their leader provided there is a positive integerwhich is large enough so that the -agent group is linked to its leader across each contiguous, nonempty time-interval of length at most .
Q6. What is the definition of a tight condition for a set of matrices?
This condition is tight in the sense that one can find a finite set of matrices with joint spectral radius , whose infinite products converge to zero despite the fact that there does not exist common quadratic Lyapunov function for the set.