A categorical approach to open and interconnected dynamical systems
From MaRDI portal
Publication:4635907
DOI10.1145/2933575.2934556zbMATH Open1401.68134arXiv1510.05076OpenAlexW3101612166MaRDI QIDQ4635907FDOQ4635907
Authors: Brendan Fong, Paweł Sobociński, 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)
Abstract: We develop a sound and complete graphical theory for discrete linear time-invariant dynamical systems. The graphical syntax, as in previous work, is closely related to the classical notion of signal flow diagrams, differently from previous work, these are understood as multi-input multi-output transducers that process streams with an emph{infinite past} as well as an infinite future. This extended semantics features non-controllable systems, and we develop a novel, structural characterisation of controllability. Our approach is formalised through the theory of props, extending the work of Bonchi, Zanasi and the third author.
Full work available at URL: https://arxiv.org/abs/1510.05076
Recommendations
- Dynamical systems in categories
- Dynamical systems and categories
- Double categories of open dynamical systems (extended abstract)
- Categorical Methods in General Systems Theory and Linked Time Systems Series
- CATEGORICAL APPROACH TO GENERAL SYSTEMS THEORY
- Revisiting the categorical approach to systems
- scientific article; zbMATH DE number 7356842
- Category theory of symbolic dynamics
- A category-theoretic approach extending the notion of connection in a natural way, and its application to the geometry of differential systems
- Publication:4862450
Cited In (14)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Morphisms of open games
- Interacting Hopf algebras
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props
- Title not available (Why is that?)
- Decorated Corelations
- Props in Network Theory
- Corelations are the prop for extraspecial commutative Frobenius monoids
- Title not available (Why is that?)
- Bialgebraic foundations for the operational semantics of string diagrams
- Confluence of Graph Rewriting with Interfaces
- Lawvere Categories as Composed PROPs
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635907)
