Anarchy, state, and utopia

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 from the point of view of swarm engineering: we focus mainly on ideas and concepts that contribute to the advancement of swarm robotics as an engineering field and that could be relevant to tackle real-world applications. Swarm engineering is an emerging discipline that aims at defining systematic and well founded procedures for modeling, designing, realizing, verifying, validating, operating, and maintaining a swarm robotics system. We propose two taxonomies: in the first taxonomy, we classify works that deal with design and analysis methods; in the second taxonomy, we classify works according to the collective behavior studied. We conclude with a discussion of the current limits of swarm robotics as an engineering discipline and with suggestions for future research directions.

/pdf/swarm-robotics-a-review-from-the-swarm-engineering-46mfc058e6.pdf

Swarm robotics: a review from the swarm engineering perspective

This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory. The book presents a broad set of tools for understanding coordination algorithms, determining their correctness, and assessing their complexity; and it analyzes various cooperative strategies for tasks such as consensus, rendezvous, connectivity maintenance, deployment, and boundary estimation. The unifying theme is a formal model for robotic networks that explicitly incorporates their communication, sensing, control, and processing capabilities--a model that in turn leads to a common formal language to describe and analyze coordination algorithms.Written for first- and second-year graduate students in control and robotics, the book will also be useful to researchers in control theory, robotics, distributed algorithms, and automata theory. The book provides explanations of the basic concepts and main results, as well as numerous examples and exercises.Self-contained exposition of graph-theoretic concepts, distributed algorithms, and complexity measures for processor networks with fixed interconnection topology and for robotic networks with position-dependent interconnection topology Detailed treatment of averaging and consensus algorithms interpreted as linear iterations on synchronous networks Introduction of geometric notions such as partitions, proximity graphs, and multicenter functions Detailed treatment of motion coordination algorithms for deployment, rendezvous, connectivity maintenance, and boundary estimation

/pdf/distributed-control-of-robotic-networks-a-mathematical-1q6nfcvi2l.pdf

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms

(i) You are allowed to freely download, share, print, or photocopy this document. (ii) You are not allowed to modify, sell, or claim authorship of any part of this document. (iii) We thank you for any feedback information, including suggestions, evaluations, error descriptions, or comments about teaching or research uses.

http://carmenere.ucsd.edu/pdfs/DCRN-BulloCortesMartinez-bibliography.pdf

Distributed Control of Robotic Networks

This paper is concerned with the collective behavior of a group of n > 1 mobile autonomous agents, labelled 1 through n, which can all move in the plane. Each agent is able to continuously track the positions of all other agents currently within its "sensing region" where by an agent's sensing region is meant a closed disk of positive radius r centered at the agent's current position. The multi-agent rendezvous problem is to devise "local" control strategies, one for each agent, which without any active communication between agents, cause all members of the group to eventually rendezvous at single unspecified location. This paper describes two types of strategies for solving the problem. The first consists of agent strategies, which are mutually synchronized, in the sense that all depend on a common clock. The second consists of strategies, which can be implemented independent of each other, without reference to a common clock.

http://www.eeci-institute.eu/GSC2012/Photos-EECI/EECI-GSC-2012-M15/handout2/rendezvous/Rend.sync.cdc.pdf

The multi-agent rendezvous problem

http://www.scs.carleton.ca/~santoro/Reports/Robots-Limited.pdf

Gathering of asynchronous robots with limited visibility

The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in theoretical computer science (especially in distributed computing), where it is now an integral part of the investigations on computability by mobile entities. The robots are identical computational entities located and able to move in a spatial universe; they operate without explicit communication and are usually unable to remember the past; they are extremely simple, with limited resources, and individually quite weak. However, collectively the robots are capable of performing complex tasks, and form a system with desirable fault-tolerant and self-stabilizing properties. The research has been concerned with the computational aspects of such systems. In particular, the focus has been on the minimal capabilities that the robots should have in order to solve a problem. This book focuses on the recent algorithmic results in the field of distributed computing by oblivious mobile robots (unable to remember the past). After introducing the computational model with its nuances, we focus on basic coordination problems: pattern formation, gathering, scattering, leader election, as well as on dynamic tasks such as flocking. For each of these problems, we provide a snapshot of the state of the art, reviewing the existing algorithmic results. In doing so, we outline solution techniques, and we analyze the impact of the different assumptions on the robots' computability power. Table of Contents: Introduction / Computational Models / Gathering and Convergence / Pattern Formation / Scatterings and Coverings / Flocking / Other Directions

Distributed Computing by Oblivious Mobile Robots

Consider a set of $n>2$ identical mobile computational entities in the plane, called robots, operating in Look-Compute-Move cycles, without any means of direct communication. The Gathering Problem is the primitive task of all entities gathering in finite time at a point not fixed in advance, without any external control. The problem has been extensively studied in the literature under a variety of strong assumptions (e.g., synchronicity of the cycles, instantaneous movements, complete memory of the past, common coordinate system, etc.). In this paper we consider the setting without those assumptions, that is, when the entities are oblivious (i.e., they do not remember results and observations from previous cycles), disoriented (i.e., have no common coordinate system), and fully asynchronous (i.e., no assumptions exist on timing of cycles and activities within a cycle). The existing algorithmic contributions for such robots are limited to solutions for $n \leq 4$ or for restricted sets of initial configura...

/pdf/distributed-computing-by-mobile-robots-gathering-2au7jx1t48.pdf

Distributed Computing by Mobile Robots: Gathering

https://people.scs.carleton.ca/~santoro/Reports/Robots-Patterns.pdf

Arbitrary pattern formation by asynchronous, anonymous, oblivious robots

Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct communication, no memory of the past, deterministic) moving freely in the plane and able to sense the positions of the other robots We study the primitive task of gathering them at a point not fixed in advance (GATHERING PROBLEM) In the literature, most contributions are simulation-validated heuristics The existing algorithmic contributions for such robots are limited to solutions for n ≤ 4 or for restricted sets of initial configurations of the robots In this paper, we present the first algorithm that solves the GATHERING PROBLEM for any initial configuration of the robots

/pdf/solving-the-robots-gathering-problem-5fxmigcf4c.pdf

Giuseppe Prencipe

Papers

Gathering of asynchronous robots with limited visibility

Distributed Computing by Oblivious Mobile Robots

Distributed Computing by Mobile Robots: Gathering

Arbitrary pattern formation by asynchronous, anonymous, oblivious robots

Solving the robots gathering problem