The edge connectivity of a network is the minimum number of edges whose removal disconnect the network. The edge connectivity determines the minimum number of edge-disjoint paths between all nodes. Hence finding the e...
详细信息
ISBN:
(数字)9783903176317
ISBN:
(纸本)9781665415477
The edge connectivity of a network is the minimum number of edges whose removal disconnect the network. The edge connectivity determines the minimum number of edge-disjoint paths between all nodes. Hence finding the edge connectivity can reveal useful information about reliability, alternative paths and bottlenecks. In this paper, we propose a cost-effective distributed algorithm that finds a lower bound for the edge connectivity of a network via finding at most c depth-first-search trees, where c is the edge connectivity. The proposed algorithm is asynchronous and does not need any synchronization between the nodes. In the proposed algorithm, the root node starts a distributed depth-first-search algorithm, and the nodes select next node in the tree based on their available edges to maximize the total number of established trees. The simulation results show that the proposed algorithm finds the edge connectivity with an average of 48% accuracy ratio.
In this paper, we address the problem of distributed optimization in a multi-agent system, in which each agent maintains a private objective function and the goal of all agents is to cooperatively minimize the sum of ...
详细信息
ISBN:
(数字)9789881563903
ISBN:
(纸本)9781728165233
In this paper, we address the problem of distributed optimization in a multi-agent system, in which each agent maintains a private objective function and the goal of all agents is to cooperatively minimize the sum of their objects. By combining gradient-tracking method and heavy-ball method, a novel accelerated distributed optimization algorithm is proposed under the scenario that the underlying communication network is general directed with row-stochastic weighted matrix, which is easier to be realized in practice than the case of column-stochastic weighted matrix. It is proved that the algorithm converges at a geometric rate as long as the step-size α and the momentum coefficient β do not exceed certain bounds. Finally, numerical experiments are performed to illustrate the performance of our algorithm.
In this paper, the Nash equilibrium seeking (NES) problem of aggregative games is investigated for high-order multiagents systems, where the cost function for each agent depends on its decision variable and the aggreg...
详细信息
ISBN:
(数字)9789881563903
ISBN:
(纸本)9781728165233
In this paper, the Nash equilibrium seeking (NES) problem of aggregative games is investigated for high-order multiagents systems, where the cost function for each agent depends on its decision variable and the aggregate of all other decisions. To solve the problem, we employ the embedded technology to decouple the primal problem into two parts: decision planning and tracking. We first construct a single integrator system for the NES to generate the optimal reference decision trajectory, and then we propose the distributed algorithms to make the nonlinear Euler-Lagrange (EL) systems and the general high-order linear system track the optimal reference decision path, respectively. Finally, simulations are given to validate the effectiveness of the theoretical analysis.
In this paper, we address the distributed Nash equilibrium seeking problem in an aggregative game, in which each agent is required to optimize a self-interested objective function that depends on both its own decision...
详细信息
ISBN:
(数字)9789881563903
ISBN:
(纸本)9781728165233
In this paper, we address the distributed Nash equilibrium seeking problem in an aggregative game, in which each agent is required to optimize a self-interested objective function that depends on both its own decision and the aggregate of all agents' decisions. By integrating the heavy-ball method with consensus-based gradient method, a novel distributed algorithm is proposed for seeking the Nash equilibrium with an improved convergence rate. Rigorous theoretical analysis is provided to prove the convergence of the algorithm. Finally, detailed numerical simulation results are provided to show the effectiveness and the acceleration performance of our algorithm.
This paper discussed the distributed optimization problem where interagent communication is subject to DoS attacks. An event-based communication strategy is adopted to determine the signal transmission time, and then ...
详细信息
ISBN:
(数字)9781728174471
ISBN:
(纸本)9781728174488
This paper discussed the distributed optimization problem where interagent communication is subject to DoS attacks. An event-based communication strategy is adopted to determine the signal transmission time, and then a resilient control algorithm is put forward to achieve consensus and meanwhile minimize the global objective function. By means of a positive invariant set and a quadratic Lyapunov functional, the convergence of the developed algorithm is guaranteed. The effectiveness of the theoretical result is illustrated by a simulation example.
The consensus problem of second-order multivehicle systems with inertias in terms of a general directed network topology is studied. Rather than the current consensus algorithms for multi-vehicle systems with just sca...
详细信息
ISBN:
(数字)9781728176840
ISBN:
(纸本)9781728176857
The consensus problem of second-order multivehicle systems with inertias in terms of a general directed network topology is studied. Rather than the current consensus algorithms for multi-vehicle systems with just scalar inertias, we allow the inertias to be matrices. What's more, the inertia matrices are assumed to be heterogeneous as well as unavailable. In particular, a fully distributed consensus algorithm is proposed such that global information is unnecessary for the achievement of the consensus objective. Moreover, a novel adaptive strategy is designed to address the dilemma arising from the heterogeneity and unavailability of the inertia matrices. It is demonstrated that, under the strongly connected graph condition, the designed distributed algorithm ensures the asymptotic convergence of the required consensus objective. The efficacy of the developed distributed algorithm is finally validated by numerical simulations.
The opportunistic spectrum access (OSA) algorithms allow secondary users (SUs) to exploit vacant channels with an aim to maximize overall spectrum utilization/throughput. The design of OSA algorithm is challenging for...
详细信息
ISBN:
(数字)9781728143514
ISBN:
(纸本)9781728198040
The opportunistic spectrum access (OSA) algorithms allow secondary users (SUs) to exploit vacant channels with an aim to maximize overall spectrum utilization/throughput. The design of OSA algorithm is challenging for ad hoc networks due to lack of coordination among SUs and unknown channel statistics. It becomes even more challenging for the dynamic networks where the SUs can enter or leave the network any time without prior agreement. Most of the existing algorithms assume either prior knowledge of the number of SUs or need wideband sensing to sense all channels simultaneously to guarantee optimal channel allocation among SUs. Our goal in this paper is to develop distributed OSA algorithm for dynamic ad hoc networks that offers higher throughput without compromising on the number of SUs collisions. The proposed distributed algorithm is based on multi-player multi-arm bandit framework and they allow SUs to independently estimate the number of other SUs and channel statistics. We derive the upper bounds on the throughput loss (regret) and number of collisions. Exhaustive synthetic results and experimental results on universal software radio peripherals (USRP) based testbed validate our claims and superiority of the proposed algorithm.
There is a recent exciting line of work in distributed graph algorithms in the CONGEST model that exploit expanders. All these algorithms so far are based on two tools: expander decomposition and expander routing. An...
详细信息
ISBN:
(数字)9781728196213
ISBN:
(纸本)9781728196220
There is a recent exciting line of work in distributed graph algorithms in the CONGEST model that exploit expanders. All these algorithms so far are based on two tools: expander decomposition and expander routing. An ( ε, φ)-expander decomposition removes ε-fraction of the edges so that the remaining connected components have conductance at least φ, i.e., they are φ-expanders, and expander routing allows each vertex v in a φ-expander to very quickly exchange deg(v) messages with any other vertices, not just its local neighbors. In this paper, we give the first efficient deterministic distributed algorithms for both tools. We show that an ( ε, φ) -expander decomposition can be deterministically computed in poly (ε -1 )n o(1) rounds for φ = poly (ε)n -o(1) , and that expander routing can be performed deterministically in poly (φ -1 )n o(1) rounds. Both results match previous bounds of randomized algorithms by [Chang and Saranurak, PODC 2019] and [Ghaffari, Kuhn, and Su, PODC 2017] up to subpolynomial factors. Consequently, we derandomize existing distributed algorithms that exploit expanders. We show that a minimum spanning tree on n -o(1) -expanders can be constructed deterministically in n o(1) rounds, and triangle detection and enumeration on general graphs can be solved deterministically in O(n 0.58 ) and n 2/3+o(1) rounds, respectively. Using similar techniques, we also give the first polylogarithmic-round randomized algorithm for constructing an ( ε, φ) -expander decomposition in poly (ε -1 , logn) rounds for φ = 1/poly(ε -1 , logn). This algorithm is faster than the previous algorithm by [Chang and Saranurak, PODC 2019] in all regimes of parameters. The previous algorithm needs n Ω(1) rounds for any φ ≥ 1/polylogn.
The design and the proof of distributed algorithms are difficult tasks due to the lack of knowledge of the global state and the non determinism in the execution of the processes. Formal methods can guarantee that thes...
详细信息
ISBN:
(纸本)9781479904051
The design and the proof of distributed algorithms are difficult tasks due to the lack of knowledge of the global state and the non determinism in the execution of the processes. Formal methods can guarantee that these algorithms run as designed. In this paper, we show that the proof of complex distributed algorithms can be simplified by combining already proved sub-algorithms. To do so, we use a high level encoding of distributed algorithms in form of graph relabeling systems and we propose a formal proof methodology. The proposed methodology combines refinement and decomposition techniques and relies on the correct-by-construction paradigm used by the Event-B method.
Formal proofs of distributed algorithms are long, hard and tedious. We propose a general approach, based on the formal method Event-B, to automatically generate correct programs of distributed algorithms. Our approach...
详细信息
ISBN:
(纸本)9781479904051
Formal proofs of distributed algorithms are long, hard and tedious. We propose a general approach, based on the formal method Event-B, to automatically generate correct programs of distributed algorithms. Our approach is implemented with a translation tool, called B2Visidia, that generates Java code from an Event-B specification related to distributed algorithms. The resulting code can be run on classical distributed computing systems. To execute the induced programs, we use a tool called Visidia that can be used for experimenting, testing and visualizing programs of distributed algorithms.
暂无评论