Stream calculus as a common foundation for linear and
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
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).