Search

Engineering and programming approaches for collective adaptive systems often leverage ensemble-like abstractions to characterise a subset of devices as a domain for a given task or computation. In this paper, we address the problem of programming the dynamic evolution of distributed computational aggregates, through neighbour-based coordination. This is a problem of interest, since several situated activities (especially in large-scale settings) require decentralised collaboration, and need to be sustained by limited subsets of devices. These subsets may vary dynamically due to delegation, completion of local contributions, exhaustion of resources, failure, or change in the device set induced by the openness of system boundaries. In order to study and develop how distributed aggregates progressively take form by local coordination, we build on the field-based framework of aggregate processes, and extend it with techniques to support more expressive evolution dynamics. We propose novel algorithms for more effective propagation and closure of the boundaries of dynamic aggregates, based on statistics on the information speed and a notion of progressive closure through wave-like propagation. We verify the proposed techniques by simulation of a paradigmatic case study of multihop message delivery in mobile settings, and show increased performance and success rate with respect to previous work.

Traditional multi-agent planning addresses the coordination of multiple agents towards common goals, by producing an integrated plan of actions for each of those agents. For systems made of large numbers of cooperating agents, however, the execution and monitoring of a plan should enhance its high-level steps, possibly involving entire sub-teams, with a flexible and adaptable lower-level behaviour of the individual agents. In order to achieve such a goal, we need to integrate the behaviour dictated by a multi-agent plan with self-organizing, swarm-based approaches, capable of automatically adapting their behaviour based on the contingent situation, departing from the predetermined plan whenever needed. Moreover, in order to deal with multiple domains and unpredictable situations, the system should, as far as possible, exhibit such capabilities without hard-coding the agents behaviour and interactions. In this paper, we investigate the relationship between multi-agent planning and self-organisation through the combination of two representative approaches both enjoying declarativity. We consider a functional approach to self-organising systems development, called Aggregate Programming (AP), and propose to exploit collective adaptive behaviour to carry out plan revisions. We describe preliminary results in this direction on a case study of execution monitoring and repair of a Multi-Agent PDDL plan.