Non-Smooth Control Barrier Navigation Functions for STL Motion Planning

This paper reports on a new approach to Signal Temporal Logic (STL) control synthesis, that 1) utilizes a navigation function as the basis to construct a Control Barrier Function (CBF), and 2) composes navigation function-based barrier functions using nonsmooth mappings to encode Boolean operations...

Full description

Bibliographic Details
Main Authors: Ashkan Zehfroosh, Herbert G. Tanner
Format: Article
Language:English
Published: Frontiers Media S.A. 2022-04-01
Series:Frontiers in Robotics and AI
Subjects:
Online Access:https://www.frontiersin.org/articles/10.3389/frobt.2022.782783/full