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
Gaussian Belief Space Planning Under Temporal Logic Specifications
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0001-6046-7460
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0001-7461-920X
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Robotics, Perception and Learning, RPL.ORCID iD: 0000-0003-4173-2593
2022 (English)In: Workshop on Safe and Reliable Robot Autonomy under Uncertainty, Institute of Electrical and Electronics Engineers (IEEE), 2022Conference paper, Published paper (Refereed)
Abstract [en]

In many real-world robotic scenarios, exact knowledge about a robot’s state cannot be assumed due to unmodeled dynamics or noisy sensors. Planning in belief space provides an approach that addresses this problem by tightly coupling perception and planning modules to obtain a trajectory that takes into account the stochasticity of the environment. However, existing methods are often limited to simple tasks such as the classic reach-avoid problem and are not capable of solving problems under complex spatio-temporal specifications. We address this problem of motion planning in belief space under temporal logic specifications. We present our approach on using the quantitative semantics of Risk Signal Temporal Logic (RiSTL) to generate motion plans in Gaussian belief spaces based on a Model Predictive Control (MPC) scheme. We propose a novel formulation for the risk of being inside or outside of convex polygons that allows us to specify a wide variety of predicate functions such as risk-aware reach objectives or obstacle avoidance constraints.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2022.
National Category
Robotics and automation
Identifiers
URN: urn:nbn:se:kth:diva-324916OAI: oai:DiVA.org:kth-324916DiVA, id: diva2:1744789
Conference
International Conference on Robotics and Automation (ICRA), 23-27 May 2022, Philadelphia, PA, USA
Note

QC 20230328

Available from: 2023-03-20 Created: 2023-03-20 Last updated: 2025-02-09Bibliographically approved

Open Access in DiVA

fulltext(668 kB)138 downloads
File information
File name FULLTEXT01.pdfFile size 668 kBChecksum SHA-512
d1b5fe8b7d98e0a8b4401814d1b6e82ef94d911f5a04d7e3de112c9c77a81fcabf4663fe750e0ff0328ee026f03069fd996d4aa46d81033eacc7ed57d0e64844
Type fulltextMimetype application/pdf

Other links

Workshop website

Authority records

Vahs, MattiPek, ChristianTumova, Jana

Search in DiVA

By author/editor
Vahs, MattiPek, ChristianTumova, Jana
By organisation
Robotics, Perception and Learning, RPL
Robotics and automation

Search outside of DiVA

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