Compositional Sensitivity Analysis for Multiobjective System Co-Design
Abstract
Sensitivity analysis of coupled systems typically propagates derivatives of single-valued maps, whereas multiobjective optimization generally treats sensitivity at the system level rather than through interconnected subsystems. We develop a mathematical framework for compositional sensitivity analysis in multiobjective system design, building on monotone co-design. Subsystems are represented as design problems (DPs), interconnected through series, parallel, union, intersection, and feedback composition. We introduce tangential DPs (TDPs) to describe first-order variations around an operating point, show that they preserve the structure of DPs, and characterize their queries through graphical derivatives. To account for multiple internal realizations of a system-level operating point, tangential co-design problems compose families of local TDPs by taking a union over these realizations while retaining the original interconnection structure. We show that these compositions yield families of TDPs and establish conditions under which sensitivity analysis commutes with individual composition operations. Beyond infinitesimal sensitivity, we show that bounded tangential models of convex DPs provide tighter outer approximations of feasible finite changes, which can be propagated through co-design problems without union compositions. We conclude with several convex and nonconvex numerical examples that showcase the framework's accuracy and computational benefits.
Related
- Boundary layer analysis for the 2D Chemotaxis-Navier-Stokes system with logarithmic sensitivity, Part II. viscous vanishing limit
- Boundedness in a chemotaxis system with nonlinear diffusion and singular sensitivity
- TypedBench: A Benchmark for Calibration, Framing Sensitivity, and Cost in System One Decision Models
- Solving Multiobjective Linear Set Optimization Problems
- Optimality and Exact Moment-SDP Formulations for Robust Two-Stage Convex Polynomial Multiobjective Optimization
BibTeX
@misc{bonomi2026compositional,
title = {{Compositional Sensitivity Analysis for Multiobjective System Co-Design}},
author = {Alan Bonomi and Antonio Terpin and Yubo Cai and Yujun Huang and Meshal Alharbi and Gioele Zardini},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.18758},
eprint = {2610.18758},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.18758},
}
RIS
TY - UNPB
TI - Compositional Sensitivity Analysis for Multiobjective System Co-Design
AU - Alan Bonomi
AU - Antonio Terpin
AU - Yubo Cai
AU - Yujun Huang
AU - Meshal Alharbi
AU - Gioele Zardini
PY - 2026
DA - 2026/10/13
PB - arXiv
DO - 10.48550/arxiv.2610.18758
UR - https://arxiv.org/abs/2610.18758
AB - Sensitivity analysis of coupled systems typically propagates derivatives of single-valued maps, whereas multiobjective optimization generally treats sensitivity at the system level rather than through interconnected subsystems. We develop a mathematical framework for compositional sensitivity analysis in multiobjective system design, building on monotone co-design. Subsystems are represented as design problems (DPs), interconnected through series, parallel, union, intersection, and feedback composition. We introduce tangential DPs (TDPs) to describe first-order variations around an operating point, show that they preserve the structure of DPs, and characterize their queries through graphical derivatives. To account for multiple internal realizations of a system-level operating point, tangential co-design problems compose families of local TDPs by taking a union over these realizations while retaining the original interconnection structure. We show that these compositions yield families of TDPs and establish conditions under which sensitivity analysis commutes with individual composition operations. Beyond infinitesimal sensitivity, we show that bounded tangential models of convex DPs provide tighter outer approximations of feasible finite changes, which can be propagated through co-design problems without union compositions. We conclude with several convex and nonconvex numerical examples that showcase the framework's accuracy and computational benefits.
ER -