Analysing Robot Swarm Decision-Making with Bio-PEPA

@inproceedings{Massink2012AnalysingRS,
  title={Analysing Robot Swarm Decision-Making with Bio-PEPA},
  author={Mieke Massink and Manuele Brambilla and Diego Latella and Marco Dorigo and Mauro Birattari},
  booktitle={ANTS},
  year={2012}
}
We present a novel method to analyse swarm robotics systems 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… CONTINUE READING