1 citations · 1 across the 1 of their papers we have counts for
3 papers
math.OC2025
A Distributed Asynchronous Generalized Momentum Algorithm Without Delay Bounds
Ellie Pond, Yichen Zhao, Matthew Hale
Asynchronous optimization algorithms often require delay bounds to prove their convergence, though these bounds can be difficult to obtain in practice. Therefore, we introduce a no…
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…