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
Real-time RRT* with Signal Temporal Logic Preferences
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0001-7258-1527
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0002-8601-1370
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0003-3338-1455
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.
Show others and affiliations
2023 (English)In: 2023 IEEE/RSJ international conference on intelligent robots and systems (IROS), IEEE, 2023Conference paper, Published paper (Other academic)
Abstract [en]

Signal Temporal Logic (STL) is a rigorous specification language that allows one to express various spatiotemporal requirements and preferences. Its semantics (called robustness) allows quantifying to what extent are the STL specifications met. In this work, we focus on enabling STL constraints and preferences in the Real-Time Rapidly ExploringRandom Tree (RT-RRT*) motion planning algorithm in an environment with dynamic obstacles. We propose a cost function that guides the algorithm towards the asymptotically most robust solution, i.e. a plan that maximally adheres to the STL specification. In experiments, we applied our method to a social navigation case, where the STL specification captures spatio-temporal preferences on how a mobile robot should avoid an incoming human in a shared space. Our results show that our approach leads to plans adhering to the STL specification, while ensuring efficient cost computation.

Place, publisher, year, edition, pages
IEEE, 2023.
Keywords [en]
Signal Temporal Logic, Real-Time Planning, Sampling-based Motion Planning.
National Category
Control Engineering Computer Engineering
Identifiers
URN: urn:nbn:se:kth:diva-325105OAI: oai:DiVA.org:kth-325105DiVA, id: diva2:1746700
Conference
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 1-5, 2023, Detroit, USA
Note

QC 20231122

Available from: 2023-03-29 Created: 2023-03-29 Last updated: 2023-11-22Bibliographically approved

Open Access in DiVA

fulltext(2928 kB)565 downloads
File information
File name FULLTEXT02.pdfFile size 2928 kBChecksum SHA-512
2e9ecae6fe58f49013d8e95ea76402073ee010fa5aa8a20e530efd9bfbf8439041c3b81db21eee2e21efd933f7d32d560545f64388eae49c60a496f2119a6f2e
Type fulltextMimetype application/pdf

Other links

Conference website

Authority records

Linard, AlexisTorre, IlariaBartoli, ErmannoSleat, AlexLeite, IolandaTumova, Jana

Search in DiVA

By author/editor
Linard, AlexisTorre, IlariaBartoli, ErmannoSleat, AlexLeite, IolandaTumova, Jana
By organisation
Robotics, Perception and Learning, RPLCentre for Autonomous Systems, CASACCESS Linnaeus Centre
Control EngineeringComputer Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 803 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

urn-nbn

Altmetric score

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