51 citations · 164 across the 17 of their papers we have counts for
20 papers
Compositional System Dynamics: The Higher Mathematics Underlying System Dynamics Diagrams & Practice
Xiaoyan Li, Evan Patterson, Patricia L. Mabry +1
This work establishes a robust mathematical foundation for compositional System Dynamics modeling, leveraging category theory to formalize and enhance the representation, analysis,…
Decapodes: A Diagrammatic Tool for Representing, Composing, and Computing Spatialized Partial Differential Equations
Luke Morris, Andrew Baas, Jesus Arias +3
We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of th…
Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems
Tyler Hanks, Baike She, Matthew Hale +3
Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. In this paper, we…
Structured and Decorated Cospans from the Viewpoint of Double Category Theory
Evan Patterson
Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks usi…
A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
Rebekah Aduddell, James Fairbanks, Amit Kumar +3
Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, usin…
Compositional Modeling with Stock and Flow Diagrams
John Baez, Xiaoyan Li, Sophie Libkind +2
Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems th…