English
Related papers

Related papers: Analysing Multi-Agent Systems using 1-safe Petri N…

200 papers

A Multi-Agent System is a distributed system where the agents or nodes perform complex functions that cannot be written down in analytic form. Multi-Agent Systems are highly connected, and the information they contain is mostly stored in…

Multiagent Systems · Computer Science 2011-12-01 Philippe De Wilde , Gerard Briscoe

Synchronization among autonomous agents via local interactions is one of the benchmark problems in multi-agent control. Whereas synchronization algorithms for identical agents have been thoroughly studied, synchronization of heterogeneous…

Systems and Control · Computer Science 2017-03-09 Anton V. Proskurnikov , Manuel Mazo

The leader-following consensus problem for general linear multi-agent systems over jointly connected switching networks has been a challenging problem and the solvability of the problem has been limited to the class of linear multi-agent…

Optimization and Control · Mathematics 2026-03-20 Yuhan Chen , Tao Liu , Jie Huang

We consider open multi-agent systems. Unlike the systems usually studied in the literature, here agents may join or leave while the process studied takes place. The system composition and size evolve thus with time. We focus here on systems…

Multiagent Systems · Computer Science 2017-09-18 Julien M. Hendrickx , Samuel Martin

We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each…

Logic in Computer Science · Computer Science 2014-08-27 Bernd Finkbeiner , Ernst-Rüdiger Olderog

We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining ones, the former group is also influenced by the remaining ones…

Systems and Control · Computer Science 2013-04-29 Julien M. Hendrickx , John N. Tsitsiklis

The purpose of this review paper is to present some recent results on the modeling and control of large systems of agents. We focus on particular applications where the agents are capable of independent actions instead of simply reacting to…

Optimization and Control · Mathematics 2023-02-27 Benedetto Piccoli

Multi-agent systems cooperation to achieve global goals is usually limited by sensing, actuation, and communication issues. At the local level, continuous measurement and actuation is only approximated by the use of digital mechanisms that…

Optimization and Control · Mathematics 2016-11-18 Eloy Garcia , Yongcan Cao , David W. Casbeer

Controllability of multi-agent systems is determined by the interconnection topologies. In practice, losing agents can change the topologies of multi-agent systems, which may affect the controllability. This paper studies non-fragility of…

Systems and Control · Computer Science 2016-07-27 Bin Zhao , Yongqiang Guan , Long Wang

Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal…

Multiagent Systems · Computer Science 2010-08-20 Petros Kefalas , Ioanna Stamatopoulou

The practical utility of agent-based models in decision-making relies on their capacity to accurately replicate populations while seamlessly integrating real-world data streams. Yet, the incorporation of such data poses significant…

Multiagent Systems · Computer Science 2024-04-22 Ayush Chopra , Arnau Quera-Bofarull , Nurullah Giray-Kuru , Michael Wooldridge , Ramesh Raskar

Self-stabilization is a versatile technique to withstand any transient fault in a distributed system. Mobile robots (or agents) are one of the emerging trends in distributed computing as they mimic autonomous biologic entities. The…

Data Structures and Algorithms · Computer Science 2009-09-29 Lélia Blin , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

We investigate networks of automata that synchronise over common action labels. A graph synchronisation topology between the automata is defined in such a way that two automata are connected iff they can synchronise over an action. We show…

Logic in Computer Science · Computer Science 2020-12-10 Laure Petrucci , Michał Knapik

Concurrent games with a fixed number of agents have been thoroughly studied, with various solution concepts and objectives for the agents. In this paper, we consider concurrent games with an arbitrary number of agents, and study the problem…

Logic in Computer Science · Computer Science 2020-10-01 Nathalie Bertrand , Patricia Bouyer , Anirban Majumdar

We study timed Petri nets, with preselection and priority routing. We represent the behavior of these systems by piecewise affine dynamical systems. We use tools from the theory of nonexpansive mappings to analyze these systems. We…

Optimization and Control · Mathematics 2023-06-22 Xavier Allamigeon , Marin Boyet , Stéphane Gaubert

This article deals with the consensus problem involving agents with time-varying singularities in the dynamics or communication in undirected graph networks. Existing results provide control laws which guarantee asymptotic consensus. These…

Systems and Control · Computer Science 2014-04-07 Nilanjan Roy Chowdhury , Srikant Sukumar

This paper studies the consensus problem of multi-agent systems with asymmetric and reducible topologies. Centralized event-triggered rules are provided so as to reduce the frequency of system's updating. The diffusion coupling feedbacks of…

Adaptation and Self-Organizing Systems · Physics 2014-07-08 Xinlei Yi , Wenlian Lu , Tianping Chen

In this paper, we study the continuous-time consensus problem in the presence of adversaries. The networked multi-agent system is modeled as a switched system, where the normal agents have integrator dynamics and the switching signal…

Systems and Control · Computer Science 2013-03-13 Heath J. LeBlanc , Haotian Zhang , Shreyas Sundaram , Xenofon Koutsoukos

Multiagent social network simulations are an avenue that can bridge the communication gap between the public and private platforms in order to develop solutions to a complex array of issues relating to online safety. While there are…

Social and Information Networks · Computer Science 2023-11-28 Aditya Surve , Archit Rathod , Mokshit Surana , Gautam Malpani , Aneesh Shamraj , Sainath Reddy Sankepally , Raghav Jain , Swapneel S Mehta

This paper introduces a novel decentralized implementation of a continuification-based strategy to control the density of large-scale multi-agent systems on the unit circle. While continuification methods effectively address micro-to-macro…

Systems and Control · Electrical Eng. & Systems 2025-11-27 Beniamino Di Lorenzo , Gian Carlo Maffettone , Mario di Bernardo