10 papers
Auditable and Deployable Multi-Agent Motion Planning via Posetal Games from Legal Guidelines
Florian Lercher, Karan Mahesh, Yujun Huang +6
When robots are deployed in the real-world, they must interact with other agents and accomplish their own goals while adhering to legal constraints. These potentially conflicting o…
Compositional Sensitivity Analysis for Multiobjective System Co-Design
Alan Bonomi, Antonio Terpin, Yubo Cai +3
Sensitivity analysis of coupled systems typically propagates derivatives of single-valued maps, whereas multiobjective optimization generally treats sensitivity at the system level…
Uncertainty-Aware End-to-End Co-Design of Neural Network Processors: From Training and Mapping to Fabrication
Yuyang Du, Yujun Huang, Gioele Zardini
Designing a neural network processor is an end-to-end co-design problem: network architecture and training budget determine the inference workload; hardware mapping decisions deter…
Task-Driven Co-Design of Heterogeneous Multi-Robot Systems
Maximilian Stralz, Meshal Alharbi, Yujun Huang +1
The design of multi-agent robotic systems involves tightly coupled decisions spanning heterogeneous domains, including robot design, fleet composition, and planning. Much effort ha…
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…
Scalable Co-Design via Linear Design Problems: Compositional Theory and Algorithms
Yubo Cai, Yujun Huang, Meshal Alharbi +1
Designing complex engineered systems requires managing tightly coupled trade-offs between subsystem capabilities and resource requirements. Monotone co-design provides a compositio…
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
Marius Furter, Yujun Huang, Gioele Zardini
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, l…
Distributional Uncertainty and Adaptive Decision-Making in System Co-design
Yujun Huang, Gioele Zardini
Complex engineered systems require coordinated design choices across heterogeneous components under conflicting objectives and uncertain specifications. Monotone co-design provides…
On Composable and Parametric Uncertainty in Systems Co-Design
Yujun Huang, Marius Furter, Gioele Zardini
Optimizing the design of complex systems requires navigating interdependent decisions, heterogeneous components, and multiple objectives. Our monotone theory of co-design offers a…
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems (Extended Version)
Marius Furter, Yujun Huang, Gioele Zardini
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, l…