A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
A categorical approach to open and interconnected dynamical systems
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
doi:10.1145/2933575.2934556
dblp:conf/lics/FongSR16
fatcat:ef7ypvipuravvmzcw57eavwdim