# An algebra of open continuous time dynamical systems and networks

@article{Lerman2016AnAO, title={An algebra of open continuous time dynamical systems and networks}, author={Eugene Lerman and David I. Spivak}, journal={arXiv: Dynamical Systems}, year={2016} }

Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a series of papers David Spivak with collaborators formalized these kinds of structures (systems of systems) as algebras over presentable colored operads.
It is also very useful to consider maps between dynamical systems. This amounts to viewing dynamical systems as objects in an appropriate…

## 9 Citations

### 3 1 Ju l 2 02 0 OPEN SYSTEMS IN CLASSICAL MECHANICS

- Mathematics
- 2020

Span categories provide a framework for formalizing mathematical models of open systems in classical mechanics. The categories appearing in classical mechanics do not have pullbacks, which requires…

### Open systems in classical mechanics

- MathematicsJournal of Mathematical Physics
- 2021

Author(s): Baez, John C; Weisbart, David; Yassine, Adam | Abstract: Span categories provide a framework for formalizing mathematical models of open systems in classical mechanics. The categories…

### Lie 2-algebras of vector fields

- MathematicsPacific Journal of Mathematics
- 2020

We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the…

### Open Petri nets

- Computer ScienceMathematical Structures in Computer Science
- 2020

Two forms of semantics for open Petri nets are described using symmetric monoidal double functors out of pen(Petri), including an operational semantics and a reachability semantics that simply says which markings of the outputs can be reached from a given marking of the inputs.

### Coarse-Graining Open Markov Processes

- Mathematics
- 2017

Coarse-graining is a standard method of extracting a simple Markov process from a more complicated one by identifying states. Here we extend coarse-graining to open Markov processes. An "open" Markov…

### Agoric computation: trust and cyber-physical systems

- Computer Science
- 2018

This thesis reviews the logical and mathematical basis of stateless abstractions and takes steps towards the software implementation of agoric modelling as a framework for simulation and verification of the reliability of increasingly complex systems, and reports on experimental results related to a few select applications.

### 25th Annual Computational Neuroscience Meeting: CNS-2016

- BiologyBMC Neuroscience
- 2016

Table of contents Functional advantages of cell-type heterogeneity in neural circuits, Dynamics and biomarkers of mental disorders, and Objective criteria for computational neuroscience model selection are presented.

### A bicategory of decorated cospans

- Mathematics
- 2016

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has…

## References

SHOWING 1-10 OF 15 REFERENCES

### Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

- Mathematics, Computer Science
- 2014

This paper uses the language of operads to study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones, and defines two W-algebras, G and L, which associate semantic content to the structures in W.

### Dynamics on networks I. Combinatorial categories of modular continuous-time systems

- Mathematics
- 2010

A new framework for the study of complex continuous time dynamical systems based on viewing them as collections of interacting control modules is developed, which enables the groupoid formalism in a coordinate-free setting and to extend it from ordinary differential equations to vector fields on manifolds.

### Modular dynamical systems on networks

- Mathematics, Computer Science
- 2013

It is shown that a class of maps between graphs called graph fibrations give rise to maps between dynamical systems on networks, which allows us to produce conjugacy between dynamicals systems out of combinatorial data.

### Nonlinear dynamics of networks: the groupoid formalism

- Mathematics
- 2006

A formal theory of symmetries of networks of coupled dynamical
systems, stated in terms of the group of permutations of the nodes that preserve
the network topology, has existed for some time.…

### Patterns of Synchrony in Coupled Cell Networks with Multiple Arrows

- MathematicsSIAM J. Appl. Dyn. Syst.
- 2005

A framework for coupled cell systems that permits a classification of robust synchrony in terms of network architecture and the existence of other robust dynamical patterns using a concept of quotient network is presented.

### The Behavioral Approach to Open and Interconnected Systems

- Computer ScienceIEEE Control Systems
- 2007

This article has presented an approach to the mathematical description of dynamical systems, and described a methodology for modeling interconnected systems, called tearing, zooming, and linking, that is much better adapted to the physics of interconnected systems than input/output-modeling procedures such as Simulink.

### Dynamics on Networks of Manifolds

- Mathematics
- 2015

It is proved that the appropriate maps of graphs called graph brations give rise to maps of dynamical systems, which gives rise to invariant subsystems and injective graph fibrationsGive rise to projections of dynamicals systems.

### Symmetry Groupoids and Patterns of Synchrony in Coupled Cell Networks

- MathematicsSIAM J. Appl. Dyn. Syst.
- 2003

A coupled cell system is a network of dynamical systems, or "cells," coupled together. Such systems can be represented schematically by a directed graph whose nodes correspond to cells and whose…

### The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes

- Computer ScienceArXiv
- 2013

This work investigates the hierarchical structure of processes using the mathematical theory of operads, and defines an operad of black boxes and directed wiring diagrams of processes (which it is called propagators, after Radul and Sussman), which are useful for modeling dynamic flows of information.

### Framed bicategories and monoidal fibrations

- Mathematics
- 2007

In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors,…