{"id":"arxiv/2603.29921","url":"https://arxiv.org/abs/2603.29921","tags":["eess.SY","cs.LO","math.CT","math.OC"],"score":0,"title":"Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design","domain":"eess.SY","source":"arxiv","authors":["Hans Riess","Yujun Huang","Matthew Klawonn","Gioele Zardini","Matthew Hale"],"reviews":0,"subject":"eess.SY","summary":"Monotone co-design enables compositional engineering design by modeling components through feasibility relations between required resources and provided functionalities. However, its standard boolean formulation cannot natively represent quantitative criteria such as cost, confidence, or implementation choice. In practice, these quantities are often introduced through ad hoc scalarization or by augmenting the resource space, which obscures system structure and increases computational burden. We address this limitation by developing a quantale-enriched theory of co-design. We model resources…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-03-31","reactions":{}}