High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications

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.

• Publication year

  2021

• Venue

  American Control Conference

• Publication date

  2021-02-12

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.23919/ACC50511.2021.9483028arXiv 2102.06787
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Adaptive Control Barrier Functions for Safety-Critical Systems

  2020cited by this paper
• Feasibility-Guided Learning for Constrained Optimal Control Problems

  2020cited by this paper
• Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions

  2020cited by this paper
• Control Barrier Functions for Signal Temporal Logic Tasks

  2019influential reference
• Control Barrier Functions for Systems with High Relative Degree

  2019influential reference
• Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic

  2018cited by this paper
• Barrier Lyapunov Function Based State-constrained Control for a Class of Nonlinear Systems

  2018cited by this paper
• Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control

  2018cited by this paper
• Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates

  2018cited by this paper
• Nonsmooth Barrier Functions With Applications to Multi-Robot Systems

  2017influential reference
• Robustness of Control Barrier Functions for Safety Critical Control

  2016cited by this paper
• Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints

  2016influential reference
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems

  2016influential reference
• Formal Modeling and Analysis of Timed Systems

  2016cited by this paper
• Safety-critical and constrained geometric control synthesis using control Lyapunov and control Barrier functions for systems evolving on manifolds

  2015cited by this paper
• Multi-objective control for multi-agent systems using Lyapunov-like barrier functions

  2013cited by this paper
• Control lyapunov functions and hybrid zero dynamics

  2012cited by this paper
• Convex optimization

  2010cited by this paper
• Barrier Lyapunov Functions for the control of output-constrained nonlinear systems

  2009cited by this paper
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

  2007cited by this paper
• of nonlinear systems

  2006influential reference
• Monitoring Temporal Properties of Continuous Signals

  2004cited by this paper
• Robust Nonlinear Control Design

  1996cited by this paper
• Viability theory

  1991cited by this paper
• Stabilization with relaxed controls

  1983cited by this paper

• Robust Trajectory Generation and Control for Quadrotor Motion Planning With Field-of-View Control Barrier Certification

  2025cites this paper
• Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet

  2025cites this paper
• Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies

  2025cites this paper
• Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control

  2025cites this paper
• A Nonlinear Scaling-based Design of Control Lyapunov-barrier Function for Relative Degree 2 Case and its Application to Safe Feedback Linearization

  2025cites this paper
• Optimal Sequencing and Motion Control in a Roundabout With Safety and Comfort Guarantees

  2025cites this paper
• Fixed time convergence guarantees for Higher Order Control Barrier Functions

  2025influential citation
• Contact-Aware Safety in Soft Robots Using High-Order Control Barrier and Lyapunov Functions

  2025cites this paper
• Distributed observer-based formation control and obstacle avoidance of nonholonomic mobile robots with input saturation

  2025cites this paper
• Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints

  2025cites this paper
• Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions

  2025cites this paper
• Optimal Safe Sequencing and Motion Control for Mixed Traffic Roundabouts

  2025cites this paper
• Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications

  2024cites this paper
• Distributed MPC With Continuous-Time STL Constraint Satisfaction Guarantees

  2024cites this paper
• Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

  2024cites this paper
• Sequential control barrier functions for mobile robots with dynamic temporal logic specifications

  2024cites this paper
• Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints

  2024cites this paper
• Optimal Sequencing and Motion Control in a Roundabout with Safety Guarantees

  2024cites this paper
• Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay

  2024cites this paper
• Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications

  2024cites this paper
• Uncertainty-Aware Reactive Control for Signal Temporal Logic with Unknown Obstacles

  2024cites this paper
• Self-Triggered Model Predictive Control for Signal Temporal Logic Tasks

  2024cites this paper
• Safe PDE Boundary Control with Neural Operators

  2024cites this paper
• Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics

  2023cites this paper
• A Composite Control Framework of Safety Satisfaction and Uncertainties Compensation for Constrained Time-Varying Nonlinear MIMO Systems

  2023cites this paper
• Control Barrier Functions for Disjunctions of Signal Temporal Logic Tasks

  2023cites this paper
• Obstacle Avoidance for Unicycle-Modelled Mobile Robots with Time-Varying Control Barrier Functions

  2023cites this paper
• Context-Triggered Abstraction-Based Control Design

  2023cites this paper
• Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet

  2023cites this paper
• Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

  2023cites this paper
• Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

  2023cites this paper
• Real-time Perceptive Motion Control using Control Barrier Functions with Analytical Smoothing for Six-Wheeled-Telescopic-Legged Robot Tachyon 3

  2023cites this paper
• Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications

  2022influential citation
• Collision-Free Source Seeking Control Methods for Unicycle Robots

  2022cites this paper
• Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints

  2021cites this paper
• Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

  2021cites this paper
• Annual Reviews in Control

  year unknowncites this paper