Journal
SWARM INTELLIGENCE
Volume 7, Issue 2-3, Pages 201-228Publisher
SPRINGER
DOI: 10.1007/s11721-013-0079-6
Keywords
Swarm robotics; Modelling; Bio-PEPA; Fluid flow analysis; Statistical model checking
Funding
- European Research Council under the European Union [246939]
- EU project ASCENS [257414]
- F.R.S.-FNRS of Belgium's Wallonia-Brussels Federation
- Project TRACE-IT-PAR FAS Regione Toscana
Ask authors/readers for more resources
In this paper we analyse a swarm robotics system using Bio-PEPA. Bio-PEPA is a process algebra language originally developed to analyse biochemical systems. A swarm robotics system can be analysed at two levels: the macroscopic level, to study the collective behaviour of the system, and the microscopic level, to study the robot-to-robot and robot-to-environment interactions. In general, multiple models are necessary to analyse a system at different levels. However, developing multiple models increases the effort needed to analyse a system and raises issues about the consistency of the results. Bio-PEPA, instead, allows the researcher to perform stochastic simulation, fluid flow (ODE) analysis and statistical model checking using a single description, reducing the effort necessary to perform the analysis and ensuring consistency between the results. Bio-PEPA is well suited for swarm robotics systems: by using Bio-PEPA it is possible to model distributed systems and their space-time characteristics in a natural way. We validate our approach by modelling a collective decision-making behaviour.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available