4 papers
Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design
Hans Riess, Yujun Huang, Matthew Klawonn +2
Monotone co-design enables compositional engineering design by modeling components through feasibility relations between required resources and provided functionalities. However, i…
Autonomous Satellite Rendezvous via Hybrid Feedback Optimization
Oscar Jed R. Chuy, Matthew T. Hale, Vignesh Sivaramakrishnan +2
As satellites have proliferated, interest has increased in autonomous rendezvous, proximity operations, and docking (ARPOD). A fundamental challenge in these tasks is the uncertain…
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…
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…