6 papers
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfig…
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global p…
Reconfigurable Interaction for MAS Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and communicate in different modes so that they can pursue joint tasks; agents may…
Operation Control Protocols in Power Distribution Grids
Yehia Abd Alrahman, Hugo Torres Vieira
Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation o…
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Collective adaptive systems are new emerging computational systems consisting of a large number of interacting components and featuring complex behaviour. These systems are usually…
On the Power of Attribute-based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
In open systems, i.e. systems operating in an environment that they cannot control and with components that may join or leave, behaviors can arise as side effects of intensive comp…