High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications

02/12/2021
by   Calin A. Belta, et al.
0

Recent work has shown that stabilizing an affine control system to a desired state while optimizing a quadratic cost subject to state and control constraints can be reduced to a sequence of Quadratic Programs (QPs) by using Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs). In our own recent work, we defined High Order CBFs (HOCBFs) for systems and constraints with arbitrary relative degrees. In this paper, in order to accommodate initial states that do not satisfy the state constraints and constraints with arbitrary relative degree, we generalize HOCBFs to High Order Control Lyapunov-Barrier Functions (HOCLBFs). We also show that the proposed HOCLBFs can be used to guarantee the Boolean satisfaction of Signal Temporal Logic (STL) formulae over the state of the system. We illustrate our approach on a safety-critical optimal control problem (OCP) for a unicycle.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/11/2020

Adaptive Control Barrier Functions for Safety-Critical Systems

Recent work showed that stabilizing affine control systems to desired (s...
research
03/29/2021

Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics

This paper addresses the problem of safety-critical control for systems ...
research
03/12/2019

Control Barrier Functions for Systems with High Relative Degree

This paper extends control barrier functions (CBFs) to high order contro...
research
11/16/2020

Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions

It has been shown that satisfying state and control constraints while op...
research
03/03/2022

High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions

This paper studies the problem of utilizing data-driven adaptive control...
research
09/24/2020

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

We propose a framework based on Recurrent Neural Networks (RNNs) to dete...
research
08/17/2020

Bridging the Gap between Optimal Trajectory Planning and Safety-Critical Control with Applications to Autonomous Vehicles

We address the problem of optimizing the performance of a dynamic system...

Please sign up or login with your details

Forgot password? Click here to reset