8 citations · 14 across the 7 of their papers we have counts for
10 papers
On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
Yehia Abd Alrahman, Nir Piterman
We address the problem of distributing a sequential system across asynchronous agents that jointly recognize the same language. Existing approaches incur state-space blow-up due to…
Correct-by-Design Teamwork Plans for Multi-Agent Systems
Yehia Abd Alrahman, Nir Piterman
We propose Teamwork Synthesis, a version of the distributed synthesis problem with application to teamwork multi-agent systems. We reformulate the distributed synthesis question by…
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…
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Yehia Abd Alrahman, Victor Braberman, Nicolás D'Ippolito +2
A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.A…
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…
A Behavioural Theory for Interactions in Collective-Adaptive Systems
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system…
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…