Showing 2025Show all
2 papers · 1 filter
eess.SY2025
Recurrent Control Barrier Functions: A Path Towards Nonparametric Safety Verification
Jixian Liu, Enrique Mallada
Ensuring the safety of complex dynamical systems often relies on Hamilton-Jacobi (HJ) Reachability Analysis or Control Barrier Functions (CBFs). Both methods require computing a fu…
eess.SY2025
Safety-Critical Control via Recurrent Tracking Functions
Jixian Liu, Enrique Mallada
This paper addresses the challenge of synthesizing safety-critical controllers for high-order nonlinear systems, where constructing valid Control Barrier Functions (CBFs) remains c…