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...
Saved in:
Published in | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Vol. 13703; pp. 97 - 109 |
---|---|
Main Authors | , , , , |
Format | Book Chapter |
Language | English |
Published |
Switzerland
Springer
2022
Springer Nature Switzerland |
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
ISBN | 3031197585 9783031197581 |
ISSN | 0302-9743 1611-3349 |
DOI | 10.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 |