Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Brambilla M., Latella D., Dorigo M., Birattari M. Analysing robot swarm decision-making with Bio-PEPA. In: ANTS 2012 - Swarm Intelligence - 8th International Conference (Brussels, Belgium, 12-14 September 2012). Proceedings, pp. 25 - 36. Dorigo et al. (eds.). (Lecture Notes in Computer Science, vol. 7461). Springer, 2012.
We present a novel method to analyse swarm robotics sys- tems based on Bio-PEPA. Bio-PEPA is a process algebraic language originally developed to analyse biochemical systems. Its main advantage is that it allows different kinds of analyses of a swarm robotics system starting from a single description. In general, to carry out different kinds of analysis, it is necessary to develop multiple models, raising issues of mutual consistency. With Bio-PEPA, instead, it is possible to perform stochastic simulation, fluid flow analysis and statistical model checking based on the same system specification. This reduces the complexity of the analysis and ensures consistency between analysis results. Bio-PEPA is well suited for swarm robotics systems, because it lends itself well to modelling distributed scalable systems and their space-time characteris- tics. We demonstrate the validity of Bio-PEPA by modelling collective decision-making in a swarm robotics system and we evaluate the result of different analyses.
URL: http://www.springerlink.com/content/7718x8v71048u57h/
DOI: 10.1007/978-3-642-32650-9_3
Subject Formal Modeling
Swarm Robotics
Fluid Flow Analysis
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional