2 papers
cs.LO2026
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…
cs.AI2025
Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture
Joshua Gibson, Kapil Dhakal
Discrete facility layout design involves placing physical entities to minimize handling costs while adhering to strict safety and spatial constraints. This combinatorial problem is…