kth.sePublications
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
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0002-6364-4693
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0003-3512-2326
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0003-4173-2593
2023 (English)In: 2023 31st Mediterranean Conference on Control and Automation, MED 2023, Institute of Electrical and Electronics Engineers (IEEE) , 2023, p. 842-849Conference paper, Published paper (Refereed)
Abstract [en]

We propose a decentralized solution for high-level multi-agent task planning problems in environments considering communication network failure. In particular, we consider that robots can only sense each other and communicate within a limited radius, yet, they may need to collaborate to accomplish their tasks. These tasks are given in Metric Interval Temporal Logic (MITL), which is capable to capture complex task specifications involving explicit time constraints. To substitute for the lacking communication networks, we deploy an agile robot (e.g., drones) to transfer information between the heavy-duty robots while executing tasks. We propose an algorithm to decompose each MITL formula that is assigned to the corresponding heavy-duty robot into an independent task of that robot and an independent request for others. The agile robot systematically pursues heavy-duty robots to exchange requests. The heavy-duty robots use formal methods-based algorithms to compute path plans satisfying the independent promises and the received requests. While the robots' plan computation is fully decentralized, the satisfaction of all tasks is guaranteed (if such plans are found). The proposed solution can be applied to practical applications where the communication network fails or is restricted, such as post-catastrophe search and rescue and wildlife surveillance.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2023. p. 842-849
National Category
Computer Sciences Robotics and automation
Identifiers
URN: urn:nbn:se:kth:diva-335046DOI: 10.1109/MED59994.2023.10185907ISI: 001042336800136Scopus ID: 2-s2.0-85167784143OAI: oai:DiVA.org:kth-335046DiVA, id: diva2:1793070
Conference
31st Mediterranean Conference on Control and Automation, MED 2023, Limassol, Cyprus, Jun 26 2023 - Jun 29 2023
Note

Part of ISBN 9798350315431

QC 20230831

Available from: 2023-08-31 Created: 2023-08-31 Last updated: 2025-02-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Wang, WeiSchuppe, Georg FriedrichTumova, Jana

Search in DiVA

By author/editor
Wang, WeiSchuppe, Georg FriedrichTumova, Jana
By organisation
Robotics, Perception and Learning, RPL
Computer SciencesRobotics and automation

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 90 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