Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

27 June 2024

Papers citing "Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions"

3 / 3 papers shown

Title
Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions Pol Mestres Carlos Nieto-Granda Jorge Cortés 37 1 0 10 Oct 2024
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints Hongkai Dai Frank Permenter 16 24 0 02 Oct 2022
Safety Index Synthesis via Sum-of-Squares Programming Weiye Zhao Tairan He Tianhao Wei Simin Liu Changliu Liu 24 28 0 19 Sep 2022