Filippo Bonchi

Full Abstraction for Signal Flow Graphs

VCLA hosted a talk by Filippo Bonchi on February 21, 2017

DATE:Tuesday, February 21, 2017
VENUE:Seminarraum Zemanek, Favoritenstraße 9-11, TU Wien


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.

Comments are closed.