The sheaf condition on a design presheaf over an architectural site is equivalent to pairwise overlap compatibility and yields unique global designs from compatible local ones, with the equivalence machine-verified in Lean 4.
A mathematical theory of co-design.arXiv preprint arXiv:1512.08055(2015)
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
years
2026 4representative citing papers
An elimination-based rejection-sampling algorithm with optimistic evaluators identifies target-feasible antichains in monotone co-design problems and propagates bounds compositionally through multigraphs.
A category theory framework translates biological mechanics into engineered stimulus-response systems via functors and composition, demonstrated on pinecone-inspired actuators.
A compositional framework based on monotone co-design theory enables joint optimization of robot design, fleet composition, and planning for heterogeneous multi-robot systems under task-specific constraints.
citing papers explorer
-
Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
The sheaf condition on a design presheaf over an architectural site is equivalent to pairwise overlap compatibility and yields unique global designs from compatible local ones, with the equivalence machine-verified in Lean 4.
-
Compositional Online Learning for Multi-Objective System Co-Design
An elimination-based rejection-sampling algorithm with optimistic evaluators identifies target-feasible antichains in monotone co-design problems and propagates bounds compositionally through multigraphs.
-
A Category-Theoretic Framework from Biological Mechanics to Engineered Stimulus-Response Systems
A category theory framework translates biological mechanics into engineered stimulus-response systems via functors and composition, demonstrated on pinecone-inspired actuators.
-
Task-Driven Co-Design of Heterogeneous Multi-Robot Systems
A compositional framework based on monotone co-design theory enables joint optimization of robot design, fleet composition, and planning for heterogeneous multi-robot systems under task-specific constraints.