English
Related papers

Related papers: Reachability of Consensus and Synchronizing Automa…

200 papers

In this paper, multi-agent systems minimizing a sum of objective functions, where each component is only known to a particular node, is considered for continuous-time dynamics with time-varying interconnection topologies. Assuming that each…

Multiagent Systems · Computer Science 2015-03-19 Guodong Shi , Karl Henrik Johansson , Yiguang Hong

This paper investigates the fixed-time consensus problem for a class of multi-agent systems with simple dynamics. Unlike the traditional way to realize fixed-time convergence, a novel strategy using the property of periodic functions is…

Systems and Control · Electrical Eng. & Systems 2021-10-01 Yuquan Chen , Fumian Wang , Bing Wang

In this paper, we consider lightweight decentralised algorithms for achieving consensus in distributed systems. Each member of a distributed group has a private value from a fixed set consisting of, say, two elements, and the goal is for…

Probability · Mathematics 2013-11-20 James Cruise , Ayalvadi Ganesh

This paper addresses the distributed consensus problem for a linear multi-agent system with switching directed communication topologies. By appropriately introducing a linear transformation, the consensus problem is equivalently converted…

Systems and Control · Computer Science 2014-09-22 Guanghui Wen , Valery Ugrinovskii

A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly. We study the almost-sure model-checking problem for this model, that is, given a…

Logic in Computer Science · Computer Science 2015-07-01 Nathalie Bertrand , Patricia Bouyer , Thomas Brihaye , Quentin Menet , Christel Baier , Marcus Groesser , Marcin Jurdzinski

Probabilistic automata are an extension of nondeterministic finite automata in which transitions are annotated with probabilities. Despite its simplicity, this model is very expressive and many of the associated algorithmic questions are…

Formal Languages and Automata Theory · Computer Science 2022-05-20 Nathanaël Fijalkow , Cristian Riveros , James Worrell

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 studies a class of consensus dynamics where the interactions between agents are affected by a time-varying unknown scaling factor. This situation is encountered in the control of robotic fleets over a wireless network or in…

Systems and Control · Electrical Eng. & Systems 2025-11-14 Zoltan Nagy , Irinel-Constantin Morarescu , Lucian Busoniu

In this paper, we consider the consensus problem of switched multi-agent system composed of continuous-time and discrete-time subsystems. By combining the classical consensus protocols of continuous-time and discrete-time multi-agent…

Systems and Control · Computer Science 2014-07-15 Yuanshi Zheng , Jingying Ma , Long Wang

There has been substantial work studying consensus problems for which there is a single common final state, although there are many real-world complex networks for which the complete consensus may be undesirable. More recently, the concept…

Physics and Society · Physics 2019-07-24 Isaac Klickstein , Louis Pecora , Francesco Sorrentino

We consider the problem of minimising the number of states in a multiplicity tree automaton over the field of rational numbers. We give a minimisation algorithm that runs in polynomial time assuming unit-cost arithmetic. We also show that a…

Formal Languages and Automata Theory · Computer Science 2019-03-14 Stefan Kiefer , Ines Marusic , James Worrell

In this technical note we address the problem of achieving consensus in a network of homogeneous nonlinear systems. The communication network is supposed to be switching within a finite set of topologies which may be disconnected for finite…

Optimization and Control · Mathematics 2014-09-16 G. Casadei , L. Marconi , A. Isidori

We study a model of consensus decision making, in which a finite group of Bayesian agents has to choose between one of two courses of action. Each member of the group has a private and independent signal at his or her disposal, giving some…

Statistics Theory · Mathematics 2018-04-24 Elchanan Mossel , Omer Tamuz

The event-triggered consensus problem of first-order multi-agent systems under directed topology is investigated. The event judgements are only implemented at periodic time instants. Under the designed consensus algorithm, the sampling…

Systems and Control · Computer Science 2018-12-27 Kaien Liu , Zhijian Ji , Xianfu Zhang

Algorithms for decentralized optimization and learning rely on local optimization steps coupled with combination steps over a graph. Recent works have demonstrated that using a time-varying sequence of matrices that achieves finite-time…

Optimization and Control · Mathematics 2026-02-17 Aaron Fainman , Stefan Vlaski

The aim of this paper is to analyze a class of consensus algorithms with finite-time or fixed-time convergence for dynamic networks formed by agents with first-order dynamics. In particular, in the analyzed class a single evaluation of a…

In this note, we discuss the problem of consensus finding in communication networks of agents with dynamically switching topologies. In particular, we consider the case of directed networks with unbalanced matrices of communication rates.…

Optimization and Control · Mathematics 2014-05-06 Jan Haskovec

Consensus is a most fundamental task in distributed computing. This paper studies the consensus problem for a set of processes connected by a dynamic directed network, in which computation and communication is lock-step synchronous but…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-02-28 Ami Paz , Hugo Rincon Galeana , Stefan Schmid , Ulrich Schmid , Kyrill Winkler

We study a variant of the classical membership problem in automata theory, which consists of deciding whether a given input word is accepted by a given automaton. We do so under a different perspective, that is, we consider a dynamic…

Formal Languages and Automata Theory · Computer Science 2020-02-18 Alejandro Grez , Filip Mazowiecki , Michał Pilipczuk , Gabriele Puppis , Cristian Riveros

This paper studies a consensus problem of multi-agent systems subjected to external disturbances over the clustered network. It considers that the agents are divided into several clusters. They are almost all the time isolated one from…

Systems and Control · Electrical Eng. & Systems 2021-06-08 Thiem V. Pham , Quynh T. T. Nguyen