Towards temporal verification of emergent behaviours in swarm robotic systems
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
Analysing robot swarm behaviour via probabilistic model checking
Robotics and Autonomous Systems
Towards swarm calculus: universal properties of swarm performance and collective decisions
ANTS'12 Proceedings of the 8th international conference on Swarm Intelligence
Hi-index | 0.00 |
In this book, a generic model in as far as possible mathematical closed-formis developed that predicts the behavior of large self-organizing robot groups (robot swarms) based on their control algorithm. In addition, an extensive subsumption of the relatively young and distinctive interdisciplinary research field of swarm robotics is emphasized. The connection to many related fields is highlighted and the concepts and methods borrowed from these fields are described shortly.