Projects

A wiring diagram of a multistage control problem: an initial state feeding a chain of dynamics boxes, with a cost box beneath and a terminal condition at the end

Here you can find a list of our current research projects. Each project is composed of multiple publications.

Decapodes

A graphical tool for the composition of physical systems, built on the discrete exterior calculus.

Algebraic Dynamics, Optimization, and Control

Compositional frameworks for optimization, model predictive control, and dynamical systems.

Compositional Algorithms with Sheaves

Sheaf-theoretic methods for structured decompositions and compositional algorithms.

Multi-Agent Coordination with Cellular Sheaves

Cellular sheaves for distributed coordination, target tracking, and safe control of multi-agent systems.

Compositional Modeling

Building scientific models – epidemiological, biochemical, dynamical – whose structure composes.