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