A categorical approach to open and interconnected dynamical systems

Brendan Fong, Paweł Sobociński, Paolo Rapisarda
2016 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16  
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 infinite past as well as an infinite future. This extended semantics features non-controllable systems, and we develop a novel, structural characterisation of
more » ... ollability. Our approach is formalised through the theory of props, extending the work of Bonchi, Zanasi and the third author.
doi:10.1145/2933575.2934556 dblp:conf/lics/FongSR16 fatcat:ef7ypvipuravvmzcw57eavwdim