2 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…