activity
20202022
most citedLearning Control Barrier Functions with High Relative Degree for Safety-Critical Control

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing math.DSShow all

1 paper · 1 filter

math.DS2022★ 1 cited

Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems

Yiming Meng, Jun Liu

Stability, reachability, and safety are crucial properties of dynamical systems. While verification and control synthesis of reach-avoid-stay objectives can be effectively handled…