國立虎尾科技大學 |

Swarm Robotics: A Formal Approach

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Swarm Robotics: A Formal Approach/ by Heiko Hamann.
Author:	Hamann, Heiko.
Description:	XI, 210 p. 91 illus., 71 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Electrical engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-74528-2
ISBN:	9783319745282

Swarm Robotics: A Formal Approach
Hamann, Heiko.

Swarm Robotics: A Formal Approach[electronic resource] /by Heiko Hamann. - 1st ed. 2018. - XI, 210 p. 91 illus., 71 illus. in color.online resource.

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.

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. Provides a quick introduction to the robotics aspect of swarm intelligence; Outlines how swarm robotics is relevant as a key technology in robotics, transport, and medicine (nanorobotics), with many references to real world examples and popular literature; Allows readers to acquire the fundamentals of how to design and model a swarm robotic system, including relevant mathematical definitions and tools. "Given the increasing number of sophisticated robots sharing our lives, the study of how large number of robots, so-called robot swarms, interact among themselves and with fellow humans to organize their activities and perform ever more complex tasks is becoming of paramount importance. With this book on swarm robotics, Heiko Hamann gives an important contribution to the foundations of this exciting research field." Prof. Marco Dorigo, Ph.D. Directeur de Recherches du FNRS IRIDIA Université libre de Bruxelles Belgium.

ISBN: 9783319745282

Standard No.: 10.1007/978-3-319-74528-2doiSubjects--Topical Terms:

596380
Electrical engineering.

LC Class. No.: TK1-9971

Dewey Class. No.: 621.382

Swarm Robotics: A Formal Approach
LDR:03351nam a22003975i 4500 001 988674
003 DE-He213
005 20200703012753.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319745282 $9 978-3-319-74528-2
024 7 $a 10.1007/978-3-319-74528-2 $2 doi
035 $a 978-3-319-74528-2
050 4 $a TK1-9971
072 7 $a TJK $2 bicssc
072 7 $a TEC041000 $2 bisacsh
072 7 $a TJK $2 thema
082 0 4 $a 621.382 $2 23
100 1 $a Hamann, Heiko. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1280812
245 1 0 $a Swarm Robotics: A Formal Approach $h [electronic resource] / $c by Heiko Hamann.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XI, 210 p. 91 illus., 71 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 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.
520 $a 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. Provides a quick introduction to the robotics aspect of swarm intelligence; Outlines how swarm robotics is relevant as a key technology in robotics, transport, and medicine (nanorobotics), with many references to real world examples and popular literature; Allows readers to acquire the fundamentals of how to design and model a swarm robotic system, including relevant mathematical definitions and tools. "Given the increasing number of sophisticated robots sharing our lives, the study of how large number of robots, so-called robot swarms, interact among themselves and with fellow humans to organize their activities and perform ever more complex tasks is becoming of paramount importance. With this book on swarm robotics, Heiko Hamann gives an important contribution to the foundations of this exciting research field." Prof. Marco Dorigo, Ph.D. Directeur de Recherches du FNRS IRIDIA Université libre de Bruxelles Belgium.
650 0 $a Electrical engineering. $3 596380
650 0 $a Signal processing. $3 561459
650 0 $a Image processing. $3 557495
650 0 $a Speech processing systems. $3 564428
650 0 $a Robotics. $3 561941
650 0 $a Automation. $3 596698
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computational intelligence. $3 568984
650 0 $a Computational complexity. $3 527777
650 1 4 $a Communications Engineering, Networks. $3 669809
650 2 4 $a Signal, Image and Speech Processing. $3 670837
650 2 4 $a Robotics and Automation. $3 782979
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computational Intelligence. $3 768837
650 2 4 $a Complexity. $3 669595
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319745268
776 0 8 $i Printed edition: $z 9783319745275
776 0 8 $i Printed edition: $z 9783319892795
856 4 0 $u https://doi.org/10.1007/978-3-319-74528-2
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)