Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

MaRDI QIDQ3456345zbMATH OpenFDO

Authors Dmitry Vagner, David I. Spivak, Eugene Lerman

Publication date 14 December 2015

Full work available at URL https://arxiv.org/abs/1408.1598, http://www.emis.de/journals/TAC/volumes/30/51/30-51abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

operadsmonoidal categorieswiring diagrams

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Algebraic methods (93B25)

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.

Recommendations

• DYNAMICAL SYSTEMS IN GRAPH C*-ALGEBRAS
• scientific article; zbMATH DE number 4048405
• C* -ALGEBRAS AND TOPOLOGICAL DYNAMICAL SYSTEMS
• Representations of -algebras and dynamical systems
• Cyclic operads and algebra of chord diagrams
• scientific article; zbMATH DE number 1302987
• HOPF ALGEBRAS IN DYNAMICAL SYSTEMS THEORY
• Graph theoretic invariants for operator algebras associated to topological dynamics
• Dialgebras and related operads
• C^*-algebras associated to dynamical systems

Cited in

(12)

• Compositional cyber-physical systems modeling
• Monoidal Grothendieck construction
• Networks of open systems
• Segal conditions for generalized operads
• Operadic modeling of dynamical systems: mathematics and computation
• Operads of wiring diagrams
• Bidirectional processes -- in category theory, physics, engineering, \dots
• Double categories of open dynamical systems (extended abstract)
• Hypergraph categories
• Dynamical systems and sheaves
• Networks of hybrid open systems
• scientific article; zbMATH DE number 1522866 (Why is no real title available?)

This page was built for publication: Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3456345)