Towards Drone Flocking Using Relative Distance Measurements

We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed and therefore does not need any information exchange between the individual drones. Relative distance...

Full description

Saved in:
Bibliographic Details
Published inLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Vol. 13703; pp. 97 - 109
Main Authors Brandstätter, Andreas, Smolka, Scott A., Stoller, Scott D., Tiwari, Ashish, Grosu, Radu
Format Book Chapter
LanguageEnglish
Published Switzerland Springer 2022
Springer Nature Switzerland
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text
ISBN3031197585
9783031197581
ISSN0302-9743
1611-3349
DOI10.1007/978-3-031-19759-8_7

Cover

Abstract We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed and therefore does not need any information exchange between the individual drones. Relative distance measurements to other drones and information about its own relative movement are used to estimate the current state of the environment. This makes it possible to perform lookahead and estimate the next state for any potential next movement. A distributed cost function is then used to determine the best next action in every time step. Using a high-fidelity simulation environment, we show that our approach is able to form and maintain a flock for a set of drones.
AbstractList We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed and therefore does not need any information exchange between the individual drones. Relative distance measurements to other drones and information about its own relative movement are used to estimate the current state of the environment. This makes it possible to perform lookahead and estimate the next state for any potential next movement. A distributed cost function is then used to determine the best next action in every time step. Using a high-fidelity simulation environment, we show that our approach is able to form and maintain a flock for a set of drones.
Author Tiwari, Ashish
Brandstätter, Andreas
Smolka, Scott A.
Stoller, Scott D.
Grosu, Radu
Author_xml – sequence: 1
  givenname: Andreas
  orcidid: 0000-0003-2820-4446
  surname: Brandstätter
  fullname: Brandstätter, Andreas
  email: andreas.brandstaetter@tuwien.ac.at
– sequence: 2
  givenname: Scott A.
  surname: Smolka
  fullname: Smolka, Scott A.
– sequence: 3
  givenname: Scott D.
  orcidid: 0000-0002-8824-6835
  surname: Stoller
  fullname: Stoller, Scott D.
– sequence: 4
  givenname: Ashish
  orcidid: 0000-0002-5153-2686
  surname: Tiwari
  fullname: Tiwari, Ashish
– sequence: 5
  givenname: Radu
  orcidid: 0000-0001-5715-2142
  surname: Grosu
  fullname: Grosu, Radu
BookMark eNpFkEtOwzAQhg0URFN6Aja5gGHscWpbrFBLAakICZW15SQOhIYk2ClcH7dFYjOjefzz-BIyarvWEXLJ4IoByGstFUUKyCjTMtNUGXlEEoyJfYzHZMxmjFFEoU_-CyobkTEgcKqlwDOSMBRKKOQMz8k0hA8A4BL5LONjcrPufqwvQ7rwcXm6bLpiU7dv6WvY2RfX2KH-dumiDoNtC5c-ORu23n26dggX5LSyTXDTPz8h6-Xdev5AV8_3j_PbFe25YAPVAlSmrOQc4kpe6LzkAislLSqVVzqXZRYzCmSRSbfvsiCqXGkswXKcEHYYG3ofj3Le5F23CYaB2WEyEZNBE583eywmYooaPGh6331tXRiM24mKeLa3TfFu-8H5YGQEppkyWsdRGn8BgclmXA
ContentType Book Chapter
Copyright The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Copyright_xml – notice: The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
DBID FFUUA
DEWEY 005.14
DOI 10.1007/978-3-031-19759-8_7
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3031197593
9783031197598
EISSN 1611-3349
Editor Steffen, Bernhard
Margaria, Tiziana
Editor_xml – sequence: 1
  fullname: Margaria, Tiziana
– sequence: 2
  fullname: Steffen, Bernhard
EndPage 109
ExternalDocumentID EBC7119918_99_109
GroupedDBID 38.
AABBV
AAZWU
ABSVR
ABTHU
ABVND
ACBPT
ACHZO
ACPMC
ADNVS
AEDXK
AEJLV
AEKFX
AHVRR
AIYYB
ALMA_UNASSIGNED_HOLDINGS
BBABE
CZZ
FFUUA
IEZ
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
-DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-p241t-940858a72206522c9bd243f87a388bf9b7d5d24807c57e22065a04fb893d0a23
ISBN 3031197585
9783031197581
ISSN 0302-9743
IngestDate Tue Jul 29 20:28:35 EDT 2025
Thu May 29 16:16:24 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA76.758
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p241t-940858a72206522c9bd243f87a388bf9b7d5d24807c57e22065a04fb893d0a23
OCLC 1348483213
ORCID 0000-0002-8824-6835
0000-0003-2820-4446
0000-0001-5715-2142
0000-0002-5153-2686
PQID EBC7119918_99_109
PageCount 13
ParticipantIDs springer_books_10_1007_978_3_031_19759_8_7
proquest_ebookcentralchapters_7119918_99_109
PublicationCentury 2000
PublicationDate 2022
PublicationDateYYYYMMDD 2022-01-01
PublicationDate_xml – year: 2022
  text: 2022
