Control Barrier Functions for Disjunctions of Signal Temporal Logic Tasks

In this work we consider the control problem of systems that are subject to disjunctions of Signal Temporal Logic (STL) tasks. Motivated by existing approaches encoding the STL tasks utilizing time-varying control barrier functions (CBFs), we propose a continuously differentiable function for encodi...

Full description

Saved in:
Bibliographic Details
Published in2023 European Control Conference (ECC) pp. 1 - 6
Main Authors Charitidou, Maria, Dimarogonas, Dimos V.
Format Conference Proceeding
LanguageEnglish
Published EUCA 13.06.2023
Subjects
Computational efficiency
Control systems
Encoding
Europe
Robustness
Sufficient conditions
Task analysis
Online AccessGet full text
DOI10.23919/ECC57647.2023.10178255

Cover

More Information
Summary:In this work we consider the control problem of systems that are subject to disjunctions of Signal Temporal Logic (STL) tasks. Motivated by existing approaches encoding the STL tasks utilizing time-varying control barrier functions (CBFs), we propose a continuously differentiable function for encoding the STL constraints that is defined as the composition of a smooth approximator of the max operator and a set of functions ensuring the satisfaction of the corresponding STL tasks with a desired robustness, and derive conditions for the choice of the class \mathcal{K} function (when the latter is considered to be linear) to ensure that the proposed function is a CBF. Then, a control law ensuring the satisfaction of the STL task is found as a solution to a computationally efficient QP.
DOI:10.23919/ECC57647.2023.10178255