6 papers
Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
Wenliang Liu, Shuo Liu, Wei Xiao +1
Control Barrier Functions (CBFs) have been used to enforce safety and task specifications expressed in Signal Temporal Logic (STL). However, existing CBF-STL approaches typically r…
A Predictive and Sampled-Data Barrier Method for Safe and Efficient Quadrotor Control
Ming Gao, Zhanglin Shangguan, Shuo Liu +3
This paper proposes a cascaded control framework for quadrotor trajectory tracking with formal safety guarantees. First, we design a controller consisting of an outer-loop position…
Learning Safety for Obstacle Avoidance via Control Barrier Functions
Shuo Liu, Zhe Huang, Calin A. Belta
Obstacle avoidance is central to safe navigation, especially for robots with arbitrary and nonconvex geometries operating in cluttered environments. Existing Control Barrier Functi…
Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets
Yi-Hsuan Chen, Shuo Liu, Wei Xiao +2
Safely navigating around obstacles while respecting the dynamics, control, and geometry of the underlying system is a key challenge in robotics. Control Barrier Functions (CBFs) ge…
Auxiliary-Variable Adaptive Control Barrier Functions
Shuo Liu, Wei Xiao, Calin A. Belta
This paper addresses the challenge of ensuring safety and feasibility in control systems using Control Barrier Functions (CBFs). Existing CBF-based Quadratic Programs (CBF-QPs) oft…
Risk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic Uncertainty
Shuo Liu, Calin A. Belta
This paper addresses the challenge of ensuring safety in stochastic control systems with high-relative-degree constraints, while maintaining feasibility and mitigating conservatism…