Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems


Clare Dixon, Alan Winfield, Micheal Fisher

Towards Autonomous Robotic Systems, pages 336-347
Lecture Notes in Computer Science 6856,  2011
Springer
Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony J. Prescott, Jacques Penders (eds.)
12th Annual Conference (TAROS 2011), Sheffield, UK, 31 August - 2 September 2011. Proceedings

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.

 @incollection{dixon11,
Author = {Dixon, Clare and Winfield, Alan and Fisher, Micheal},
Booktitle = {Towards Autonomous Robotic Systems},
Doi = {10.1007/978-3-642-23232-9_30},
Editor = {Gro{\ss}, Roderich and Alboul, Lyuba and Melhuish, Chris and Witkowski, Mark and Prescott, Tony J. and Penders, Jacques},
Isbn = {978-3-642-23231-2},
Note = {12th Annual Conference (TAROS 2011), Sheffield, UK, 31~} # aug # {~-- 2~} # sep # {~2011. Proceedings},
Pages = {336--347},
Publisher = {Springer},
Series = {LNCS},
Title = {Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems},
Url = {http://www.springerlink.com/content/m2826416165wnn84/},
Volume = 6856,
Year = 2011

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

Venue

— volume

Towards Autonomous Robotic Systems

— series

Lecture Notes in Computer Science

— volume

6856

— pages

336-347

— publication date

2011

URLs

original page  |  original PDF

Identifiers

— DOI

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

— print ISBN

978-3-642-23231-2

BibTeX

— BibTeX ID
dixon11
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY