274,974 research outputs found
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms
In this paper, we investigate the approximate consensus problem in highly
dynamic networks in which topology may change continually and unpredictably. We
prove that in both synchronous and partially synchronous systems, approximate
consensus is solvable if and only if the communication graph in each round has
a rooted spanning tree, i.e., there is a coordinator at each time. The striking
point in this result is that the coordinator is not required to be unique and
can change arbitrarily from round to round. Interestingly, the class of
averaging algorithms, which are memoryless and require no process identifiers,
entirely captures the solvability issue of approximate consensus in that the
problem is solvable if and only if it can be solved using any averaging
algorithm. Concerning the time complexity of averaging algorithms, we show that
approximate consensus can be achieved with precision of in a
coordinated network model in synchronous
rounds, and in rounds when
the maximum round delay for a message to be delivered is . While in
general, an upper bound on the time complexity of averaging algorithms has to
be exponential, we investigate various network models in which this exponential
bound in the number of nodes reduces to a polynomial bound. We apply our
results to networked systems with a fixed topology and classical benign fault
models, and deduce both known and new results for approximate consensus in
these systems. In particular, we show that for solving approximate consensus, a
complete network can tolerate up to 2n-3 arbitrarily located link faults at
every round, in contrast with the impossibility result established by Santoro
and Widmayer (STACS '89) showing that exact consensus is not solvable with n-1
link faults per round originating from the same node
Consensus problems in networks of agents with switching topology and time-delays
In this paper, we discuss consensus problems for networks of dynamic agents with fixed and switching topologies. We analyze three cases: 1) directed networks with fixed topology; 2) directed networks with switching topology; and 3) undirected networks with communication time-delays and fixed topology. We introduce two consensus protocols for networks with and without time-delays and provide a convergence analysis in all three cases. We establish a direct connection between the algebraic connectivity (or Fiedler eigenvalue) of the network and the performance (or negotiation speed) of a linear consensus protocol. This required the generalization of the notion of algebraic connectivity of undirected graphs to digraphs. It turns out that balanced digraphs play a key role in addressing average-consensus problems. We introduce disagreement functions for convergence analysis of consensus protocols. A disagreement function is a Lyapunov function for the disagreement network dynamics. We proposed a simple disagreement function that is a common Lyapunov function for the disagreement dynamics of a directed network with switching topology. 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
Agreement Problems in Networks with Directed Graphs and Switching Topology
In this paper, we provide tools for convergence and performance analysis of an agreement protocol for a network of integrator agents with directed information flow. Moreover, we analyze algorithmic robustness of this consensus protocol for the case of a network with mobile nodes and switching topology. We establish a connection between the Fiedler eigenvalue of the graph Laplacian and the performance of this agreement protocol. We demostrate that a class of directed graphs, called balanced graphs, have a crucial role in solving average-consensus problems. Based on the properties of balanced graphs, a group disagreement function (i.e. Lyapunov function) is proposed for convergence analysis of this agreement protocol for networks with directed graphs. This group disagreement function is later used for convergence analysis for the agreement problem in networks with switching topology. We provide simulation results that are consistent with our theoretical results and demonstrate the effectiveness of the proposed analytical tools
Fast Consensus under Eventually Stabilizing Message Adversaries
This paper is devoted to deterministic consensus in synchronous dynamic
networks with unidirectional links, which are under the control of an
omniscient message adversary. Motivated by unpredictable node/system
initialization times and long-lasting periods of massive transient faults, we
consider message adversaries that guarantee periods of less erratic message
loss only eventually: We present a tight bound of for the termination
time of consensus under a message adversary that eventually guarantees a single
vertex-stable root component with dynamic network diameter , as well as a
simple algorithm that matches this bound. It effectively halves the termination
time achieved by an existing consensus algorithm, which also works under
our message adversary. We also introduce a generalized, considerably stronger
variant of our message adversary, and show that our new algorithm, unlike the
existing one, still works correctly under it.Comment: 13 pages, 5 figures, updated reference
Prediction of Faults in Cellular Networks Using Bayesian Network Model
Cellular network service providers compete with each other for the vast and dynamic market that is characterized by the ever-changing services on offer and technology. These services require very reliable net-works that can meet the customer service level of agreement (SLA). We are motivated by this to model the cellular network service faults and this paper reports on results of faults prediction modelling. Cellular networks are uncertain in their behaviours and therefore we use a Bayesian network to model them. We derive probabilistic models of the cellular network system in which the independence of relations between the variables of inter-est are represented explicitly. We use a directed graph in which two nodes are connected by an edge if one is a direct cause of the other. We present the simulation results of the study
- …