English
Related papers

Related papers: Formally verified asymptotic consensus in robust n…

200 papers

In this paper, we study the asymptotic properties of distributed consensus algorithms over switching directed random networks. More specifically, we focus on consensus algorithms over independent and identically distributed, directed…

Multiagent Systems · Computer Science 2009-10-21 Victor M. Preciado , Alireza Tahbaz-Salehi , Ali Jadbabaie

Distributed algorithms solving agreement problems like consensus or state machine replication are essential components of modern fault-tolerant distributed services. They are also notoriously hard to understand and reason about. Their…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-25 Berk Cirisci , Constantin Enea , Suha Orhun Mutluergil

Due to the wide application of average consensus algorithm, its security and privacy problems have attracted great attention. In this paper, we consider the system threatened by a set of unknown agents that are both "malicious" and…

Systems and Control · Electrical Eng. & Systems 2021-05-07 Shuai Sun , Yilin Mo

Social sampling is a novel randomized message passing protocol inspired by social communication for opinion formation in social networks. In a typical social sampling algorithm, each agent holds a sample from the empirical distribution of…

Systems and Control · Electrical Eng. & Systems 2024-12-20 Qian Liu , Xingkang He , Haitao Fang

Ensuring the correctness of distributed system implementations remains a challenging and largely unaddressed problem. In this paper we present a protocol that can be used to certify the safety of consensus implementations. Our proposed…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-11 Aurojit Panda

This paper presents the first generic compiler that transforms any permissioned consensus protocol into a proof-of-stake permissionless consensus protocol. For each of the following properties, if the initial permissioned protocol satisfies…

Cryptography and Security · Computer Science 2025-08-12 Jovan Komatovic , Andrew Lewis-Pye , Joachim Neu , Tim Roughgarden , Ertem Nusret Tas

Blockchain and distributed ledger technologies rely on distributed consensus algorithms. In recent years many consensus algorithms and protocols have been proposed; most of them are for permissioned blockchain networks. However, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-19 Shiv Sondhi , Sherif Saad , Kevin Shi , Mohammad Mamun , Issa Traore

In distributed systems with asymmetric trust, each participant is free to make its own trust assumptions about others, captured by an asymmetric quorum system. This contrasts with ordinary, symmetric quorum systems and threshold models,…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-22 Ignacio Amores-Sesar , Christian Cachin , Simon Holmgaard Kamp , Juan Villacis

Distributed control increases system scalability, flexibility, and redundancy. Foundational to such decentralisation is consensus formation, by which decision-making and coordination are achieved. However, decentralised multi-agent systems…

Multiagent Systems · Computer Science 2024-03-11 Agathe Bouis , Christopher Lowe , Ruaridh A. Clark , Malcolm Macdonald

In this paper, we consider a network of processors aiming at cooperatively solving mixed-integer convex programs subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a…

Optimization and Control · Mathematics 2022-07-19 Mohammadreza Chamanbaz , Giuseppe Notarstefano , Francesco Sasso , Roland Bouffanais

In this article we consider the problems of distributed detection and estimation in wireless sensor networks. In the first part, we provide a general framework aimed to show how an efficient design of a sensor network requires a joint…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-07-08 Sergio Barbarossa , Stefania Sardellitti , Paolo Di Lorenzo

This work interprets and generalizes consensus-type algorithms as switching dynamics leading to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop…

Quantum Physics · Physics 2015-06-17 Luca Mazzarella , Francesco Ticozzi , Alain Sarlette

This paper focuses on the consensus averaging problem on graphs under general noisy channels. We study a particular class of distributed consensus algorithms based on damped updates, and using the ordinary differential equation method, we…

Information Theory · Computer Science 2008-05-06 Ram Rajagopal , Martin J. Wainwright

Average consensus algorithms can be implemented over wireless sensor networks (WSN), where global statistics can be computed using communications among sensor nodes locally. Simple execution, robustness to global topology changes due to…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-09-23 Sateeshkrishna Dhuli , Kumar Gaurav , Y. N. Singh

The design of sensor networks capable of reaching a consensus on a globally optimal decision test, without the need for a fusion center, is a problem that has received considerable attention in the last years. Many consensus algorithms have…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-11-13 Gesualdo Scutari , Sergio Barbarossa

This paper studies asymptotic consensus in systems in which agents do not necessarily have self-confidence, i.e., may disregard their own value during execution of the update rule. We show that the prevalent hypothesis of self-confidence in…

Dynamical Systems · Mathematics 2015-03-27 Thomas Nowak

The problem of consensus in the presence of misbehaving agents has increasingly attracted attention in the literature. Prior results have established algorithms and graph structures for multi-agent networks which guarantee the consensus of…

Systems and Control · Computer Science 2018-02-28 James Usevitch , Dimitra Panagou

In this paper, we provide a theoretical analysis for nonlinear discontinuous consensus protocols in networks of multiagents over weighted directed graphs. By integrating the analytic tools from nonsmooth stability analysis and graph theory,…

Optimization and Control · Mathematics 2013-11-26 Liu Bo , Lu Wenlian , Chen Tianping

In this note we give sufficient conditions for the convergence of the iterative algorithm called weighted-average consensus in directed graphs. We study the discrete-time form of this algorithm. We use standard techniques from matrix theory…

Optimization and Control · Mathematics 2013-07-30 Francisco Pedroche , Miguel Rebollo , Carlos Carrascosa , Alberto Palomares

The paper studies average consensus with random topologies (intermittent links) \emph{and} noisy channels. Consensus with noise in the network links leads to the bias-variance dilemma--running consensus for long reduces the bias of the…

Information Theory · Computer Science 2008-09-08 Soummya Kar , José M. F. Moura