1 citations · 1 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Verification of High-Order Control Barrier Functions by Computing Class K Functions
Ellie Pond, Matthew Hale
High-order control barrier functions (HOCBFs) can enforce system safety, but it must be verified that a system can actually implement a given HOCBF (or collection thereof). We addr…
eess.SY2022★ 1 cited
Fast Verification of Control Barrier Functions via Linear Programming
Ellie Pond, Matthew Hale
Control barrier functions are a popular method of ensuring system safety, and these functions can be used to enforce invariance of a set under the dynamics of a system. A control b…