scholarly journals Stability and synchronization preserving model reduction of multi-agent systems

2013 ◽  
Vol 62 (1) ◽  
pp. 1-10 ◽  
Author(s):  
Nima Monshizadeh ◽  
Harry L. Trentelman ◽  
M. Kanat Camlibel
Keyword(s):  
Model Reduction ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

scholarly journals Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them

2021 ◽  
Author(s):  
Wojciech Jamroga ◽  
Wojciech Penczek ◽  
Teofil Sidoruk
Keyword(s):  
Distributed Systems ◽  
Side Effects ◽  
Model Reduction ◽  
Semantic Representations ◽  
Multi Agent Systems ◽  
Reduction Scheme ◽  
Agent Systems ◽  
Multi Agent ◽  
The Asymmetry ◽  
Execution Semantics

Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems (MAS), together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed systems. As we show here, this can sometimes lead to counterintuitive interpretation of formulas when reasoning about the outcome of strategies. First, the semantics disregards finite paths, and yields unnatural evaluation of strategies with deadlocks. Secondly, the semantic representations do not allow to capture the asymmetry between proactive agents and the recipients of their choices. We propose how to avoid the problems by a suitable extension of the representations and change of the execution semantics for asynchronous MAS. We also prove that the model reduction scheme still works in the modified framework.

scholarly journals Projection-Based Model Reduction of Multi-Agent Systems Using Graph Partitions

2014 ◽  
Vol 1 (2) ◽  
pp. 145-154 ◽  
Author(s):  
Nima Monshizadeh ◽  
Harry L. Trentelman ◽  
M. Kanat Camlibel
Keyword(s):  
Model Reduction ◽  
Multi Agent Systems ◽  
Graph Partitions ◽  
Agent Systems ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document