Hongkai Dai
Results
2
repositories owned by
Hongkai Dai
compatible_clf_cbf
25
Stars
1
Forks
25
Watchers
Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)
large_inscribed_ellipsoid
16
Stars
1
Forks
16
Watchers
Find a large inscribed ellipsoid by solving a sequence of semidefinite programming problems