Projects
Software
Decapodes.jl
Decapodes.jl are 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:
General Categorical Equations
Project Leader: Kevin Carlson
Decapodes Articles
-
Decapodes: A diagrammatic tool for representing, composing, and computing spatialized partial differential equations
Journal of Computational Science (2024)
Details DOI Preprint -
A Diagrammatic Presentation of Equations in Categories
Arxiv (2022)
Details Preprint -
A diagrammatic view of differential equations in physics
Mathematics in Engineering (2022)
Details DOI Preprint
No matching items
Dynamics, Optimization and Control
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.