## Consensus Problems in Networks of Agents with Switching Topology and Time-Delays (2003)

Citations: | 497 - 15 self |

### BibTeX

@MISC{Saber03consensusproblems,

author = {Reza Olfati Saber and Richard M. Murray},

title = {Consensus Problems in Networks of Agents with Switching Topology and Time-Delays},

year = {2003}

}

### OpenURL

### Abstract

In this paper, we discuss consensus problems for a network of dynamic agents with fixed and switching topologies. We analyze three cases: i) networks with switching topology and no time-delays, ii) networks with fixed topology and communication time-delays, and iii) max-consensus problems (or leader determination) for groups of discrete-time agents. In each case, we introduce a linear/nonlinear consensus protocol and provide convergence analysis for the proposed distributed algorithm. Moreover, we establish a connection between the Fiedler eigenvalue of the information flow in a network (i.e. algebraic connectivity of the network) and the negotiation speed (or performance) of the corresponding agreement protocol. It turns out that balanced digraphs play an important role in addressing average-consensus problems. We introduce disagreement functions that play the role of Lyapunov functions in convergence analysis of consensus protocols. A distinctive feature of this work is to address consensus problems for networks with directed information flow. We provide analytical tools that rely on algebraic graph theory, matrix theory, and control theory. Simulations are provided that demonstrate the effectiveness of our theoretical results.

### Citations

4867 | Matrix Analysis - Horn, Johnson - 1985 |

1609 |
Distributed Algorithms
- Lynch
- 1996
(Show Context)
Citation Context ...satellites, and congestion control in communication networks [10]. Consensus problems have a long history in the field of computer science, particularly in automata theory and distributed computation =-=[11]-=-. In many applications involving multiagent/multivehicle systems, groups of agents need to agree upon certain quantities of interest. Such quantities might or might not be related to the motion of the... |

895 | Flocks, Herds, and Schools: A Distributed Behavioural Model - Reynolds - 1987 |

736 |
Graph Theory
- Diestel
- 2005
(Show Context)
Citation Context ...EBRAIC GRAPH THEORY AND MATRIX THEORY In this section, we introduce some basic concepts and notation in graph theory that will be used throughout this paper. More information is available in [31] and =-=[37]-=-. A comprehensive survey on properties of Laplacians of undirected graphs can be found in [38]. However, we need to use some basic properties of Laplacians of digraphs. These properties cannot be foun... |

433 |
Algebraic connectivity of graphs
- Fiedler
- 1973
(Show Context)
Citation Context ...ing well-known property holds [31]: (17) The proof follows from a special case of Courant–Fischer Theorem in [32]. We will later establish a connection between with , called the Fiedler eigenvalue of =-=[39]-=- and the performance (i.e., worst case speed of convergence) of protocol (A1) on digraphs. Remark 5: The notion of algebraic connectivity (or ) of graphs was originally defined by Fiedler for undirect... |

429 | Algebraic Graph Theory
- Godsil, Royle
- 2001
(Show Context)
Citation Context ...eory. Here, our main focus is analysis of consensus protocols on directed networks with fixed/switching topology. In this paper, our analysis relies on several tools from algebraic graph theory [30], =-=[31]-=-, matrix theory [32], and control theory. We establish a connection between the performance of a linear consensus protocol on a directed network and the Fiedler eigenvalue of the mirror graph of the i... |

413 |
herds and schools: A distributed behavioral model
- Flocks
- 1987
(Show Context)
Citation Context ...rchers in recent years. This is partly due to broad applications of multiagent systems in many areas including cooperative control of unmanned air vehicles (UAVs), formation control [1]–[5], flocking =-=[6]-=-–[8], distributed sensor networks [9], attitude alignment of clusters of satellites, and congestion control in communication networks [10]. Consensus problems have a long history in the field of compu... |

386 | Exploring complex networks - Strogatz - 2001 |

