Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
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…
eess.SY2026
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…
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…