Swarm Robotics: A Formal Approach

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 exa

  • PDF / 7,182,147 Bytes
  • 215 Pages / 439.43 x 683.15 pts Page_size
  • 32 Downloads / 231 Views

DOWNLOAD

REPORT


Swarm Robotics: A Formal Approach

Swarm Robotics: A Formal Approach

Heiko Hamann

Swarm Robotics: A Formal Approach

123

Heiko Hamann Institute of Computer Engineering University of Lübeck Lübeck, Germany

ISBN 978-3-319-74526-8 ISBN 978-3-319-74528-2 (eBook) https://doi.org/10.1007/978-3-319-74528-2 Library of Congress Control Number: 2017964375 © Springer International Publishing AG 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This Springer imprint is published by Springer Nature The registered company is Springer International Publishing AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

Preface

My major motivation to think about swarm robotics is the question of how probabilistic local actions of small robots sum up to rational global patterns shown by the swarm. For the engineer, it has potential to let a dream come true because complex problems may be solved by designing simple collaborating components. For the scientist, it has potential to help explain grand questions about consciousness, human societies, and the emergence of complexity. Swarm robotics is a maturing field that deserves a book being dedicated to it completely. Until now there were many interesting books also treating swarm robotics besides other subjects, but there is no fully dedicated book yet. As a resource, especially for young researchers and students, a book seems important. I am trying to fill this gap. This book tells the story of designing maximally scalable and robust robot systems, which turns out to be challenging with today’s methodology. Therefore, join me on our journey to find better and novel approaches to designing decentralized robot systems. Like many other books, this one has a quite long history of origins. In 2013, I started to teach a quite special master’s course for computer scientists call