Categories in control
From MaRDI portal
Publication:5261936
Abstract: Control theory uses "signal-flow diagrams" to describe processes where real-valued functions of time are added, multiplied by scalars, differentiated and integrated, duplicated and deleted. These diagrams can be seen as string diagrams for the symmetric monoidal category FinVect_k of finite-dimensional vector spaces over the field of rational functions k = R(s), where the variable s acts as differentiation and the monoidal structure is direct sum rather than the usual tensor product of vector spaces. For any field k we give a presentation of FinVect_k in terms of the generators used in signal flow diagrams. A broader class of signal-flow diagrams also includes "caps" and "cups" to model feedback. We show these diagrams can be seen as string diagrams for the symmetric monoidal category FinRel_k, where objects are still finite-dimensional vector spaces but the morphisms are linear relations. We also give a presentation for FinRel_k. The relations say, among other things, that the 1-dimensional vector space k has two special commutative dagger-Frobenius structures, such that the multiplication and unit of either one and the comultiplication and counit of the other fit together to form a bimonoid. This sort of structure, but with tensor product replacing direct sum, is familiar from the "ZX-calculus" obeyed by a finite-dimensional Hilbert space with two mutually unbiased bases.
Recommendations
Cited in
(43)- Props in Network Theory
- scientific article; zbMATH DE number 7453976 (Why is no real title available?)
- An electrical engineering perspective on naturality in computational physics
- Refinement for signal flow graphs
- A compositional framework for Markov processes
- Equational reasoning with context-free families of string diagrams
- Categorical foundations of gradient-based learning
- Generalized relations in linguistics \& cognition
- scientific article; zbMATH DE number 3889343 (Why is no real title available?)
- Full abstraction for signal flow graphs
- Bialgebraic foundations for the operational semantics of string diagrams
- Editorial -- Recent trends in international reserves: theory and evidence
- scientific article; zbMATH DE number 1522866 (Why is no real title available?)
- String diagrams for regular logic (extended abstract)
- Graphical Conjunctive Queries.
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- String diagram rewrite theory III: Confluence with and without Frobenius
- Contextual equivalence for signal flow graphs
- Lawvere categories as composed PROPs
- On the \(K\)-theory of feedback actions on linear systems
- Elementary control structures
- Confluence of graph rewriting with interfaces
- DisCoPy: monoidal categories in Python
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Bidirectional processes -- in category theory, physics, engineering, \dots
- A category of control systems
- scientific article; zbMATH DE number 7649945 (Why is no real title available?)
- Towards a unified framework for decomposability of processes
- A Compositional Framework for Passive Linear Networks
- Universal constructions for (co)relations: categories, monoidal categories, and props
- Quantomatic: a proof assistant for diagrammatic reasoning
- On the geometry and algebra of networks with state
- Encoding !-tensors as !-graphs with neighbourhood orders
- A categorical semantics of signal flow graphs
- Corelations are the prop for extraspecial commutative Frobenius monoids
- A graphical calculus for Lagrangian relations
- Towards a compositional framework for convex analysis (with applications to probability theory)
- Symmetric monoidal categories with attributes
- scientific article; zbMATH DE number 7649903 (Why is no real title available?)
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- Value Iteration is Optic Composition
- Decorated Corelations
- Coarse-graining open Markov processes
This page was built for publication: Categories in control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261936)
