Login / Signup
Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation.
Shucheng Kang
Yuxiao Chen
Heng Yang
Marco Pavone
Published in:
CoRR (2023)
Keyphrases
</>
semidefinite
positive semidefinite
convex relaxation
semidefinite programming
sufficient conditions
interior point methods
higher dimensional
convex sets
globally optimal
training data
lower bound
text categorization
optimization methods