Stream calculus as a common foundation for linear and non-linear systems,
Jan Rutten (CWI and VU, Amsterdam)

We shall give a final coalgebra semantics for discrete-time causal linear systems in terms of a final Mealy-type coalgebra (consisting of so-called causal stream functions).
We'll compare this approach to the classic one (due to Kalman in the sixties) and show that the coalgebraic perspective has certain advantages, which are to do with generality (the class of linear systems we treat is mildly more general than in the classical case), simplicity (due to a systematic use of streams and stream derivatives), and unification (linear and non-linear systems are treated the same).