Aggregation-mediated Collective Perception and Action in a Group of Miniature Robots

We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable cells, and destroy them. Because miniaturized robots are usually endowed with reactive controllers and minimalist sensing and actuation capabilities, they must collaborate in order to achieve their task successfully. In this paper, we show how aggregation can mediate both collective perception and action while maintaining the scalability of the algorithm. First, we demonstrate the feasibility of our approach by implementing it on a real group of Alice mobile robots, which are only two centimeters in size. Then, we use a combination of both realistic simulations and macroscopic models in order to find optimal parameters that maximize the number of undesirable cells destroyed while minimizing the impact on the healthy population. Finally, we discuss the limitations of these models, both in terms of accuracy, computational cost, and scalability, and we outline the importance of an appropriate multi-level modeling methodology to ensure the relevance and the faithfulness of such models

Towards a Formal Verification Methodology for Collective Robotic Systems

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Power-law distribution of long-term experimental data in swarm robotics

Bio-inspired aggregation is one of the most fundamental behaviours that has been studied in swarm robotic for more than two decades. Biology revealed that the environmental characteristics are very important factors in aggregation of social insects and other animals. In this paper, we study the effects of different environmental factors such as size and texture of aggregation cues using real robots. In addition, we propose a mathematical model to predict the behaviour of the aggregation during an experiment

Collective Inspection of Regular Structures using a Swarm of Miniature Robots

We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely endowed with onboard, local sensors. Individual robot controllers are behaviorbased and the swarm coordination relies on a fully distributed control algorithm. The resulting collective behavior emerges from a combination of simple robot-robot interactions and the underlying environmental template. To estimate intrinsic advantages and limitations of the proposed control solution, we capture its characteristics at higher abstraction levels using nonspatial, microscopic and macroscopic probabilistic models. Although both types of models achieve only qualitatively correct predictions, they help us to shed light on the influence of the environmental template and control design choices on the considered nonspatial swarm metrics (inspection time and redundancy). Modeling results suggest that additional geometric details of the environmental structure should be taken into account for improving prediction accuracy and that the proposed control solution can be further optimized without changing its underlying architecture

Social Integrating Robots Suggest Mitigation Strategies for Ecosystem Decay

We develop here a novel hypothesis that may generate a general research framework of how autonomous robots may act as a future contingency to counteract the ongoing ecological mass extinction process. We showcase several research projects that have undertaken first steps to generate the required prerequisites for such a technology-based conservation biology approach. Our main idea is to stabilise and support broken ecosystems by introducing artificial members, robots, that are able to blend into the ecosystem's regulatory feedback loops and can modulate natural organisms' local densities through participation in those feedback loops. These robots are able to inject information that can be gathered using technology and to help the system in processing available information with technology. In order to understand the key principles of how these robots are capable of modulating the behaviour of large populations of living organisms based on interacting with just a few individuals, we develop novel mathematical models that focus on important behavioural feedback loops. These loops produce relevant group-level effects, allowing for robotic modulation of collective decision making in social organisms. A general understanding of such systems through mathematical models is necessary for designing future organism-interacting robots in an informed and structured way, which maximises the desired output from a minimum of intervention. Such models also help to unveil the commonalities and specificities of the individual implementations and allow predicting the outcomes of microscopic behavioural mechanisms on the ultimate macroscopic-level effects. We found that very similar models of interaction can be successfully used in multiple very different organism groups and behaviour types (honeybee aggregation, fish shoaling, and plant growth). Here we also report experimental data from biohybrid systems of robots and living organisms. Our mathematical models serve as building blocks for a deep understanding of these biohybrid systems. Only if the effects of autonomous robots onto the environment can be sufficiently well predicted can such robotic systems leave the safe space of the lab and can be applied in the wild to be able to unfold their ecosystem-stabilising potential

Multi-Functional Sensing for Swarm Robots Using Time Sequence Classification: HoverBot, an Example

Scaling up robot swarms to collectives of hundreds or even thousands without sacrificing sensing, processing, and locomotion capabilities is a challenging problem. Low-cost robots are potentially scalable, but the majority of existing systems have limited capabilities, and these limitations substantially constrain the type of experiments that could be performed by robotics researchers. Instead of adding functionality by adding more components and therefore increasing the cost, we demonstrate how low-cost hardware can be used beyond its standard functionality. We systematically review 15 swarm robotic systems and analyse their sensing capabilities by applying a general sensor model from the sensing and measurement community. This work is based on the HoverBot system. A HoverBot is a levitating circuit board that manoeuvres by pulling itself towards magnetic anchors that are embedded into the robot arena. We show that HoverBot’s magnetic field readouts from its Hall-effect sensor can be associated to successful movement, robot rotation and collision measurands. We build a time series classifier based on these magnetic field readouts. We modify and apply signal processing techniques to enable the online classification of the time-variant magnetic field measurements on HoverBot’s low-cost microcontroller. We enabled HoverBot with successful movement, rotation, and collision sensing capabilities by utilising its single Hall-effect sensor. We discuss how our classification method could be applied to other sensors to increase a robot’s functionality while retaining its cost