9 citations · 27 across the 20 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2023★ 1 cited
Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
Shucheng Kang, Yuxiao Chen, Heng Yang +1
We study the problem of verification and synthesis of robust control barrier functions (CBF) for control-affine polynomial systems with bounded additive uncertainty and convex poly…
math.OC2021
The Mixed-Observable Constrained Linear Quadratic Regulator Problem: the Exact Solution and Practical Algorithms
Ugo Rosolia, Yuxiao Chen, Shreyansh Daftry +3
This paper studies the problem of steering a linear time-invariant system subject to state and input constraints towards a goal location that may be inferred only through partial o…