Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
Dmitry Vagner, David I. Spivak, Eugene Lerman

TL;DR
This paper employs operads and wiring diagrams to formalize the assembly of complex open dynamical systems from simpler components, providing a structured algebraic framework for their interconnection and analysis.
Contribution
It introduces a novel operadic approach to model and analyze interconnected dynamical systems using wiring diagrams and defines two algebras for general and linear systems.
Findings
Formalized the algebraic structure of interconnected systems
Applied the framework to classical tank-pipe systems
Explicitly related systems at different levels of granularity
Abstract
In this paper, we use the language of operads to study open dynamical systems. More specifically, we study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones. The syntactic architecture of such interconnections is encoded using the visual language of wiring diagrams. We define the symmetric monoidal category W, from which we may construct an operad O(W), whose objects are black boxes with input and output ports, and whose morphisms are wiring diagrams, thus prescribing the algebraic rules for interconnection. We then define two W-algebras, G and L, which associate semantic content to the structures in W. Respectively, they correspond to general and to linear systems of differential equations, in which an internal state is controlled by inputs and produces outputs. As an example, we use these algebras to formalize the classical problem of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Homotopy and Cohomology in Algebraic Topology · Quantum Mechanics and Applications
