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
Online control synthesis for uncertain systems under signal temporal logic specifications
Department of Computer Science, University of Oxford, Oxford, UK.
Department of Electrical and Electronic Engineering, Imperial College London, London, UK.
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control). Digital Futures, Stockholm, Sweden.ORCID iD: 0000-0001-6653-5508
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control). Digital Futures, Stockholm, Sweden.ORCID iD: 0000-0001-9940-5929
Show others and affiliations
2024 (English)In: The international journal of robotics research, ISSN 0278-3649, E-ISSN 1741-3176, Vol. 43, no 6, p. 765-790Article in journal (Refereed) Published
Abstract [en]

Signal temporal logic (STL) formulas have been widely used as a formal language to express complex robotic specifications, thanks to their rich expressiveness and explicit time semantics. Existing approaches for STL control synthesis suffer from limited scalability with respect to the task complexity and lack of robustness against the uncertainty, for example, external disturbances. In this paper, we study the online control synthesis problem for uncertain discrete-time systems subject to STL specifications. Different from existing techniques, we propose an approach based on STL, reachability analysis, and temporal logic trees. First, based on a real-time version of STL semantics, we develop the notion of tube-based temporal logic tree (tTLT) and its recursive (offline) construction algorithm. We show that the tTLT is an under-approximation of the STL formula, in the sense that a trajectory satisfying a tTLT also satisfies the corresponding STL formula. Then, an online control synthesis algorithm is designed using the constructed tTLT. It is shown that when the STL formula is robustly satisfiable and the initial state of the system belongs to the initial root node of the tTLT, it is guaranteed that the trajectory generated by the control synthesis algorithm satisfies the STL formula. We validate the effectiveness of the proposed approach by several simulation examples and further demonstrate its practical usability on a hardware experiment. These results show that our approach is able to handle complex STL formulas with long horizons and ensure the robustness against the disturbances, which is beyond the scope of the state-of-the-art STL control synthesis approaches.

Place, publisher, year, edition, pages
SAGE Publications , 2024. Vol. 43, no 6, p. 765-790
Keywords [en]
and reachability analysis, online control synthesis, Signal temporal logic, tube-based temporal logic tree, uncertain systems
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-348226DOI: 10.1177/02783649231212572ISI: 001127706600001Scopus ID: 2-s2.0-85180254556OAI: oai:DiVA.org:kth-348226DiVA, id: diva2:1875883
Note

QC 20240624

Available from: 2024-06-24 Created: 2024-06-24 Last updated: 2024-06-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Jiang, FrankJohansson, Karl H.Dimarogonas, Dimos V.

Search in DiVA

By author/editor
Jiang, FrankJohansson, Karl H.Dimarogonas, Dimos V.
By organisation
Decision and Control Systems (Automatic Control)
In the same journal
The international journal of robotics research
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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