{"id":"arxiv/2605.08609","url":"https://arxiv.org/abs/2605.08609","tags":["cs.LO","math.CT"],"score":0,"title":"Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering","domain":"cs.LO","source":"arxiv","authors":["Josh Gibson"],"reviews":0,"subject":"cs.LO","summary":"We propose that the sheaf condition on a presheaf of design spaces provides a mathematical model for multi-view consistency in the architecture of cyber-physical systems (CPS). In model-based systems engineering, multiple engineering views -- electrical, thermal, mechanical, and software -- must be kept mutually consistent, yet current practice relies on informal procedures without a precise semantic account of global consistency. We construct an architectural site: a topological space whose points are pairwise interfaces between engineering domains and whose open sets represent engineering…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-09","reactions":{}}