kth.sePublikationer KTH
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Distributed Motion Coordination for Multirobot Systems Under LTL Specifications
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0000-0001-6046-7129
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0000-0001-7309-8086
2022 (Engelska)Ingår i: IEEE Transactions on robotics, ISSN 1552-3098, E-ISSN 1941-0468, Vol. 38, nr 2, s. 1047-1062Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

This article investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace, each of which is assigned a linear temporal logic specification. Based on the realistic assumptions that each robot is subject to both state and input constraints and can have only local view and local information, a fully distributed multirobot motion coordination strategy is proposed. For each robot, the motion coordination strategy consists of three layers. An offline layer precomputes the braking area for each region in the workspace, the controlled transition system, and a so-called potential function. An initialization layer outputs an initially safely satisfying trajectory. An online coordination layer resolves conflicts when one occurs. The online coordination layer is further decomposed into three steps. First, a conflict detection algorithm is implemented, which detects conflicts with neighboring robots. Whenever conflicts are detected, a rule is designed to assign dynamically a planning order to each pair of neighboring robots. Finally, a sampling-based algorithm is designed to generate local collision-free trajectories for the robot, which at the same time guarantees the feasibility of the specification. Safety is proven to be guaranteed for all robots at any time. The effectiveness and the computational tractability of the resulting solution is verified numerically by two case studies.

Ort, förlag, år, upplaga, sidor
Institute of Electrical and Electronics Engineers (IEEE) , 2022. Vol. 38, nr 2, s. 1047-1062
Nationell ämneskategori
Robotik och automation Reglerteknik
Identifikatorer
URN: urn:nbn:se:kth:diva-312133DOI: 10.1109/tro.2021.3088764ISI: 000733471700001Scopus ID: 2-s2.0-85128493074OAI: oai:DiVA.org:kth-312133DiVA, id: diva2:1657764
Forskningsfinansiär
VetenskapsrådetKnut och Alice Wallenbergs Stiftelse
Anmärkning

QC 20220516

Tillgänglig från: 2022-05-12 Skapad: 2022-05-12 Senast uppdaterad: 2025-02-05Bibliografiskt granskad

Open Access i DiVA

fulltext(898 kB)258 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 898 kBChecksumma SHA-512
cae0ed962ecb7a87d6d00e9a7a7d2f5a9e62e7c1cb7dcc4163d55302fc3d915be1d8f36a8b22822ed718bc48ab7fa0ef0d48ec04f5040cecf96bc05afe5764ec
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Person

Yu, PianDimarogonas, Dimos V.

Sök vidare i DiVA

Av författaren/redaktören
Yu, PianDimarogonas, Dimos V.
Av organisationen
Reglerteknik
I samma tidskrift
IEEE Transactions on robotics
Robotik och automationReglerteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 259 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 201 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf