Swarm Robotics: A Formal Approach

• Main Author: Hamann, Heiko (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Electrical engineering.; Signal processing.; Image processing.; Speech processing systems.; Robotics.; Automation.; Artificial intelligence.; Computational intelligence.; Computational complexity.; Communications Engineering, Networks.; Signal, Image and Speech Processing.; Robotics and Automation.; Artificial Intelligence.; Computational Intelligence.; Complexity.

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,...

Table of Contents:

• Introduction to Swarm Robotics
• Short Introduction to Robotics
• Short Journey Through Nearly Everything
• Scenarios of Swarm Robotics
• Modeling Swarm Systems and Formal Design Methods
• Collective Decision-Making
• Case Study: Adaptive Aggregation
• References
• Index.