Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Clare Dixon, Alan Winfield, Micheal Fisher

Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony J. Prescott, Jacques Penders (eds.)
“Towards Autonomous Robotic Systems”, pages 336-347
Lecture Notes in Computer Science 6856
Springer
2011

A robot swarm is a collection of simple robots designed to work together to carry out some task. Such swarms rely on: the simplicity of the individual robots; the fault tolerance inherent in having a large population of often identical robots; and the self-organised behaviour of the swarm as a whole. Although robot swarms are being deployed in increasingly sophisticated areas, designing individual control algorithms that can guarantee the required global behaviour is difficult. In this paper we apply and assess the use of formal verification techniques, in particular that of model checking, for analysing the emergent behaviours of robotic swarms. These techniques, based on the automated analysis of systems using temporal logics, allow us to analyse all possible behaviours and so identify potential problems with the robot swarm conforming to some required global behaviour. To show this approach we target a particular swarm control algorithm, and show how automated temporal analysis can help to refine and analyse such an algorithm.

12th Annual Conference (TAROS 2011), Sheffield, UK, 31 August - 2 September 2011. Proceedings

Tags:

Publication

— authors

Clare Dixon, Alan Winfield, Micheal Fisher

— editors

Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony J. Prescott, Jacques Penders

— status

published

— sort

paper in proceedings

— publication date

2011

— volume

Towards Autonomous Robotic Systems

— series

Lecture Notes in Computer Science

— volume

6856

— pages

336-347

URLs

original page  |  original PDF

identifiers

— DOI

10.1007/978-3-642-23232-9_30

— print ISBN

978-3-642-23231-2

notes

— note

12th Annual Conference (TAROS 2011), Sheffield, UK, 31 August - 2 September 2011. Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY