Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering

Josh Gibson

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…