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
Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
KTH, School of Electrical Engineering and Computer Science (EECS), Decision and Control Systems.ORCID iD: 0009-0002-3432-1526
KTH, School of Electrical Engineering and Computer Science (EECS), Decision and Control Systems.ORCID iD: 0000-0002-3199-4015
Automatic Control Laboratory, ETH Zürich, Zürich, Switzerland.ORCID iD: 0000-0003-3430-6625
KTH, School of Electrical Engineering and Computer Science (EECS), Decision and Control Systems.ORCID iD: 0000-0001-7309-8086
2026 (English)In: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523Article in journal (Refereed) Epub ahead of print
Abstract [en]

We propose a variant of the Rapidly Exploring Random Tree Star (RRT*) algorithm for planning trajectories of linear systems under input constraints subject to spatio-temporal specifications expressed in a fragment of Signal Temporal Logic (STL). Compared to existing sampling-based approaches that rely on mixed-integer or non-smooth optimization, which suffer from poor scalability, we adopt a control-theoretic framework based on set forward invariance. First, STL specifications with polyhedral predicates are encoded as a time-varying set computed via linear programming, such that all trajectories evolving within the set satisfy the specification. Forward invariance of the set for linear systems under input constraints is guaranteed using non-smooth analysis. Second, a modified RRT* algorithm is proposed to efficiently sample dynamically feasible and minimum cost trajectories within this time-varying set, in order to satisfy the given specifications. The effectiveness of the approach is demonstrated on an autonomous inspection mission of the International Space Station and a timed room-servicing task.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2026.
Keywords [en]
Linear Programming, Rapidly Exploring Random Trees, Signal Temporal Logic
National Category
Control Engineering Robotics and automation Signal Processing
Identifiers
URN: urn:nbn:se:kth:diva-382964DOI: 10.1109/TAC.2026.3690342Scopus ID: 2-s2.0-105038638947OAI: oai:DiVA.org:kth-382964DiVA, id: diva2:2067455
Note

QC 20260608

Available from: 2026-06-08 Created: 2026-06-08 Last updated: 2026-06-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Marchesini, GregorioLiu, SiyuanDimarogonas, Dimos V.

Search in DiVA

By author/editor
Marchesini, GregorioLiu, SiyuanLindemann, LarsDimarogonas, Dimos V.
By organisation
Decision and Control Systems
In the same journal
IEEE Transactions on Automatic Control
Control EngineeringRobotics and automationSignal Processing

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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