Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

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 systems of tanks interconnected by pipes, and hence make explicit the algebraic relationships among systems at different levels of granularity.

26 pages

References in corpus (4)

• The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
• The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
• Dynamics on Networks of Manifolds
• Dynamics on networks I. Combinatorial categories of modular continuous-time systems

Cited by in corpus (17)

• Operads of Wiring Diagrams
• Categorical Semantics of Cyber-Physical Systems Theory
• Monoidal Grothendieck construction
• Towards Foundations of Categorical Cybernetics
• Operads for complex system design specification, analysis and synthesis
• Structured versus Decorated Cospans
• Dynamics on Networks of Manifolds
• The steady states of coupled dynamical systems compose according to matrix arithmetic
• Networks of hybrid open systems
• Networks of open systems
• Generalized Lens Categories via functors ${\mathcal{C}}^{\mathrm{op}}\to \mathsf{Cat}$
• An algebra of open continuous time dynamical systems and networks
• Nesting of dynamic systems and mode-dependent networks
• Abstraction, Composition and Contracts: A Sheaf Theoretic Approach
• Morphisms of Networks of Hybrid Open Systems
• Deep neural networks as nested dynamical systems
• The Grothendieck Construction in Categorical Network Theory