Distributed safety verification for multi-agent systems by Wang, H, Papachristodoulou, A, Margellos, K

“…In this paper we propose a safety verification algorithm for networked nonlinear multi-agent systems. In our proposed algorithm, we independently sample scenarios from the invariant set, and subsequently quantify safety for the multi-agent system by solving a scenario program in a distributed manner. …”

Multi-agent systems for ontology-based information retrieval by Banares-Alcantara, R, Jimenez, L, Aldea, A

Risk-constrained planning for multi-agent systems with shared resources by Gautier, AL, Rigter, M, Lacerda, B, Hawes, N, Wooldridge, M

“…One problem faced when considering multi-agent systems under uncertainty is the handling of shared resources. …”

Nonlinear multi-agent system consensus with time-varying delays by Muenz, U, Papachristodoulou, A, Allgower, F

“…Most consensus protocols for Multi-Agent Systems (MAS) presented in the past do not consider communication constraints such as delays in the exchange of information between the agents. …”

High Level Quantum Structures in Linguistics and Multi Agent Systems by Sadrzadeh, M

Distributed control design and safety verification for multi-agent systems by Wang, H, Papachristodoulou, A, Margellos, K

“…In this paper we propose a safety verification algorithm for networked nonlinear multi-agent systems. In our proposed algorithm, we independently sample scenarios from the invariant set, and subsequently quantify safety for the multi-agent system by solving a scenario program in a distributed manner. …”

The scope of application of multi-agent systems in the process industry: three case studies by Aldea, A, Banares-Alcantara, R, Jimenez, L, Moreno, A, Martinez, J, Riano, D

Generalized nyquist consensus condition for linear multi agent systems with heterogeneous delays by Münz, U, Papachristodoulou, A, Allgöwer, F

“…We study robust consensus of linear Multi-Agent Systems (MAS) with heterogeneous delays. We provide a very accurate set-valued condition that guarantees consensus for arbitrary bounded delays and arbitrary connected topologies. …”

Delay-dependent rendezvous and flocking of large scale multi-agent systems with communication delays. by Münz, U, Papachristodoulou, A, Allgöwer, F

“…We study the stability of multi-agent system (MAS) formations with delayed exchange of information between the agents. …”

A multi-agent system approach to load-balancing and resource allocation for distributed computing by Banerjee, S, Hecker, J

“…Using emergent properties of multi-agent systems, the algorithm dynamically creates and dissociates clusters to serve the changing resource demands of a global task queue. …”

Generalized Nyquist consensus condition for high-order linear multi-agent systems with communication delays. by Münz, U, Papachristodoulou, A, Allgöwer, F

“…The generalized Nyquist criterion is used to derive necessary and sufficient consensus conditions for large high-order linear multi-agent systems (MAS) with heterogeneous communication delays. …”

Output consensus controller design for nonlinear relative degree one multi-agent systems with delays by Münz, U, Papachristodoulou, A, Allgöwer, F

“…Simple design conditions are presented for decentralized output feedback controllers that achieve output consensus between nonlinear, relative degree one Multi-Agent Systems (MAS) with stable zero dynamics. It is shown that consensus is achieved even if the exchange of information between the agents suffers from time-varying communication delays and switching communication topologies. …”

A linear multi-agent systems approach to diffusively coupled piecewise affine systems: Delay robustness. by Kashima, K, Papachristodoulou, A, Allgöwer, F

“…This enables us to use linear multi-agent system theory. As a result, we obtain sufficient conditions for ultimate boundedness taking the robustness of the interconnection topology into account. …”

Selecting a multi-agent system development tool for industrial applications: a case study of self-serving aircraft assets by Brintrup, A, Lopez, T, McFarlane, D, Dwyer, D

EVE: A tool for temporal equilibrium analysis by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

“…EVE can be used to automatically check the existence of pure strategy Nash equilibria in such concurrent and multi-agent systems and to verify which temporal logic properties are satisfied in the equilibria.…”

Evolutionary Synthesis of Stable Normative Systems by Morales, J, Wooldridge, M, Rodríguez-Aguilar, J, López-Sánchez, M

“…Our approach is based on ideas from evolutionary game theory. We simulate multi-agent systems in which useful norms are more likely to prosper than useless norms. …”

Local equilibria in logic-based multi-player games by Gutierrez, J, Harrenstein, B, Steeples, T, Wooldridge, M

“…Game theory provides a well-established framework for the analysis and verification of concurrent and multi-agent systems. Typically, the analysis of a multi-agent system involves computing the set of equilibria in the associated multi-player game representing the behaviour of the system. …”

Iterated games with LDL goals over finite traces by Gutierrez, J, Perelli, G, Wooldridge, M

“…This study builds upon a generalisation of Boolean games, a logic-based game model of multi-Agent systems where players have goals succinctly represented in a logical way. …”

Iterated games with LDL goals by Gutierrez, J, Perelli, G, Wooldridge, M

“…This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way. …”

Iterated Boolean games for rational verification by Gutierrez, J, Gao, T, Wooldridge, M

“…Rational verification is the problem of understanding what temporal logic properties hold of a multi-agent system when agents are modelled as players in a game, each acting rationally in pursuit of personal preferences. …”