Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation

17 March 2023

Papers citing "Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation"

2 / 2 papers shown

Title
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints Hongkai Dai Frank Permenter 21 36 0 02 Oct 2022
Safety Index Synthesis via Sum-of-Squares Programming Weiye Zhao Tairan He Tianhao Wei Simin Liu Changliu Liu 36 28 0 19 Sep 2022