Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: IEEE Transactions on robotics, ISSN 1552-3098, E-ISSN 1941-0468, Vol. 38, nr 2, s. 1047-1062Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
Institute of Electrical and Electronics Engineers (IEEE) , 2022. Vol. 38, nr 2, s. 1047-1062
HSV kategori
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
Swedish Research CouncilKnut and Alice Wallenberg Foundation
Merknad

QC 20220516

Tilgjengelig fra: 2022-05-12 Laget: 2022-05-12 Sist oppdatert: 2025-02-05bibliografisk kontrollert

Open Access i DiVA

fulltext(898 kB)258 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 898 kBChecksum SHA-512
cae0ed962ecb7a87d6d00e9a7a7d2f5a9e62e7c1cb7dcc4163d55302fc3d915be1d8f36a8b22822ed718bc48ab7fa0ef0d48ec04f5040cecf96bc05afe5764ec
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Person

Yu, PianDimarogonas, Dimos V.

Søk i DiVA

Av forfatter/redaktør
Yu, PianDimarogonas, Dimos V.
Av organisasjonen
I samme tidsskrift
IEEE Transactions on robotics

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 259 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 201 treff
RefereraExporteraLink to record
Permanent link

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