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
Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks
Max Planck Institute for Software Systems, Kaiserslautern, Germany.
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0002-2356-1543
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0001-7309-8086
Max Planck Institute for Software Systems, Kaiserslautern, Germany.
2024 (English)In: 2024 European Control Conference, ECC 2024, Institute of Electrical and Electronics Engineers (IEEE) , 2024, p. 3213-3219Conference paper, Published paper (Refereed)
Abstract [en]

Signal Temporal Logic (STL) offers an expressive formalism for describing complex high-level tasks in dynamical systems. This paper introduces a time-varying Control Barrier Function (CBF) for control-affine nonlinear stochastic systems to fulfill STL specifications. The CBFs are used in a robust optimization problem to provide a lower bound on the satisfaction probability of a given STL specification with a predetermined robustness level. We present an online control synthesis approach to minimize a performance function while having the required satisfaction guarantee. We finally provide a tractable solution to the robust optimization for STL with linear and quadratic predicate functions. To illustrate the effectiveness of the method, we apply it to a simple linear case study and to the path-planning problem for a nonlinear wheeled mobile robot.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2024. p. 3213-3219
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-351933DOI: 10.23919/ECC64448.2024.10591078ISI: 001290216502151Scopus ID: 2-s2.0-85200603186OAI: oai:DiVA.org:kth-351933DiVA, id: diva2:1890149
Conference
2024 European Control Conference, ECC 2024, Stockholm, Sweden, Jun 25 2024 - Jun 28 2024
Note

Part of ISBN 9783907144107

QC 20240830

Available from: 2024-08-19 Created: 2024-08-19 Last updated: 2025-04-28Bibliographically approved

Open Access in DiVA

fulltext(548 kB)29 downloads
File information
File name FULLTEXT01.pdfFile size 548 kBChecksum SHA-512
d119006574768dc132370d52f2692ed3c01cfb83aa5514bedcf0efac3c979f2a297e011e875bfca0aab92565d285f0ee9e934b12e27044266afbff5dbad53044
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Charitidou, MariaDimarogonas, Dimos V.

Search in DiVA

By author/editor
Charitidou, MariaDimarogonas, Dimos V.
By organisation
Decision and Control Systems (Automatic Control)
Control Engineering

Search outside of DiVA

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

doi
urn-nbn

Altmetric score

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