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
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0002-3627-7103
University of Southern California, Department of Computer Science, Los Angeles, CA, USA.
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0003-4173-2593
2024 (English)In: 2024 American Control Conference, ACC 2024, Institute of Electrical and Electronics Engineers (IEEE) , 2024, p. 251-258Conference paper, Published paper (Refereed)
Abstract [en]

Signal Temporal Logic (STL) is a formal language over continuous-time signals (such as trajectories of a multiagent system) that allows for the specification of complex spatial and temporal system requirements (such as staying sufficiently close to each other within certain time intervals). To promote robustness in multi-agent motion planning with such complex requirements, we consider motion planning with the goal of maximizing the temporal robustness of their joint STL specification, i.e. maximizing the permissible time shifts of each agent's trajectory while still satisfying the STL specification. Previous methods presented temporally robust motion planning and control in a discrete-time optimization scheme. In contrast, we parameterize the trajectory by continuous Bézier curves, where the curvature and the time-traversal of the trajectory are parameterized individually. We show an algorithm generating continuous-time temporally robust trajectories and prove soundness of our approach. Moreover, we empirically show that our parametrization realizes this with a considerable speed-up compared to state-of-the-art methods based on constant interval time discretization.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2024. p. 251-258
National Category
Control Engineering Robotics and automation Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-354310DOI: 10.23919/ACC60939.2024.10644216ISI: 001310893800041Scopus ID: 2-s2.0-85204473042OAI: oai:DiVA.org:kth-354310DiVA, id: diva2:1902969
Conference
2024 American Control Conference, ACC 2024, Toronto, Canada, Jul 10 2024 - Jul 12 2024
Note

QC 20241007

Part of ISBN 979-8-3503-8265-5

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

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Verhagen, JorisTumova, Jana

Search in DiVA

By author/editor
Verhagen, JorisTumova, Jana
By organisation
Robotics, Perception and Learning, RPL
Control EngineeringRobotics and automationComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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