Projects | GATAS Labhttps://gataslab.org/research/projects/index.htmlOur current research projects, each composed of multiple publications.HugoenDecapodeshttps://gataslab.org/research/projects/decapodes/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/research/projects/decapodes/index.htmlA graphical tool for the composition of physical systems, built on the discrete exterior calculus.Algebraic Dynamics, Optimization, and Controlhttps://gataslab.org/research/projects/optimization/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/research/projects/optimization/index.htmlCompositional frameworks for optimization, model predictive control, and dynamical systems.Compositional Algorithms with Sheaveshttps://gataslab.org/research/projects/sheaves/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/research/projects/sheaves/index.htmlSheaf-theoretic methods for structured decompositions and compositional algorithms.Multi-Agent Coordination with Cellular Sheaveshttps://gataslab.org/research/projects/coordination/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/research/projects/coordination/index.htmlCellular sheaves for distributed coordination, target tracking, and safe control of multi-agent systems.Compositional Modelinghttps://gataslab.org/research/projects/modeling/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/research/projects/modeling/index.htmlBuilding scientific models -- epidemiological, biochemical, dynamical -- whose structure composes.