Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
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