PublicationDecade 2020
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III
PublicationTitle Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
PublicationYear 2022
Publisher Springer
Springer Nature Switzerland
Publisher_xml – name: Springer
– name: Springer Nature Switzerland
RelatedPersons Hartmanis, Juris
Gao, Wen
Steffen, Bernhard
Bertino, Elisa
Goos, Gerhard
Yung, Moti
RelatedPersons_xml – sequence: 1
  givenname: Gerhard
  surname: Goos
  fullname: Goos, Gerhard
– sequence: 2
  givenname: Juris
  surname: Hartmanis
  fullname: Hartmanis, Juris
– sequence: 3
  givenname: Elisa
  surname: Bertino
  fullname: Bertino, Elisa
– sequence: 4
  givenname: Wen
  surname: Gao
  fullname: Gao, Wen
– sequence: 5
  givenname: Bernhard
  orcidid: 0000-0001-9619-1558
  surname: Steffen
  fullname: Steffen, Bernhard
– sequence: 6
  givenname: Moti
  orcidid: 0000-0003-0848-0873
  surname: Yung
  fullname: Yung, Moti
SSID ssj0002732652
ssj0002792
Score 2.0505981
Snippet We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in...
SourceID springer
proquest
SourceType Publisher
StartPage 97
SubjectTerms Distributed controller
Drones
Flock
Quadcopters
Swarm
Title Towards Drone Flocking Using Relative Distance Measurements
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=7119918&ppg=109
http://link.springer.com/10.1007/978-3-031-19759-8_7
Volume 13703
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9swDBbS7DLssDfWveDDTsscOLIdydjJWBsUxdBLsqI3wfJjDbYlRa2iQP_l_tFIUbKdbJfuYhiWYMukIH0iP5KMfYixeIOWZTib1VGYlLoM9Ryz5Ym0FM0syurSEmTP5iffktOL9GI0-j1gLd0YPS3v_hlX8j9ahWegV4ySvYdmu5fCA7gH_cIVNAzXPfC7a2al6OUaxks1hvKBFxrR3wKBKDJWsTo0lTuH4TSui_UXnAP-pnJK00leFVemb3IpV78P3O2bqjXWpZ4YV8jDEiGLDpAvf21__rA4dGmTPeTTrsVsfbQhNR11Tav1bUGB7nl7uW4vd6avpfO2k6PrLcDgBWy5aNOfEMOBGHxIeUL0a5em3tRJY0L51y0IiVwkZ1tjmWcTX8XCL2pDqwfne1YPb_VESje-ZXm7NncUHr1zQIYNGv2kKZWF8YFisAnAMYrW1ZrWfTs_Y8qe6tZy4g07VDCzSRz-3nCGHBP4Vogfy0KpxAE7EDIZswf58enX887sB2iRz9M-wxnmbyRHF40Jw4_8mFNKENX_Q5c1ixIj731x54y059a3aGn1hD3CCJoAQ1tA0k_ZqN48Y4-95AMn-efss1NyYJUceCUHVsmBV3LglRwMlfyCrRbHqy8noSvmEV4BSDRhhqn0ZCE4B9DLeZnpiidxI0URS6mbTIsqhScyEmUqaturiJJGA56uooLHL9l4A2N5xQKdNoCqayGjrEoiaJwnVYM5opKUy6ioDtknLwdlGQeO5lzSX7dKzJDvJ1WWIf_ikH30slLYu1U-kzfIWMUKZKysjBXI-PV9Or9hD_up-5aNzfVN_Q4grNHv3bT4A1aqlC8
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Leveraging+Applications+of+Formal+Methods%2C+Verification+and+Validation.+Adaptation+and+Learning&rft.au=Brandst%C3%A4tter%2C+Andreas&rft.au=Smolka%2C+Scott+A.&rft.au=Stoller%2C+Scott+D.&rft.au=Tiwari%2C+Ashish&rft.atitle=Towards+Drone+Flocking+Using+Relative+Distance+Measurements&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2022-01-01&rft.pub=Springer+Nature+Switzerland&rft.isbn=9783031197581&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=97&rft.epage=109&rft_id=info:doi/10.1007%2F978-3-031-19759-8_7
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F7119918-l.jpg