Distributed Autonomous Robotic Systems Roderich Groß pdf download
Distributed Autonomous Robotic Systems Roderich Groß pdf download
Groß download
https://textbookfull.com/product/distributed-autonomous-robotic-
systems-roderich-gros/
https://textbookfull.com/product/intelligent-robotic-systems-
first-edition-tzafestas/
https://textbookfull.com/product/adaptive-autonomous-secure-
cyber-systems-sushil-jajodia-editor/
https://textbookfull.com/product/creating-autonomous-vehicle-
systems-2nd-edition-shaoshan-liu/
https://textbookfull.com/product/intelligent-control-of-robotic-
systems-1st-edition-laxmidhar-behera/
Internet and Distributed Computing Systems Giancarlo
Fortino
https://textbookfull.com/product/internet-and-distributed-
computing-systems-giancarlo-fortino/
https://textbookfull.com/product/wheeled-mobile-robotics-from-
fundamentals-towards-autonomous-systems-gregor-klancar/
https://textbookfull.com/product/formation-control-of-multiple-
autonomous-vehicle-systems-first-edition-liu/
https://textbookfull.com/product/robotic-vehicles-systems-and-
technology-1st-edition-tian-seng-ng/
https://textbookfull.com/product/distributed-systems-concurrency-
and-consistency-matthieu-perrin-auth/
Springer Proceedings in Advanced Robotics 6
Series Editors: Bruno Siciliano · Oussama Khatib
Distributed
Autonomous
Robotic Systems
The 13th International Symposium
Springer Proceedings in Advanced Robotics 6
Series editors
Prof. Bruno Siciliano Prof. Oussama Khatib
Dipartimento di Ingegneria Elettrica Robotics Laboratory
e Tecnologie dell’Informazione Department of Computer Science
Università degli Studi di Napoli Stanford University
Federico II Stanford, CA 94305-9010
Via Claudio 21, 80125 Napoli USA
Italy E-mail: khatib@cs.stanford.edu
E-mail: siciliano@unina.it
Melvin Gauci
Editors
Distributed Autonomous
Robotic Systems
The 13th International Symposium
123
Editors
Roderich Groß Alcherio Martinoli
Department of Automatic Control ENAC, IIE, DIAL
and Systems Engineering École Polytechnique Fédérale
University of Sheffield de Lausanne (EPFL)
Sheffield Lausanne
UK Switzerland
This Springer imprint is published by the registered company Springer International Publishing AG
part of Springer Nature
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Foreword
Robots! Robots on Mars and in oceans, in hospitals and homes, in factories and
schools; robots fighting fires, making goods and products, saving time and lives.
Robots today are making a considerable impact from industrial manufacturing to
healthcare, transportation, and exploration of the deep space and sea. Tomorrow,
robots will become pervasive and touch upon many aspects of modern life.
The Springer Tracts in Advanced Robotics (STAR) was launched in 2002 with
the goal of bringing to the research community the latest advances in the robotics
field based on their significance and quality. During the past 15 years, the STAR
series has featured publication of both monographs and edited collections. Among
the latter, the proceedings of thematic symposia devoted to excellence in robotics
research, such as ISRR, ISER, FSR, and WAFR, have been regularly included in
STAR.
The expansion of our field as well as the emergence of new research areas has
motivated us to enlarge the pool of proceedings in the STAR series in the past few
years. This has ultimately led to launching a sister series in parallel to STAR. The
Springer Proceedings in Advanced Robotics (SPAR) is dedicated to the timely
dissemination of the latest research results presented in selected symposia and
workshops.
This volume of the SPAR series brings the proceedings of the thirteenth edition
of the DARS symposium on Distributed Autonomous Robotic Systems, whose
proceedings have been previously published within STAR. This symposium took
place at the Natural History Museum in London from November 7th to 9th, 2016.
The volume edited by Roderich Groß, Andreas Kolling, Spring Berman, Emilio
Frazzoli, Alcherio Martinoli, Fumitoshi Matsuno, and Melvin Gauci contains 47
scientific contributions organized in seven chapters. This collection focuses on
robotic exploration, modular and swarm robotics, multi-robot control, estimation,
planning, and applications.
v
vi Foreword
From its excellent technical program to its warm social interaction, DARS
culminates with this unique reference on the current developments and new
advances in distributed autonomous robotic systems—a genuine tribute to its
contributors and organizers!
These proceedings contain the papers presented at DARS 2016, the 13th
International Symposium on Distributed Autonomous Robotic Systems, which was
held at the Natural History Museum in London, UK, from November 7th to 9th,
2016. The goal of DARS is to provide a forum for scientific advances in the theory
and practice of distributed autonomous robotic systems. Distributed robotics is an
interdisciplinary and rapidly growing area, combining research in computer science,
communication and control systems, and electrical and mechanical engineering.
Distributed robotic systems can autonomously solve complex problems while
operating in highly unstructured real-world environments. They are expected to
play a major role in addressing future societal needs, for example, by improving
environmental impact assessment, food supply, transportation, manufacturing,
security, and emergency and rescue services.
Building upon previous editions, the symposium presented a strong and varied
technical program. We received a record 120 paper submissions—a testament to the
thriving and growing nature of the field. The review process was overseen by the
Program Chairs. Each paper was reviewed by at least three reviewers. Moreover,
each paper received a final evaluation by a Program Chair. We would like to thank
all members of the Program Committee as well as the additional referees for their
diligent and constructive reviews—a crucial element for upholding the high tech-
nical standard of DARS. The review process yielded 47 papers to be included in the
symposium, corresponding to an acceptance rate of 39%. Of the 47 papers, 30
papers were presented orally, and 17 papers were presented as posters. The method
of presentation was chosen not only based on the quality of each paper, but also on
content in order to ensure a well-balanced oral track, which is of interest to most
of the attendees. Additionally, the papers for oral presentation were divided into
seven thematic areas, namely Distributed Coverage and Exploration, Multi-Robot
Control, Multi-Robot Estimation, Multi-Robot Planning, Modular Robots and
Smart Materials, Swarm Robotics, and Multi-Robot Systems in Applications. All
47 accepted papers are included in these proceedings.
The program also featured four invited keynote addresses by researchers who are
making a lasting contribution to science and robotics: “Material-Integrated
vii
viii Preface
General Chair
Roderich Groß, The University of Sheffield, UK
General Co-Chair
Andreas Kolling, iRobot, USA
Technical Program Co-Chairs
Spring Berman, Arizona State University, USA
Emilio Frazzoli, MIT, USA
Alcherio Martinoli, EPFL, Switzerland
Fumitoshi Matsuno, Kyoto University, Japan
Publication Chair
Melvin Gauci,
Harvard University, USA
Publicity Chair
Sabine Hauert, University of Bristol, UK
Local Organization Team
Louise A. Caffrey, The University of Sheffield, UK
Ana MacIntosh, The University of Sheffield, UK
Stefan M. Trenkwalder, The University of Sheffield, UK
Advisory Committee
Hajime Asama, University of Tokyo, Japan
Marcelo H. Ang, National University of Singapore, Singapore
Tamio Arai, University of Tokyo, Japan
Raja Chatila, UPMC, France
Gregory S. Chirikjian, Johns Hopkins University, USA
Young-Jo Cho, ETRI, Republic of Korea
Nak Young Chong, JAIST, Japan
Nikolaus Correll, University of Colorado Boulder, USA
ix
x Organization
Sara Spedicato
Khalil Taheri
Stefan M. Trenkwalder
Constantinos Vrohidis
Jonathan West
Sean Wilson
Indrajeet Yadav
Dingjiang Zhou
Saeed Ahmadizadeh
Cenk Baykal
Dimitris Boskos
Alessio Capitanelli
Krishna Doddapaneni
Miguel Duarte
Iñaki Esnaola
Mark Fabbro
Jorge Gomes
Meng Guo
Shahab Heshmati-Alamdari
Frank Imeson
Aris Kanellopoulos
Monroe Kennedy
Ganesh Kumar
Yoshiyuki Matsumura
Ivano Notarnicola
Cammy Peterson
Hasan Poonawala
Philipp Schillinger
Wenceslao Shaw-Cortez
Adam Stager
Andrea Testa
Andrea Vanzo
Zijian Wang
Michael Whitzer
Peter Wurman
Michael Zavlanos
Contents
xv
xvi Contents
xxi
xxii Abstracts of Invited Keynote Presentations
the ability of robots to accomplish tasks they could not have completed on their
own. Collaboration is useful for groups with different types of robots with diverse
capabilities and tasks which cannot be completed with a single type of robot. This
talk will discuss biological inspiration for these paradigms, mathematical frame-
works, and resilience in collective behaviors with applications to ground and aerial
robots.
robot interaction modes, based on the task's cognitive complexity of control. This
scheme helps explicate the forms of control likely to be needed and the demands
they pose on human operators. This talk will present two lines of research following
from this characterization. The first evaluates the potential for using scheduling
techniques to improve the performance of systems in which operators must attend
to multiple independently operating robots. The second presents challenges and
results pertaining to human control of autonomously cooperating robotic swarms.
Part I
Distributed Coverage and Exploration
A Probabilistic Topological Approach
to Feature Identification Using a Stochastic
Robotic Swarm
Abstract This paper presents a novel automated approach to quantifying the topo-
logical features of an unknown environment using a swarm of robots with local
sensing and limited or no access to global position information. The robots ran-
domly explore the environment and record a time series of their estimated position
and the covariance matrix associated with this estimate. After the robots’ deploy-
ment, a point cloud indicating the free space of the environment is extracted from
their aggregated data. Tools from topological data analysis, in particular the concept
of persistent homology, are applied to a subset of the point cloud to construct barcode
diagrams, which are used to determine the numbers of different types of features in
the domain. We demonstrate that our approach can correctly identify the number
of topological features in simulations with zero to four features and in multi-robot
experiments with one to three features.
1 Introduction
approach requires each robot to have an identification label that can be recognized
by other robots.
The paper is structured as follows. Section 2 introduces the tools of TDA that
are used in our methodology. Section 3 presents the problem statement and describes
assumptions about the robot capabilities and motion model. Our approach for extract-
ing topological features of the domain from the robots’ data is discussed in Sect. 4.
Sects. 5 and 6 validate our approach with simulations and multi-robot experiments,
respectively. Finally, Sect. 7 concludes the paper and proposes future work.
2 Background
Topological Data Analysis (TDA) [5] is an emerging field that aims to provide algo-
rithmic and mathematical tools for studying topological and geometric attributes
of data. The fundamental idea underlying TDA is that data has an inherent shape
that encodes important information regarding the connectivity of the data and yields
insight into its global structure. TDA exploits the mathematical framework of alge-
braic topology [15], especially the concept of persistent homology [9], to characterize
the topological structure of data. In many applications, data is obtained as a point
cloud consisting of noisy samples of an intensity map in a Euclidean space. Prominent
topological features of a point cloud can be computed using TDA and presented in
the form of compact representations such as persistence diagrams [10] and barcode
diagrams [11]. TDA has been extensively applied to problems in computer vision
and image processing [23], sensor networks [6, 14], robotics [4, 18], localization
[22], and map comparison [3].
We provide a brief introduction to persistent homology, which is central to our
mapping methodology. More detailed treatments of the associated theory and com-
putations are given in [10, 16, 28]. Persistent homology is a method of analyzing the
correlation of homological information gathered across different scales. This tech-
nique enables the identification of topological features that are present over a large
range of scales, as opposed to those which are only temporarily present (short-scale
features). Homology is a robust tool that facilitates the study of global attributes of
spaces and functions from local computations on noisy data. A topological space T
can be associated with a collection of vector spaces called homology groups, denoted
by Hk (T), k = 0, 1, 2, ..., dim(T) − 1, each of which encodes a particular topologi-
cal feature of T. In persistent homology, these features are characterized using Betti
numbers, which are the ranks of the homology groups. These numbers are topo-
logical invariants. The k th Betti number of T, denoted by βk , is the rank of Hk (T)
and represents the number of independent k-dimensional cycles in T. For example, if
T ⊂ R2 , then β0 is the number of connected components in T and β1 is the number of
holes in T. If T ⊂ R3 , then β0 , β1 , and β2 are the numbers of connected components,
tunnels, and voids in T, respectively.
In a typical TDA application, a finite set of samples from a space M is available.
These samples, along with the metric associated with M, comprise the point cloud
6 R. K. Ramachandran et al.
C of the space. In TDA, the metric is used to map C onto a collection of simplices
called a simplicial complex. Simplices are combinatorial objects constructed from
the subsets of C. A k-simplex σ = [v0 , v1 , ..., vk ] is an ordered list of k + 1 elements
{v0 , v1 , ..., vk } ∈ C, called vertices. The simplicial complex provides a discrete repre-
sentation of the underlying topological space using a combinatorial structure that can
be represented algebraically using linear operators (matrices). It is this combinatorial
structure that permits us to develop algorithms for homological computation. There
are various ways to build a simplicial complex from a point cloud. The simplest way
is to choose a parameter δ > 0 and add a k-simplex to the simplicial complex if
every vertex in the simplex is within a distance δ from every other. The simplicial
complex constructed in this manner is called the Vietoris–Rips complex [12] or Rips
complex for short, often denoted as Ri ps(C, δ).
For large datasets, the number of simplices in the simplicial complex can be enor-
mous, making the computations highly inefficient. We reduce the computational
requirements by choosing a subset of the point cloud consisting of landmark points,
denoted by L ⊂ C, as vertices for the Rips complex. These landmark points were
selected using a greedy inductive selection process called a sequential max-min algo-
rithm [1]. In order to compute persistent Betti numbers, we require a filtration, defined
as a family of Ri ps(C, δ) parametrized by δ such that Ri ps(C, δ1 ) ⊆ Ri ps(C, δ2 )
for all δ1 > 0, δ2 > 0 where δ1 ≤ δ2 .
The persistent topological features of T over multiple values of δ can be identified
using a barcode diagram, which is a graphical representation of Hk (T) in terms of the
homology generators. A barcode plots a set of horizontal line segments on a graph
whose x-axis spans a range of δ values and whose y-axis depicts an arbitrary ordering
of homology generators. The numbers of arrows in the barcode for dimension 0
and dimension 1 indicate the numbers of connected components and features in
the domain, respectively. A barcode diagram can be computed automatically using
algorithms that find the homology generators of the homology that is constructed on
a point cloud. Figure 1 illustrates a barcode diagram that is obtained from an example
point cloud.
3 Problem Statement
Fig. 1 An example barcode diagram of a filtration formed from a Rips complex. βk (δi ) is the
number of horizontal segments in the barcode for Hk (T) that intersect the dashed line at δ = δi
robot records its estimated position and the covariance matrix corresponding to the
uncertainty of the estimate. After a time span T , all robots travel to a common location
where their stored data is retrieved and processed. We assume that T is sufficiently
large for the robots to thoroughly cover the domain and that the robots have sufficient
memory to store the data that they obtain during their deployment.
The robots follow the motion model described in [25]. Each robot has a con-
stant translational speed v and an orientation θ (t) at time t with respect to a global
frame. We define a robot’s velocity vector at time t as V(t) = [vx (t), v y (t)]T =
[v cos(θ (t)), v sin(θ (t))]T and its position vector as X(t) = [x(t), y(t)]T . The
displacement of a robot over a time step Δt is given by
Scott, Greenwood & Co. will forward any of the above Books, post
free, upon receipt of remittance at the published price, or they can
be obtained through all Booksellers.
Full List of Contents of any of the books will be sent on application,
and particulars of books in the press will be sent when ready to
persons sending name and address.
1.D. The copyright laws of the place where you are located also
govern what you can do with this work. Copyright laws in most
countries are in a constant state of change. If you are outside
the United States, check the laws of your country in addition to
the terms of this agreement before downloading, copying,
displaying, performing, distributing or creating derivative works
based on this work or any other Project Gutenberg™ work. The
Foundation makes no representations concerning the copyright
status of any work in any country other than the United States.
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form,
including any word processing or hypertext form. However, if
you provide access to or distribute copies of a Project
Gutenberg™ work in a format other than “Plain Vanilla ASCII” or
other format used in the official version posted on the official
Project Gutenberg™ website (www.gutenberg.org), you must,
at no additional cost, fee or expense to the user, provide a copy,
a means of exporting a copy, or a means of obtaining a copy
upon request, of the work in its original “Plain Vanilla ASCII” or
other form. Any alternate format must include the full Project
Gutenberg™ License as specified in paragraph 1.E.1.
• You pay a royalty fee of 20% of the gross profits you derive
from the use of Project Gutenberg™ works calculated using the
method you already use to calculate your applicable taxes. The
fee is owed to the owner of the Project Gutenberg™ trademark,
but he has agreed to donate royalties under this paragraph to
the Project Gutenberg Literary Archive Foundation. Royalty
payments must be paid within 60 days following each date on
which you prepare (or are legally required to prepare) your
periodic tax returns. Royalty payments should be clearly marked
as such and sent to the Project Gutenberg Literary Archive
Foundation at the address specified in Section 4, “Information
about donations to the Project Gutenberg Literary Archive
Foundation.”
• You comply with all other terms of this agreement for free
distribution of Project Gutenberg™ works.
1.F.
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
textbookfull.com