Swarm Robotics: A Formal Approach

Description

This book provides an introduction to Swarm Robotics, which is the application of methods from swarm intelligence to robotics. It goes on to present methods that allow readers to understand how to design large-scale robot systems by going through many example scenarios on topics such as aggregation, coordinated motion (flocking), task allocation, self-assembly, collective construction, and environmental monitoring. The author explains the methodology behind building multiple, simple robots and how the complexity emerges from the multiple interactions between these robots such that they are able to solve difficult tasks. The book can be used as a short textbook for specialized courses or as an introduction to Swarm Robotics for graduate students, researchers, and professionals who want a concise introduction to the field. Front Matter ....Pages i-xi Introduction to Swarm Robotics (Heiko Hamann)....Pages 1-32 Short Introduction to Robotics (Heiko Hamann)....Pages 33-55 Short Journey Through Nearly Everything (Heiko Hamann)....Pages 57-64 Scenarios of Swarm Robotics (Heiko Hamann)....Pages 65-93 Modeling Swarm Systems and Formal Design Methods (Heiko Hamann)....Pages 95-127 Collective Decision-Making (Heiko Hamann)....Pages 129-162 Case Study: Adaptive Aggregation (Heiko Hamann)....Pages 163-177 Back Matter ....Pages 179-210