305 |
Novel type of phase transitions in a system of selfdriven particles
- Vicsek, Czirok, et al.
- 1995
(Show Context)
Citation Context ...ation of all agents. In recent years, there has been a tremendous amount of renewed interest in flocking/swarming [20]–[27] that has been primarily originated from the pioneering work of Reynolds. In =-=[7]-=-, alignment of heading angles for multiple particles is analyzed from the point of view of statistical mechanics. Moreover, a phase transition phenomenon is observed that occurs when the network topol... |

279 |
Information Flow and Cooperative Control of Vehicle Formations
- Fax, Murray
- 2004
(Show Context)
Citation Context ...cted several researchers in recent years. This is partly due to broad applications of multiagent systems in many areas including cooperative control of unmanned air vehicles (UAVs), formation control =-=[1]-=-–[5], flocking [6]–[8], distributed sensor networks [9], attitude alignment of clusters of satellites, and congestion control in communication networks [10]. Consensus problems have a long history in ... |

237 | A property of eigenvectors of non-negative symmetric matrices and its applications to graph theory - Fiedler - 1975 |

210 | Fast linear iterations for distributed averaging
- Xiao, Boyd
- 2004
(Show Context)
Citation Context ...weights in protocol (A1) such that a certain performance index is maximized (or minimized) is an optimization problem that falls within the category of network design problems. We refer the reader to =-=[34]-=- for a network design problem for reaching average-consensus using a semidefinite programming approach. The framework presented in [34] partially relies on the work in [29] that introduced average-con... |

157 | Modeling and Control of Formations of Nonholonomic Mobile Robots - Desai, Kumar, et al. - 2001 |

148 | Graph theory, volume 173 of Graduate Texts in Mathematics - Diestel - 2000 |

139 | Simulating Dynamical Features of Escape Panic
- Helbing, Farkas, et al.
- 2000
(Show Context)
Citation Context ...ation of coupled oscillators, a consensus is reached regarding the frequency of oscillation of all agents. In recent years, there has been a tremendous amount of renewed interest in flocking/swarming =-=[20]-=-–[27] that has been primarily originated from the pioneering work of Reynolds. In [7], alignment of heading angles for multiple particles is analyzed from the point of view of statistical mechanics. M... |

130 | Stability analysis of swarms - Gazi, Passino - 2003 |

102 | A survey of matrix theory and matrix inequalities - Marcus, Newman - 1992 |

98 | Scalable laws for stable network congestion control
- Paganini, Doyle, et al.
(Show Context)
Citation Context ...anned air vehicles (UAVs), formation control [1]–[5], flocking [6]–[8], distributed sensor networks [9], attitude alignment of clusters of satellites, and congestion control in communication networks =-=[10]-=-. Consensus problems have a long history in the field of computer science, particularly in automata theory and distributed computation [11]. In many applications involving multiagent/multivehicle syst... |

