Manuele Brambilla

Manuele Brambilla
Université Libre de Bruxelles | ULB · Artificial Intelligence Research Laboratory of the Université Libre de Bruxelles (IRIDIA)

About

25
Publications
15,709
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
2,784
Citations
Citations since 2016
0 Research Items
2274 Citations
20162017201820192020202120220100200300
20162017201820192020202120220100200300
20162017201820192020202120220100200300
20162017201820192020202120220100200300
Additional affiliations
September 2006 - September 2010
Position
  • Swarmanoid
Position
  • Swarm Intelligence class
Position
  • ULB
Education
September 2003 - July 2009
Politecnico di Milano
Field of study

Publications

Publications (25)
Article
Full-text available
We present two empirical studies on the design of control software for robot swarms. In Study A, Vanilla and EvoStick, two previously published automatic design methods, are compared with human designers. The comparison is performed on five swarm robotics tasks that are different from those on which Vanilla and EvoStick have been previously tested....
Conference Paper
Full-text available
We present an experiment in automatic design of robot swarms. For the first time in the swarm robotics literature, we perform an objective comparison of multiple design methods: we compare swarms de-signed by two automatic methods—AutoMoDe-Vanilla and EvoStick— with swarms manually designed by human experts. AutoMoDe-Vanilla and EvoStick have been...
Conference Paper
We present an experiment in automatic design of robot swarms. For the first time in the swarm robotics literature, we perform an objective comparison of multiple design methods: we compare swarms designed by two automatic methods—vanilla and EvoStick—with swarms manually designed by human experts. vanilla and EvoStick have been previously published...
Article
Full-text available
We introduce AutoMoDe: a novel approach to the automatic design of control software for robot swarms. The core idea in AutoMoDe recalls the approach commonly adopted in machine learning for dealing with the bias–variance tradedoff: to obtain suitably general solutions with low variance, an appropriate design bias is injected. AutoMoDe produces robo...
Article
In this article, we present property-driven design, a novel top-down design method for robot swarms based on prescriptive modeling and model checking. Traditionally, robot swarms have been developed using a code-and-fix approach: in a bottom-up iterative process, the developer tests and improves the individual behaviors of the robots until the desi...
Article
Research in swarm robotics focuses mostly on how robots interact and cooperate to perform tasks, rather than on the details of task execution. As a consequence, researchers often consider abstract tasks in their experimental work. For example, foraging is often studied without physically handling objects: the retrieval of an object from a source to...
Article
Full-text available
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 robotics aims at designing robust, scalable, and flexible collective behaviors for the coordination of large numbers of robots. In this paper, we analyze the literature f...
Article
In this paper we analyse a swarm robotics system using Bio-PEPA. Bio-PEPA is a process algebra language originally developed to analyse biochemical systems. A swarm robotics system can be analysed at two levels: the macroscopic level, to study the collective behaviour of the system, and the microscopic level, to study the robot-to-robot and robot-t...
Article
Full-text available
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 robotics aims at designing robust, scalable, and flexible collective behaviors for the coordination of large numbers of robots. In this paper, we analyze the literature f...
Chapter
Full-text available
In this paper, we present a novel method for performing collective transport in the presence of obstacles. Three robots are physically connected to an object to be transported from a start to a goal location. The task is particularly challenging because the robots have a heterogeneous perception of the environment. In fact, the goal and the obstacl...
Article
Full-text available
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 multi-robot simulator that is at the same time both efficient (fast performance with many robots) and flexible (highly customizable for specific experiments). Novel design ch...
Conference Paper
Full-text available
We present a novel formal verification approach for collective robotic systems that is based on the use of the formal language Klaim and related analysis tools. While existing approaches focus on either micro- or macroscopic views of a system, we model aspects of both the robot hardware and behaviour, as well as relevant aspects of the environment....
Conference Paper
Full-text available
We present a novel method to analyse swarm robotics systems based on Bio-PEPA. Bio-PEPA is a process algebraic language originally developed to analyse biochemical systems. Its main advantage is that it allows different kinds of analyses of a swarm robotics system starting from a single description. In general, to carry out different kinds of analy...
Chapter
Full-text available
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 are usually designed and developed using a code-and-fix approach, that is, the developer devises, tests and modifies the individual robot behaviors until a desired colle...
Article
Full-text available
Swarm robotics systems are characterized by decentralized control, limited communication between robots, use of local information, and emergence of global behavior. Such systems have shown their potential for flexibility and robustness [1]-[3]. However, existing swarm robotics systems are by and large still limited to displaying simple proof-of-con...
Conference Paper
Full-text available
Evolutionary robotics can be a powerful tool in studies on the evolutionary origins of self-organising behaviours in biological systems. However, these studies are viable only when the behaviour of the evolved artificial system closely corresponds to the one observed in biology, as described by available models. In this paper, we compare the behavi...
Conference Paper
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 simulators obtain scalability by imposing limitations on their extensibility and on the accuracy of the robot models. By contrast, in ARGoS we pursue a deeply modular approac...
Article
Full-text available
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 simulators obtain scalability by imposing limitations on their extensibility and on the accuracy of the robot models. By contrast, in ARGoS we pursue a deeply modular approac...
Conference Paper
Full-text available
In collective transport, a group of robots has to cooperate in order to transport an object. Collective transport is necessary when transporting the object is hard or impossible for a single robot. The task is particularly difficult when communication bandwidth is limited, there is no access to global information or when using a decentralized appro...
Conference Paper
Full-text available
This study proposes a method that lets individual robots in a group estimate the size of the group in a distributed manner. The process is loosely based on the signaling behavior of fireflies and crickets. Holland et al. first devised a method based on local robot signaling to estimate the group's size. Each robot emits a signal and can perceive th...

Network

Cited By

Projects

Project (1)