Categories in control

zbMATH Open1316.18009arXiv1405.6881MaRDI QIDQ5261936FDOQ5261936

Jason Erbele, John Baez

Publication date: 8 July 2015

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.

Full work available at URL: https://arxiv.org/abs/1405.6881

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• The calculus of signal flow diagrams. I: Linear relations on streams.
• A categorical semantics of signal flow graphs
• A categorical approach to open and interconnected dynamical systems
• Editorial -- Recent trends in international reserves: theory and evidence
• Props in Network Theory

zbMATH Keywords

control theoryFrobenius algebradagger-compact categorybialgebragraphical calculussignal flow diagram

Mathematics Subject Classification ID

Bialgebras (16T10) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)

Cited In (40)

• Graphical Conjunctive Queries.
• A category of control systems
• Title not available (Why is that?)
• Categorical foundations of gradient-based learning
• Title not available (Why is that?)
• Generalized relations in linguistics \& cognition
• Editorial -- Recent trends in international reserves: theory and evidence
• Title not available (Why is that?)
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Title not available (Why is that?)
• Equational Reasoning with Context-Free Families of String Diagrams
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props
• Title not available (Why is that?)
• Decorated Corelations
• Props in Network Theory
• Coarse-Graining Open Markov Processes
• DisCoPy: Monoidal Categories in Python
• Corelations are the prop for extraspecial commutative Frobenius monoids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Value Iteration is Optic Composition
• An electrical engineering perspective on naturality in computational physics
• A compositional framework for Markov processes
• Bidirectional processes -- in category theory, physics, engineering, \dots
• Towards a compositional framework for convex analysis (with applications to probability theory)
• Tensors, !-graphs, and non-commutative quantum structures
• Bialgebraic foundations for the operational semantics of string diagrams
• Contextual equivalence for signal flow graphs
• A Compositional Framework for Passive Linear Networks
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• Confluence of Graph Rewriting with Interfaces
• Title not available (Why is that?)
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Towards a unified framework for decomposability of processes
• On the geometry and algebra of networks with state
• Elementary control structures
• Refinement for signal flow graphs
• Lawvere Categories as Composed PROPs
• String diagram rewrite theory III: Confluence with and without Frobenius

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)