79 | Sets of matrices all infinite products of which converge
- Daubechies, Lagarias
- 1992
(Show Context)
Citation Context ...s. This is different than the approach pursued in the work of Jadbabaie et al. which strongly relies on matrix theoretic properties and infinite right-convergent products (RCP) of stochastic matrices =-=[36]-=-. V. ALGEBRAIC GRAPH THEORY AND MATRIX THEORY In this section, we introduce some basic concepts and notation in graph theory that will be used throughout this paper. More information is available in [... |

77 | Distributed cooperative control of multiple vehicle formations using structural potential functions - Olfati-Saber, Murray - 2002 |

75 | Laplacian Matrices of Graphs: A Survey. Linear Algebra and its Applications - Merris - 1994 |

74 | R.: Consensus protocols for networks of dynamic agents
- Olfati-Saber, Murray
- 2003
(Show Context)
Citation Context ...ich the agents have simple dynamics motivated by the model used in [7]. It is shown that the connectivity of the graph on average is sufficient for convergence of the heading angles of the agents. In =-=[29]-=-, the authors provide a convergence analysis of linear and nonlinear 0018-9286/04$20.00 © 2004 IEEE OLFATI-SABER AND MURRAY: CONSENSUS PROBLEMS IN NETWORKS OF AGENTS 1521 protocols for undirected netw... |

69 | A decentralized approach to formation maneuvers
- Lawton, Beard, et al.
- 2003
(Show Context)
Citation Context ... systems with nonlinear dynamics that are not feedback linearizable. A special case of this approach is known as the leader–follower architecture and has been widely used by numerous researchers [13]–=-=[15]-=-. In [16], graph Laplacians are used as an essential part of a dynamic theory of graphs. The problem of synchronization of coupled oscillators is closely related to consensus problems on graphs. This ... |

69 | Coordination and geometric optimization via distributed dynamical systems
- Cortes, Bullo
- 2003
(Show Context)
Citation Context ...y due to broad applications of multiagent systems in many areas including cooperative control of unmanned air vehicles (UAVs), formation control [1]–[5], flocking [6]–[8], distributed sensor networks =-=[9]-=-, attitude alignment of clusters of satellites, and congestion control in communication networks [10]. Consensus problems have a long history in the field of computer science, particularly in automata... |

65 |
Matrix Theory
- Gantmacher
- 1966
(Show Context)
Citation Context ...stochastic matrix for all . We refer to as the Perron matrix induced by . The convergence analysis of protocol (A1) for discrete-time agents heavily relies on the theory of nonnegative matrices [32], =-=[35]-=- and will be discussed in a separate paper. Our approach presents a Lyapunov-based convergence analysis for agreement in networks with discrete-time models. This is different than the approach pursued... |

61 | Graph Laplacians and stabilization of vehicle formations - Fax, Murray - 2002 |

61 | Algebraic graph theory, volume 207 of Graduate Texts in Mathematics - Godsil, Royle - 2001 |

48 | Algebraic graph theory, Cambridge Tracts in - Biggs - 1974 |

48 |
Laplacian matrices of graphs: a survey
- Merris
- 1994
(Show Context)
Citation Context ...tation in graph theory that will be used throughout this paper. More information is available in [31] and [37]. A comprehensive survey on properties of Laplacians of undirected graphs can be found in =-=[38]-=-. However, we need to use some basic properties of Laplacians of digraphs. These properties cannot be found in the graph theory literature and will be stated here. Let be a weighted directed graph (or... |

36 | Collision Avoidance for Multiple Agent Systems - Chang, Shadden, et al. - 2003 |

33 | Closing Ranks in Vehicle Formations Based on Rigidity - Eren, Belhumeur, et al. - 2002 |

29 |
Coordination of groups of mobile agents using nearest neighbor rules
- Jadbabaie, Lin, et al.
- 2003
(Show Context)
Citation Context ...statistical mechanics. Moreover, a phase transition phenomenon is observed that occurs when the network topology becomes connected by increasing the density of agents in a bounded region. The work in =-=[28]-=- focuses on attitude alignment on undirected graphs in which the agents have simple dynamics motivated by the model used in [7]. It is shown that the connectivity of the graph on average is sufficient... |

22 |
Formation flying of multiple spacecraft via graphs, matrix inequalities, and switching
- Mesbahi, Hadegh
- 2000
(Show Context)
Citation Context ...ed to systems with nonlinear dynamics that are not feedback linearizable. A special case of this approach is known as the leader–follower architecture and has been widely used by numerous researchers =-=[13]-=-–[15]. In [16], graph Laplacians are used as an essential part of a dynamic theory of graphs. The problem of synchronization of coupled oscillators is closely related to consensus problems on graphs. ... |

20 | schools: A quantitative theory of flocking - Flocks - 1998 |

20 |
A distributed control scheme for multiple robotic vehicles to make group formations,” Robot
- Yamaguchi, Arai, et al.
- 2001
(Show Context)
Citation Context ...ems that are essentially different forms of agreement problems with differences regarding the types of agent dynamics, the properties of the graphs, and the names of the tasks of interest. In [1] and =-=[12]-=-, graph Laplacians are used for the task of formation stabilization for groups of agents with linear dynamics. This particular method for formation stabilization has not yet been extended to systems w... |

20 | Formation control of nonholonomic mobile robots omnidirectional visual servoing and motion segmentation
- Vidal, Shakernia, et al.
(Show Context)
Citation Context ... several researchers in recent years. This is partly due to broad applications of multiagent systems in many areas including cooperative control of unmanned air vehicles (UAVs), formation control [1]–=-=[5]-=-, flocking [6]–[8], distributed sensor networks [9], attitude alignment of clusters of satellites, and congestion control in communication networks [10]. Consensus problems have a long history in the ... |

19 |
schools: a quantitative theory of flocking,” Phys
- Toner, Tu, et al.
- 1998
(Show Context)
Citation Context ...rs in recent years. This is partly due to broad applications of multiagent systems in many areas including cooperative control of unmanned air vehicles (UAVs), formation control [1]–[5], flocking [6]–=-=[8]-=-, distributed sensor networks [9], attitude alignment of clusters of satellites, and congestion control in communication networks [10]. Consensus problems have a long history in the field of computer ... |

19 | Flocking with obstacle avoidance: Cooperation with limited communication in mobile networks - Saber, Murray |

17 | Lagarias, “Corrigendum/addendum to: Sets of matrices all infinite products of which converge,” Linear Algebra and its - Daubechies, C - 2001 |

17 |
Stable periodic solutions to discrete and continuum arrays of weakly coupled oscillators
- Ermentrout
- 1992
(Show Context)
Citation Context ...f coupled oscillators is closely related to consensus problems on graphs. This is a broad field that is of great interest to researchers in physics, biophysics, neurobiology, and systems biology [17]–=-=[19]-=-. In synchronization of coupled oscillators, a consensus is reached regarding the frequency of oscillation of all agents. In recent years, there has been a tremendous amount of renewed interest in flo... |

13 | On a dynamic extension of the theory of graphs - Mesbahi - 2002 |

4 | Matrix Theory, volume II - Gantmacher - 1959 |

3 | Stability analysis of M -dimensional asynchronous swarms with a fixed communication topology - Liu, Passino, et al. - 2003 |

2 | rigidity and distributed formation stabilization of multivehicle systems - “Graph - 2002 |

2 | Flocking with obstacle avoidance,” California Inst - Olfati-Saber - 2003 |

1 |
On a dynamic extension of the theory of graphs,” presented at
- Mesbahi
- 2002
(Show Context)
Citation Context ...with nonlinear dynamics that are not feedback linearizable. A special case of this approach is known as the leader–follower architecture and has been widely used by numerous researchers [13]–[15]. In =-=[16]-=-, graph Laplacians are used as an essential part of a dynamic theory of graphs. The problem of synchronization of coupled oscillators is closely related to consensus problems on graphs. This is a broa... |

1 | Stability of flocking motion,” The GRASP - Tanner, Jadbabaie, et al. - 2003 |

1 |
unified analytical look at Reynolds flocking rules,” California Inst
- “A
- 2003
(Show Context)
Citation Context ... of coupled oscillators, a consensus is reached regarding the frequency of oscillation of all agents. In recent years, there has been a tremendous amount of renewed interest in flocking/swarming [20]–=-=[27]-=- that has been primarily originated from the pioneering work of Reynolds. In [7], alignment of heading angles for multiple particles is analyzed from the point of view of statistical mechanics. Moreov... |

1 |
Communication complexity of multi-robot systems,” presented at the 5th Int. Workshop Algorithmic Foundations of Robotics
- Klavins
- 2002
(Show Context)
Citation Context ... communication and interagent sensing costs limited. We define the communication/sensing cost of the topology ( , ) of a protocol as , or the total number of the directed edges of the graph ( , ). In =-=[33]-=-, is called “communication complexity” of performing a task. For weighted digraphs, the communication/sensing cost can be defined as a function of the adjacency elements by (7) where is the sign funct... |