4 citations · 12 across the 12 of their papers we have counts for
Showing 2023 · cs.LGShow all
2 papers · 2 filters
cs.LG2023★ 2 cited
Exact Verification of ReLU Neural Control Barrier Functions
Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik +1
Control Barrier Functions (CBFs) are a popular approach for safe control of nonlinear systems. In CBF-based control, the desired safety properties of the system are mapped to nonne…
cs.LG2023★ 2 cited
Neural Lyapunov Control for Discrete-Time Systems
Junlin Wu, Andrew Clark, Yiannis Kantaros +1
While ensuring stability for linear systems is well understood, it remains a major challenge for nonlinear systems. A general approach in such cases is to compute a combination of…