Institute for Design and Control of Mechatronical Systems
Introduction aux Systèmes Collaboratifs Multi-Agents
UPJV, Département EEA
Fabio MORBIDI
Laboratoire MIS
Équipe Perception Robotique E-mail: [email protected]
M1 EEAII - Découverte de la Recherche (ViRob)
Consensus protocol
Directed weighted networks
Consider the weighted digraph in the figure, which corresponds to the first-order dynamics :
1
2
Reaching consensus: directed weighted networks
We can compactly rewrite the previous system as:
1
2
3 4
where
Recalling the definition of in-degree Laplacian for digraphs, we can rewrite the dynamics of the networked system as:
where is the underlying directed interconnection between the vertices
Reaching consensus: directed weighted networks
Another example:
• Three robots coordinate their speeds
according to the chain of command in the figure
1
3 2
1 1/2
1/2 1
Reaching consensus: directed weighted networks
• The dynamics of the resulting system
can be written as:
The previous equations can be rewritten as:
where
1
3 2
1 1/2
1/2 1
The matrix in the system above corresponds to the negated in-degree Laplacian of the network, thus:
where is the weighted digraph of the network
Reaching consensus: directed weighted networks
Reaching consensus: directed weighted networks
Are there necessary and sufficient conditions on the graph that lead to the convergence of system to the consensus set ?
As in the case of undirected networks, the rank of the Laplacian matrix and how this relates to the structure of the graph, plays a critical role
The following notion parallels that of spanning tree for undirected graphs
A digraph is a rooted out-branching if:
a) It does not contain a directed cycle
b) It has a vertex (root) such that for every other vertex there is a directed path from to
Definition (Rooted out-branching or directed rooted tree)
Reaching consensus: directed weighted networks
Example of rooted out-branching
root
Reaching consensus: directed weighted networks
A digraph on vertices contains a rooted out-branching as a subgraph if and only if
Proposition
Theorem (Main result)
For a digraph containing a rooted out-branching, the state trajectory generated by initialized with , satisfies
where and , are respectively, the right and left eigenvectors associated with the zero eigenvalue of , normalized such that
As a result, one has for all initial conditions if and only if
contains a rooted out-branching
Reaching consensus: remark I
Let be the left eigenvector of the digraph in-degree Laplacian associated with its zero eigenvalue. Then the quantity:
remains invariant under the consensus dynamics Proposition (Constant of motion)
Remark:
The vector is a left eigenvector of the matrix with associated eigenvalue if:
Reaching consensus: remark II, balanced digraphs
A digraph is called balanced if, for every vertex, the in-degree and out-degree are equal
Definition (Balanced digraph)
Balanced digraph (unitary weights) Unbalanced digraph (unitary weights)
Reaching consensus: remark II, balanced digraphs
When the digraph is balanced, in addition to having , one has
The consensus protocol over a digraph reaches the average consensus for every initial condition if and only if the digraph is weakly connected and balanced
Theorem
Thus, if the digraph contains a rooted out-branching and is balanced, the common value reached by the consensus protocol is the average value of the initial states, i.e. the average consensus, since
i.e.
Launch the Matlab file:
Consensus protocol
Some extensions for undirected networks
1. Consensus protocol with uniform communication time delays
“Consensus problems in networks of agents with switching topology and time-delays”,
Consider the uniformly delayed consensus dynamics over a connected, weighted undirected graph, specified by:
for some This delayed protocol achieves average consensus if and only if
where is the largest eigenvalue of the weighted Laplacian
• Trade-off between faster convergence rate and tolerance to uniform delays on the information exchange links
Extensions of the consensus protocol
2. Consensus protocol for double-integrator agents
Consider the following second-order dynamics for agent :
where and are, respectively, the position and velocity of agent w.r.t. an inertial frame, and is the control input (acceleration), with
Inspired by the consensus protocol, we can define the control for agent as
where is a positive gain
Extensions of the consensus protocol
or equivalently
3. Discrete-time consensus protocol
An iterative form of the consensus protocol can be stated as follows in discrete time:
where is the step size, and is the maximum degree of the network
The collective dynamics of the network can be written in compact form as
where and
Extensions of the consensus protocol
• is referred to as the Perron matrix of the graph with parameter
• is a stochastic matrix, i.e. the row-sum is equal to 1:
• The conditions for achieving consensus in discrete-time are the same as in continuous-time
• The convergence speed to the consensus set is dictated by:
the second largest eigenvalue of
For more details on discrete-time consensus protocols and their connection to the theory of Markov chains, see “Consensus and Cooperation in Networked Multi-Agent Systems”, R. Olfati-Saber, J. A. Fax, R. M. Murray, Proc. IEEE Trans. Automat. Contr., vol. 95, n. 1,
Extensions of the consensus protocol
3. Discrete-time consensus protocol
Sujets de projet
Sujets de projet pour les binômes/trinômes
1. Contrôle de formations de robots mobiles 2. Flocking d’un groupe de robots
3. Commande de cohortes de micro drones 4. Controllabilité de réseaux complexes
5. Manipulation et transport par drones coopérants 6. Écran robotique
7. Surveillance aérienne coopérative et décentralisée
8. Contrôle de couverture avec un réseau de caméras volantes 9. Le protocole de consensus et les réseaux sociaux
10. Le protocole de consensus et l‘algorithme PageRank de Google
Types de publications scientifiques
On peut distinguer les publications scientifiques selon leur support de parution :
1.Les revues à comité de lecture ou ‘peer-reviewed’ (jusqu‘à 20 pages)
2.
Les comptes-rendus de congrès scientifique à comité de lecture (typiquement 6 pages)
3.Les ouvrages collectifs rassemblant des articles de revue ou de recherche autour
d'un thème donné, coordonnés par un ou plusieurs chercheurs appelés éditeurs
Maisons d‘édition les plus importantes pour l‘ingénierie: IEEE (Institute of Electrical and Electronics
Engineers), Elsevier, Springer, John Wiley & Sons, Taylor & Francis, Sage, ACM (Association for Computing Machinery). Visitez, par example: www.ieeexplore.ieee.org et www.sciencedirect.com
Structure d‘un article scientifique Titre (10-15 mots)
Résumé ou abstract (10-20 lignes)
Introduction (état de l’art et contributions originales par rapport à la littérature) Formulation et résolution du problème
Validation (simulations numériques et/ou expérimentations) Conclusions et perspectives
Pour la recherche d’articles scientifiques sur Internet: Google Scholar
