A categorical approach to open and interconnected dynamical systems

DOI10.1145/2933575.2934556zbMath1401.68134arXiv1510.05076OpenAlexW3101612166MaRDI QIDQ4635907

Paweł Sobociński, Brendan Fong, Paolo Rapisarda

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.05076

Mathematics Subject Classification ID

Controllability (93B05) Grammars and rewriting systems (68Q42)

Related Items

Morphisms of open games ⋮ Interacting Hopf algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Lawvere Categories as Composed PROPs ⋮ Decorated Corelations ⋮ Props in Network Theory ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Corelations are the prop for extraspecial commutative Frobenius monoids ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

This page was built for publication: A categorical approach to open and interconnected dynamical systems