English
Related papers

Related papers: Verification of Eventual Consensus in Synod Using …

200 papers

This paper addresses the problem of positive consensus of directed multi-agent systems with observer-type output-feedback protocols. More specifically, directed graph is used to model the communication topology of the multi-agent system and…

Optimization and Control · Mathematics 2020-09-02 Nachuan Yang , Yonghua Yin , Jinrong Liu

Whether in groups of humans or groups of computer agents, collaboration is most effective between individuals who have the ability to coordinate on a joint strategy for collective action. However, in general a rational actor will only…

Artificial Intelligence · Computer Science 2016-02-15 Peter M. Krafft , Chris L. Baker , Alex Pentland , Joshua B. Tenenbaum

It is well-known that acting in an individually rational manner, according to the principles of classical game theory, may lead to sub-optimal solutions in a class of problems named social dilemmas. In contrast, humans generally do not have…

Computer Science and Game Theory · Computer Science 2014-01-16 Steven de Jong , Simon Uyttendaele , Karl Tuyls

This paper utilizes the agent's memory in accelerated consensus for second-order multi-agent systems (MASs). In the case of one-tap memory, explicit formulas for the optimal consensus convergence rate and control parameters are derived by…

Optimization and Control · Mathematics 2023-03-27 Jiahao Dai , Jing-Wen Yi , Li Chai

Large language model (LLM) agents increasingly collaborate over peer-to-peer networks to improve their reliability. However, these same interactions can also become a source of vulnerability, as unreliable or Byzantine agents may sway…

Multiagent Systems · Computer Science 2026-05-12 Haejoon Lee , Vincent-Daniel Yun , Hyeonho Oh , Dimitra Panagou , Sai Praneeth Karimireddy

Multi-agent debate (MAD) is an emerging approach to improving the reasoning capabilities of large language models (LLMs). Existing MAD methods rely on multiple rounds of interaction among agents to reach consensus, and the final output is…

Artificial Intelligence · Computer Science 2025-09-16 Yu Cui , Hang Fu , Haibin Zhang , Licheng Wang , Cong Zuo

Decision conferences are structured, collaborative meetings that bring together experts from various fields to address complex issues and reach a consensus on recommendations for future actions or policies. These conferences often rely on…

Computation and Language · Computer Science 2025-07-14 Selina Heller , Mohamed Ibrahim , David Antony Selby , Sebastian Vollmer

We study a class of emergent misalignment in multi-agent systems (MAS), with a focus on automated workflows, which we refer to agentic misalignment. Although these systems can solve complex tasks, they often fail because agents act…

Artificial Intelligence · Computer Science 2026-05-26 Wenqian Ye , Bo Yuan , Zhichao Xu , Yijun Tian , Yawei Wang , Henry Kautz , Aidong Zhang

In this work, we examine a network of agents operating asynchronously, aiming to discover an ideal global model that suits individual local datasets. Our assumption is that each agent independently chooses when to participate throughout the…

Machine Learning · Computer Science 2024-02-09 Elsa Rizk , Kun Yuan , Ali H. Sayed

In classical asynchronous distributed systems composed of a fixed number n of processes where some proportion may fail by crashing, many objects do not have a wait-free linearizable implementation (e.g. stacks, queues, etc.). It has been…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-07 Grégoire Bonin , Achour Mostéfaoui , Matthieu Perrin

In this paper consensus in second-order multi-agent systems with a non-periodic sampled-data exchange among agents is investigated. The sampling is random with bounded inter-sampling intervals. It is assumed that each agent has exact…

Systems and Control · Computer Science 2014-09-09 Mehran Zareh , Dimos V. Dimarogonas , Mauro Franceschelli , Karl Henrik Johansson , Carla Seatzu

This paper models a class of hierarchical cyber-physical systems and studies its associated consensus problem. The model has a pyramid structure, which reflects many realistic natural or human systems. By analyzing the spectrum of the…

Systems and Control · Electrical Eng. & Systems 2021-05-31 Xiao Chen , Yanjun Li , Arman Goudarzi , Ji Xiang

In this work, leader follower consensus objective has been addressed with the synthesis of an event based controller utilizing sliding mode robust control. The schema has been partitioned into two parts viz. finite time consensus problem…

Systems and Control · Computer Science 2017-12-06 Abhinav Sinha , Rajiv Kumar Mishra

Multi-agent systems face a fundamental coordination problem: agents must coordinate despite heterogeneous preferences, asymmetric stakes, and imperfect information. When coordination fails, friction emerges: measurable resistance…

Multiagent Systems · Computer Science 2026-01-13 Murad Farzulla

We propose an exactly solvable model for the dynamics of voters in a two-party system. The opinion formation process is modeled on a random network of agents. The dynamical nature of interpersonal relations is also reflected in the model,…

Physics and Society · Physics 2009-11-13 I. J. Benczik , S. Z. Benczik , B. Schmittmann , R. K. P. Zia

Within the area of multi-agent systems, normative systems are a widely used framework for the coordination of interdependent activities. A crucial problem associated with normative systems is that of synthesising norms that effectively…

Multiagent Systems · Computer Science 2017-10-16 Javier Morales , Michael Wooldridge , Juan A. Rodríguez-Aguilar , Maite López-Sánchez

The constrained consensus problem considered in this paper, denoted interval consensus, is characterized by the fact that each agent can impose a lower and upper bound on the achievable consensus value. Such constraints can be encoded in…

Systems and Control · Computer Science 2018-02-06 Angela Fontan , Guodong Shi , Xiaoming Hu , Claudio Altafini

Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Laura Bocchi , Julien Lange , Simon Thompson , A. Laura Voinea

Large language models (LLMs) demonstrate impressive reasoning abilities, but translating reasoning into actions in the real world remains challenging. In particular, it remains unclear how to complete a given task provably within a minimum…

Artificial Intelligence · Computer Science 2024-07-02 Zhihan Liu , Hao Hu , Shenao Zhang , Hongyi Guo , Shuqi Ke , Boyi Liu , Zhaoran Wang

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