-
A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms
Authors:
Dhaminda B. Abeywickrama,
Suet Lee,
Chris Bennett,
Razanne Abu-Aisheh,
Tom Didiot-Cook,
Simon Jones,
Sabine Hauert,
Kerstin Eder
Abstract:
Modelling and characterizing emergent behaviour within a swarm can pose significant challenges in terms of 'assurance'. Assurance tasks encompass adherence to standards, certification processes, and the execution of verification and validation (V&V) methods, such as model checking. In this study, we propose a holistic, multi-level modelling approach for formally verifying and validating autonomous…
▽ More
Modelling and characterizing emergent behaviour within a swarm can pose significant challenges in terms of 'assurance'. Assurance tasks encompass adherence to standards, certification processes, and the execution of verification and validation (V&V) methods, such as model checking. In this study, we propose a holistic, multi-level modelling approach for formally verifying and validating autonomous robotic swarms, which are defined at the macroscopic formal modelling, low-fidelity simulation, high-fidelity simulation, and real-robot levels. Our formal macroscopic models, used for verification, are characterized by data derived from actual simulations, ensuring both accuracy and traceability across different system models. Furthermore, our work combines formal verification with experimental validation involving real robots. In this way, our corroborative approach for V&V seeks to enhance confidence in the evidence, in contrast to employing these methods separately. We explore our approach through a case study focused on a swarm of robots operating within a public cloakroom.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside''
Authors:
Cosimo Della Santina,
Carlos Hernandez Corbato,
Burak Sisman,
Luis A. Leiva,
Ioannis Arapakis,
Michalis Vakalellis,
Jean Vanderdonckt,
Luis Fernando D'Haro,
Guido Manzi,
Cristina Becchio,
Aïda Elamrani,
Mohsen Alirezaei,
Ginevra Castellano,
Dimos V. Dimarogonas,
Arabinda Ghosh,
Sofie Haesaert,
Sadegh Soudjani,
Sybert Stroeve,
Paul Verschure,
Davide Bacciu,
Ophelia Deroy,
Bahador Bahrami,
Claudio Gallicchio,
Sabine Hauert,
Ricardo Sanz
, et al. (6 additional authors not shown)
Abstract:
Consciousness has been historically a heavily debated topic in engineering, science, and philosophy. On the contrary, awareness had less success in raising the interest of scholars in the past. However, things are changing as more and more researchers are getting interested in answering questions concerning what awareness is and how it can be artificially generated. The landscape is rapidly evolvi…
▽ More
Consciousness has been historically a heavily debated topic in engineering, science, and philosophy. On the contrary, awareness had less success in raising the interest of scholars in the past. However, things are changing as more and more researchers are getting interested in answering questions concerning what awareness is and how it can be artificially generated. The landscape is rapidly evolving, with multiple voices and interpretations of the concept being conceived and techniques being developed. The goal of this paper is to summarize and discuss the ones among these voices connected with projects funded by the EIC Pathfinder Challenge called ``Awareness Inside'', a nonrecurring call for proposals within Horizon Europe designed specifically for fostering research on natural and synthetic awareness. In this perspective, we dedicate special attention to challenges and promises of applying synthetic awareness in robotics, as the development of mature techniques in this new field is expected to have a special impact on generating more capable and trustworthy embodied systems.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Swarm Performance Indicators: Metrics for Robustness, Fault Tolerance, Scalability and Adaptability
Authors:
Emma Milner,
Mahesh Sooriyabandara,
Sabine Hauert
Abstract:
Swarms have distributed control and so are assumed to inherently have superior robustness, scalability and adaptability compared to centralised multi-agent systems. However, these features have generally only been defined qualitatively and there is a lack of quantitative metrics and experimental measures for the claimed parameters. Swarm Performance Indicators are defined here as Key Performance I…
▽ More
Swarms have distributed control and so are assumed to inherently have superior robustness, scalability and adaptability compared to centralised multi-agent systems. However, these features have generally only been defined qualitatively and there is a lack of quantitative metrics and experimental measures for the claimed parameters. Swarm Performance Indicators are defined here as Key Performance Indicators for swarm features but can be applied to multi-agent systems with centralised control as well. These swarm features are Robustness, Fault Tolerance, Adaptability and Scalability. Swarm Performance Indicators can be used to highlight the benefits of swarms beyond solely considering task-based performance metrics (e.g. time taken)
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Evolving Multi-Objective Neural Network Controllers for Robot Swarms
Authors:
Karl Mason,
Sabine Hauert
Abstract:
Many swarm robotics tasks consist of multiple conflicting objectives. This research proposes a multi-objective evolutionary neural network approach to developing controllers for swarms of robots. The swarm robot controllers are trained in a low-fidelity Python simulator and then tested in a high-fidelity simulated environment using Webots. Simulations are then conducted to test the scalability of…
▽ More
Many swarm robotics tasks consist of multiple conflicting objectives. This research proposes a multi-objective evolutionary neural network approach to developing controllers for swarms of robots. The swarm robot controllers are trained in a low-fidelity Python simulator and then tested in a high-fidelity simulated environment using Webots. Simulations are then conducted to test the scalability of the evolved multi-objective robot controllers to environments with a larger number of robots. The results presented demonstrate that the proposed approach can effectively control each of the robots. The robot swarm exhibits different behaviours as the weighting for each objective is adjusted. The results also confirm that multi-objective neural network controllers evolved in a low-fidelity simulator can be transferred to high-fidelity simulated environments and that the controllers can scale to environments with a larger number of robots without further retraining needed.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
TacMMs: Tactile Mobile Manipulators for Warehouse Automation
Authors:
Zhuochao He,
Xuyang Zhang,
Simon Jones,
Sabine Hauert,
Dandan Zhang,
Nathan F. Lepora
Abstract:
Multi-robot platforms are playing an increasingly important role in warehouse automation for efficient goods transport. This paper proposes a novel customization of a multi-robot system, called Tactile Mobile Manipulators (TacMMs). Each TacMM integrates a soft optical tactile sensor and a mobile robot with a load-lifting mechanism, enabling cooperative transportation in tasks requiring coordinated…
▽ More
Multi-robot platforms are playing an increasingly important role in warehouse automation for efficient goods transport. This paper proposes a novel customization of a multi-robot system, called Tactile Mobile Manipulators (TacMMs). Each TacMM integrates a soft optical tactile sensor and a mobile robot with a load-lifting mechanism, enabling cooperative transportation in tasks requiring coordinated physical interaction. More specifically, we mount the TacTip (biomimetic optical tactile sensor) on the Distributed Organisation and Transport System (DOTS) mobile robot. The tactile information then helps the mobile robots adjust the relative robot-object pose, thereby increasing the efficiency of load-lifting tasks. This study compares the performance of using two TacMMs with tactile perception with traditional vision-based pose adjustment for load-lifting. The results show that the average success rate of the TacMMs (66%) is improved over a purely visual-based method (34%), with a larger improvement when the mass of the load was non-uniformly distributed. Although this initial study considers two TacMMs, we expect the benefits of tactile perception to extend to multiple mobile robots. Website: https://sites.google.com/view/tacmms
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Authors:
Dhaminda B. Abeywickrama,
James Wilson,
Suet Lee,
Greg Chance,
Peter D. Winter,
Arianna Manzini,
Ibrahim Habli,
Shane Windsor,
Sabine Hauert,
Kerstin Eder
Abstract:
The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. This emergent functionality poses a challenge to safety assurance. The main contribution of this paper is a process for the safety assurance of emergent behaviour in autonomous robotic swarms called AERoS, following the g…
▽ More
The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. This emergent functionality poses a challenge to safety assurance. The main contribution of this paper is a process for the safety assurance of emergent behaviour in autonomous robotic swarms called AERoS, following the guidance on the Assurance of Machine Learning for use in Autonomous Systems (AMLAS). We explore our proposed process using a case study centred on a robot swarm operating a public cloakroom.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Understandable Controller Extraction from Video Observations of Swarms
Authors:
Khulud Alharthi,
Zahraa S Abdallah,
Sabine Hauert
Abstract:
Swarm behavior emerges from the local interaction of agents and their environment often encoded as simple rules. Extracting the rules by watching a video of the overall swarm behavior could help us study and control swarm behavior in nature, or artificial swarms that have been designed by external actors. It could also serve as a new source of inspiration for swarm robotics. Yet extracting such ru…
▽ More
Swarm behavior emerges from the local interaction of agents and their environment often encoded as simple rules. Extracting the rules by watching a video of the overall swarm behavior could help us study and control swarm behavior in nature, or artificial swarms that have been designed by external actors. It could also serve as a new source of inspiration for swarm robotics. Yet extracting such rules is challenging as there is often no visible link between the emergent properties of the swarm and their local interactions. To this end, we develop a method to automatically extract understandable swarm controllers from video demonstrations. The method uses evolutionary algorithms driven by a fitness function that compares eight high-level swarm metrics. The method is able to extract many controllers (behavior trees) in a simple collective movement task. We then provide a qualitative analysis of behaviors that resulted in different trees, but similar behaviors. This provides the first steps toward automatic extraction of swarm controllers based on observations.
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
DOTS: An Open Testbed for Industrial Swarm Robotic Solutions
Authors:
Simon Jones,
Emma Milner,
Mahesh Sooriyabandara,
Sabine Hauert
Abstract:
We present DOTS, a new open access testbed for industrial swarm robotics experimentation. It consists of 20 fast agile robots with high sensing and computational performance, and real-world payload capability. They are housed in an arena equipped with private 5G, motion capture, multiple cameras, and openly accessible via an online portal. We reduce barriers to entry by providing a complete platfo…
▽ More
We present DOTS, a new open access testbed for industrial swarm robotics experimentation. It consists of 20 fast agile robots with high sensing and computational performance, and real-world payload capability. They are housed in an arena equipped with private 5G, motion capture, multiple cameras, and openly accessible via an online portal. We reduce barriers to entry by providing a complete platform-agnostic pipeline to develop, simulate, and deploy experimental applications to the swarm. We showcase the testbed capabilities with a swarm logistics application, autonomously and reliably searching for and retrieving multiple cargo carriers.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Evolutionary computational platform for the automatic discovery of nanocarriers for cancer treatment
Authors:
Namid Stillman,
Igor Balaz,
Antisthenis Tsompanas,
Marina Kovacevic,
Sepinoud Azimi,
Sebastien Lafond,
Andrew Adamatzky,
Sabine Hauert
Abstract:
We present the EVONANO platform for the evolution of nanomedicines with application to anti-cancer treatments. EVONANO includes a simulator to grow tumours, extract representative scenarios, and then simulate nanoparticle transport through these scenarios to predict nanoparticle distribution. The nanoparticle designs are optimised using machine learning to efficiently find the most effective anti-…
▽ More
We present the EVONANO platform for the evolution of nanomedicines with application to anti-cancer treatments. EVONANO includes a simulator to grow tumours, extract representative scenarios, and then simulate nanoparticle transport through these scenarios to predict nanoparticle distribution. The nanoparticle designs are optimised using machine learning to efficiently find the most effective anti-cancer treatments. We demonstrate our platform with two examples optimising the properties of nanoparticles and treatment to selectively kill cancer cells over a range of tumour environments.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Model Exploration with Cost-Aware Learning
Authors:
Namid Stillman,
Igor Balazs,
Sabine Hauert
Abstract:
We present an extension to active learning routines in which non-constant costs are explicitly considered. This work considers both known and unknown costs and introduces the term ε-frugal for learners that do not only consider minimizing total costs but are also able to explore high cost regions of the sample space. We demonstrate our extension on a well-known machine learning dataset and find th…
▽ More
We present an extension to active learning routines in which non-constant costs are explicitly considered. This work considers both known and unknown costs and introduces the term ε-frugal for learners that do not only consider minimizing total costs but are also able to explore high cost regions of the sample space. We demonstrate our extension on a well-known machine learning dataset and find that out ε-frugal learners outperform both learners with known costs and random sampling.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.