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 (18)
- Categories in control
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lawvere categories as composed PROPs
- Morphisms of open games
- Towards foundations of categorical cybernetics
- Interacting Hopf algebras
- Decorated Corelations
- Props in Network Theory
- Corelations are the prop for extraspecial commutative Frobenius monoids
- Title not available (Why is that?)
- Confluence of graph rewriting with interfaces
- Bialgebraic foundations for the operational semantics of string diagrams
- Dynamical systems and sheaves
- String diagrams for regular logic (extended abstract)
- Universal constructions for (co)relations: categories, monoidal categories, and props
- Cyber kittens, or some first steps towards categorical cybernetics
- 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)
