%0 Conference Paper %1 noauthororeditor %A Fong, Brendan %A Sobociński, Paweł %A Rapisarda, Paolo %B 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) %D 2016 %K 93a30-systems-theory-mathematical-modeling %P 495-504 %T A categorical approach to open and interconnected dynamical systems %X In his 1986 Automatica paper Willems introduced the influential behavioural approach to control theory with an investigation of linear time-invariant (LTI) discrete dynamical systems. The behavioural approach places open systems at its centre, modelling by tearing, zooming, and linking. We show that these ideas are naturally expressed in the language of symmetric monoidal categories.Our main result gives an intuitive sound and fully complete string diagram algebra for reasoning about LTI systems. These string diagrams are closely related to the classical notion of signal flow graphs, endowed with semantics as multi-input multi-output transducers that process discrete streams with an infinite past as well as an infinite future. At the categorical level, the algebraic characterisation is that of the prop of corelations.Using this framework, we derive a novel structural characterisation of controllability, and consequently provide a methodology for analysing controllability of networked and interconnected systems. We argue that this has the potential of providing elegant, simple, and efficient solutions to problems arising in the analysis of systems over networks, a vibrant research area at the crossing of control theory and computer science. %@ 978-1-4503-4391-6

@inproceedings{noauthororeditor, abstract = {In his 1986 Automatica paper Willems introduced the influential behavioural approach to control theory with an investigation of linear time-invariant (LTI) discrete dynamical systems. The behavioural approach places open systems at its centre, modelling by tearing, zooming, and linking. We show that these ideas are naturally expressed in the language of symmetric monoidal categories.Our main result gives an intuitive sound and fully complete string diagram algebra for reasoning about LTI systems. These string diagrams are closely related to the classical notion of signal flow graphs, endowed with semantics as multi-input multi-output transducers that process discrete streams with an infinite past as well as an infinite future. At the categorical level, the algebraic characterisation is that of the prop of corelations.Using this framework, we derive a novel structural characterisation of controllability, and consequently provide a methodology for analysing controllability of networked and interconnected systems. We argue that this has the potential of providing elegant, simple, and efficient solutions to problems arising in the analysis of systems over networks, a vibrant research area at the crossing of control theory and computer science.}, added-at = {2019-06-13T07:50:26.000+0200}, author = {Fong, Brendan and Sobociński, Paweł and Rapisarda, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/24c1368e711aa188a2fd582fbd5015bc4/gdmcbain}, booktitle = {2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, interhash = {89bc6bae3631549ec4cf8fd2ed06b03b}, intrahash = {4c1368e711aa188a2fd582fbd5015bc4}, isbn = {978-1-4503-4391-6}, issn = {2575-5528}, keywords = {93a30-systems-theory-mathematical-modeling}, pages = {495-504}, timestamp = {2019-06-13T07:54:38.000+0200}, title = {A categorical approach to open and interconnected dynamical systems }, venue = {New York}, year = 2016 }