A categorical approach to open and interconnected dynamical systems
Systems and Control
2017-03-30 v2 Logic in Computer Science
Category Theory
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.
Cite
@article{arxiv.1510.05076,
title = {A categorical approach to open and interconnected dynamical systems},
author = {Brendan Fong and Paolo Rapisarda and Paweł Sobociński},
journal= {arXiv preprint arXiv:1510.05076},
year = {2017}
}
Comments
10 pages + 3 page appendix