A categorical approach to open and interconnected dynamical systems

DOI10.1145/2933575.2934556MaRDI QIDQ4635907zbMATH OpenOpenAlexFDO

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)

Full work available at URL https://arxiv.org/abs/1510.05076, https://eprints.soton.ac.uk/393995/1/ltids.pdf

Mathematics Subject Classification ID

Controllability (93B05) Grammars and rewriting systems (68Q42)

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.

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)

• Props in Network Theory
• Bialgebraic foundations for the operational semantics of string diagrams
• String diagrams for regular logic (extended abstract)
• Dynamical systems and sheaves
• Morphisms of open games
• Categories in control
• scientific article; zbMATH DE number 7356842 (Why is no real title available?)
• String diagram rewrite theory III: Confluence with and without Frobenius
• Lawvere categories as composed PROPs
• Confluence of graph rewriting with interfaces
• scientific article; zbMATH DE number 7649945 (Why is no real title available?)
• Interacting Hopf algebras
• Towards foundations of categorical cybernetics
• Universal constructions for (co)relations: categories, monoidal categories, and props
• Cyber kittens, or some first steps towards categorical cybernetics
• Corelations are the prop for extraspecial commutative Frobenius monoids
• scientific article; zbMATH DE number 7649903 (Why is no real title available?)
• Decorated Corelations

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)