Swarm robotics is an approach to collective robotics that takes inspiration from the self-
organized behaviors of social animals. Through simple rules and local interactions, swarm …

Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …

Recent advances in technology are delivering robots of reduced size and cost. A natural
outgrowth of these advances are systems comprised of large numbers of robots that …

We present a novel multi-robot simulator named ARGoS. ARGoS is designed to simulate
complex experiments involving large swarms of robots of different types. ARGoS is the first …

Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

We present ARGoS, a novel open source multi-robot simulator. The main design focus of
ARGoS is the real-time simulation of large heterogeneous swarms of robots. Existing robot …

We present Buzz, a novel programming language for heterogeneous robot swarms. Buzz
advocates a compositional approach, offering primitives to define swarm behaviors both …

As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …

The complexity of large-scale distributed systems, particularly when deployed in physical
space, calls for new mechanisms to address composability and reusability of collective …

In this paper, we propose a novel top-down design method for the development of collective
behaviors of swarm robotics systems called property-driven design. Swarm robotics systems …