Loading in 2 Seconds...
Loading in 2 Seconds...
Hamilton Institute Seminar 06/24/2005. Distributed Motion Coordination: From Swarming to Synchronization. Ali Jadbabaie. Department of Electrical and Systems Engineering and GRASP Laboratory University of Pennsylvania. Distributed Coordination in nature.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
emergence of collective behavior
Vicsek’s kinematic model
How does global behavior emerge from local interactions?
MAIN QUESTION :Under what conditions do all headings converge to the same value and agents reach a consensus on where to go?
Distributed consensus algorithm
We use graphs to model neighboring relations
Agent i’s neighborhood
The neighboring relation is represented by a fixed graph G, or a collection of graphs G1, G2,…Gm
Theorem (Jadbabaie et al. 2003): If there is a sequence of bounded, non-overlapping time intervals Tk, such that over any interval of length Tk, the network of agentsis “jointly connected ”, then all agents move in a formation.
This happens to be both necessary and sufficient for
exponential coordination, boundedness of intervals not required for asymptotic coordination. (Moreau ’04, Ren & Beard ‘05)
Choose x = tan()
We could shape potentials for any desired configuration,
and also update it as the objective changes.
injection locking in RF circuits
See the book by Steven Strogatz
B is the (n x e) incidence matrix of graph G.
W is diagonal
B is the incidence matrix of the graph representing the
interconnection of oscillators
Simple case: all oscillators are identical
Theorem:Consider the unperturbed Kuramoto Model defined over an arbitrary connected graph with incidence matrix B. For any given 0 and any positive value of the coupling, the vector is a locally asymptotically stable equilibrium solution. Furthermore, the rate of approach to equilibrium is no worse than
For |i|</2 for a connected graph, all trajectories will converge to S
Therefore, all velocity vectors will synchronize.
But, this stability result is not global. In the case of the ring topology is not the only equilibrium. This is due to the fact that B and BT have the same null space!
is also stable:
Where e is the number of edges in the graph
Gij = Aij cos( ij)and Gij>0 when i and j are neighbors. Synchronized state is stable independent of delay.
Proof sketch: Usethe following
V() as a Lyapunov/Krasovski
Corollary:If [Gij] is the adjacency matrix of a connected graph, then the continuous time, consensus problem is asymptotically stable with arbitrary time delays
The control law minimizes the potential by following its gradient.
But we can’t measure the headings of neighbors W/O communication
XwBiologically plausible sensing
Knowing relative heading would mean having binocular vision or solving structure from motion. This would require multiple visible features on each agent.
Pigeons and flies are capable of all 3 measurements!.
Wang & Frost, Nature, 1992, Fry and Dickinson , Science 2003
joint connectivity in time flocking
Proof based on construction of Lyapunov function whose derivative is the quadratic form of a state dependent Laplacian, and the following lemma
Theorem [ Moshtagh, Jadbabaie and Daniilidis, CDC’05]:
Consider the system of N equations
If the proximity graph of the agents is fixed and connected, then the control laws
result in flocking. Furthermore the consensus state is locally asymptotically stable. A similar result holds in the case of switching graphs, if the union graph is connected in time.
velocity vectors will synchronize.Lyapunov-based proof
In 2-d this is vT L v
It Can be shown that
Using LaSalle’s invariance principle, all trajectories converge to the largest invariant set within the set:
For 0<|i|<, could also use ||||^2 as a Lyap. Function. For a sublevel set inside |i|</2, all trajectories converge to a set where i =j
Use ||||^2 as Lyapunov function on this set, then all trajectories will converge to
QijVision-based control law generalizes to 3D
Visual Servoing Approach
Equation of Motion
We can solve for the input in terms of the measurements.
We can construct distributed control laws for flocking, based
on visual sensing and measurement of bearing, time to collision
and optical flow. No communication or relative distance or heading
information is needed
(How do flies do it?)