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:
CDC (2023)
Keyphrases
</>
semidefinite
positive semidefinite
semidefinite programming
convex relaxation
sufficient conditions
interior point methods
convex sets
higher dimensional
machine learning
evolutionary algorithm
training set
linear programming
learning algorithm
optimization problems
multistage
primal dual