Swarm Robotics: A Formal Approach

Heiko Hamann is Professor for Service Robotics at the University of Lübeck, Germany . His research focus is on swarm robotics, swarm intelligence, and evolutionary robotics. He is developing innovative methods to govern the ever-increasing complexity of engineered systems using novel applications of tools from physics, mathematics, chemistry, and biology. He has taught courses on swarm robotics, mobile robotics, and evolutionary robotics for more than five years. With more than 80 peer-reviewed publications at international conferences and international journals he is a well-recognized researcher in swarm robotics and related fields. He is the author of Space-Time Continuous Models of Swarm Robotic Systems (Springer, 2010), a frequently cited book on modeling systems of swarm robots. As coordinator and member of large European-funded research projects he worked on swarm robotics, modular robotics, and bio-hybrid systems.

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.