The University of Southampton
University of Southampton Institutional Repository

The calculus of signal flow diagrams I: linear relations on streams

The calculus of signal flow diagrams I: linear relations on streams
The calculus of signal flow diagrams I: linear relations on streams
We introduce a graphical syntax for signal flow diagrams based on the language of symmetric monoidal categories. Using universal categorical constructions, we provide a stream semantics and a sound and complete axiomatisation.

A certain class of diagrams captures the orthodox notion of signal flow graph used in control theory; we show that any diagram of our syntax can be realised, via rewriting in the equational theory, as a signal flow graph.
0890-5401
1-28
Bonchi, Filippo
3c53e89d-d280-4911-9938-eb861553d04e
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Zanasi, Fabio
5bc03cd7-0fb6-4e14-bae8-8bf0d5d4be38
Bonchi, Filippo
3c53e89d-d280-4911-9938-eb861553d04e
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Zanasi, Fabio
5bc03cd7-0fb6-4e14-bae8-8bf0d5d4be38

Bonchi, Filippo, Sobocinski, Pawel and Zanasi, Fabio (2016) The calculus of signal flow diagrams I: linear relations on streams Information and Computation, pp. 1-28. (doi:10.1016/j.ic.2016.03.002).

Record type: Article

Abstract

We introduce a graphical syntax for signal flow diagrams based on the language of symmetric monoidal categories. Using universal categorical constructions, we provide a stream semantics and a sound and complete axiomatisation.

A certain class of diagrams captures the orthodox notion of signal flow graph used in control theory; we show that any diagram of our syntax can be realised, via rewriting in the equational theory, as a signal flow graph.

Text __soton.ac.uk_UDE_PersonalFiles_Users_skr1c15_mydocuments_eprints_ECS_Sobocinski_The Calculus of Signal Flow Diagrams.pdf - Accepted Manuscript
Download (1MB)

More information

Accepted/In Press date: 16 November 2015
e-pub ahead of print date: 6 March 2016
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 396532
URI: https://eprints.soton.ac.uk/id/eprint/396532
ISSN: 0890-5401
PURE UUID: 94103486-6a11-4f3e-a1e8-f6b1eb58f07c

Catalogue record

Date deposited: 10 Jun 2016 11:18
Last modified: 10 Jan 2018 05:21

Export record

Altmetrics

Contributors

Author: Filippo Bonchi
Author: Pawel Sobocinski
Author: Fabio Zanasi

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff edit
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×