IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Full Abstraction for Signal Flow Graphs"

by Filippo Bonchi

Sat, 27 June 2015 at 11:30 am in Nijmegen, The Netherlands

Joint work with: Pawel Sobocinski, Fabio Zanasi

Abstract: Signal flow graphs are classical structures in control theory, signal processing and a cornerstone in the study of feedback. Usually they are considered at an intuitive level and then translated into systems of linear equations. In this talk, we introduce the signal flow calculus, a formalism where signal flow graphs are first class objects. We introduce its graphical syntax (given in terms of string diagrams), a structural operational semantics (that makes it similar to a process calculus) and a denotational semantics (in terms of subspaces of streams). We then relate the operational and the denotational semantics by a full abstraction result.

Slides