https://gataslab.org/projects/index.htmlHere 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.Hugoenhttps://gataslab.org/projects/decapodes/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/projects/decapodes/index.htmlDecapodes.jl is a graphical tool for the composition of physical systems. This library includes tooling which takes advantage of the formalization of physical theories described by DEC provided by CombinatorialSpaces.jl. Links: Diagrammatic Equations Paper Decapodes Computational Paper Code Docs Project team Photo Name Member since Degree Program Luke Morris 2021 PhD CISE Matt Cuffaro 2023 — Research Software Engineer George Rauta 2022 PhD CISE Project articles Decapodes: A diagrammatic tool for representing, composing, and computing spatialized partial differential equations Luke Morris, Andrew Baas, Jesus Arias, Maia Gatlin, Evan Patterson, James P. FairbanksJournal of Computational Science2024https://gataslab.org/projects/optimization/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/projects/optimization/index.htmlAlgebraicControl.jl Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. We present a novel Julia library that leverages our theoretical results to automate the implementation of correct-by-construction MPC problems in software. Project team Photo Name Member since Degree Program Tyler Hanks 2021 PhD CISE Samuel Cohen 2024 — — Richard Samuelson 2024 PhD — Project articles A Compositional Framework for First-Order Optimization T. Hanks, M Klawonn, M Hale, E Patterson, JP FairbanksarxivSubmitted 2024https://gataslab.org/projects/sheaves/index.htmlMon, 01 Jan 0001 00:00:00 +0000https://gataslab.org/projects/sheaves/index.htmlStructuredDecompositions.jl Project team Photo Name Member since Degree Program Benjamin Merlin Bumpus 2022 PhD Research Assistant Professor Wilmer Leal 2022 PhD Postdoctoral Fellow Project articles Towards a Unified Theory of Time-varying Data B. Bumpus, J. Fairbanks, M. Karvonen, W. Leal, F. SimardProc. of the Royal Society Phil. Trans.Submitted 2024