kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Distributed Motion Coordination for Multirobot Systems Under LTL Specifications
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0001-6046-7129
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0001-7309-8086
2022 (English)In: IEEE Transactions on robotics, ISSN 1552-3098, E-ISSN 1941-0468, Vol. 38, no 2, p. 1047-1062Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2022. Vol. 38, no 2, p. 1047-1062
National Category
Robotics and automation Control Engineering
Identifiers
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
Funder
Swedish Research CouncilKnut and Alice Wallenberg Foundation
Note

QC 20220516

Available from: 2022-05-12 Created: 2022-05-12 Last updated: 2025-02-05Bibliographically approved

Open Access in DiVA

fulltext(898 kB)253 downloads
File information
File name FULLTEXT01.pdfFile size 898 kBChecksum SHA-512
cae0ed962ecb7a87d6d00e9a7a7d2f5a9e62e7c1cb7dcc4163d55302fc3d915be1d8f36a8b22822ed718bc48ab7fa0ef0d48ec04f5040cecf96bc05afe5764ec
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Yu, PianDimarogonas, Dimos V.

Search in DiVA

By author/editor
Yu, PianDimarogonas, Dimos V.
By organisation
Decision and Control Systems (Automatic Control)
In the same journal
IEEE Transactions on robotics
Robotics and automationControl Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 254 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 198 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf