Coalgebraic Foundations of Linear Systems

Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the final coalgebras of streams and causal stream functions.

• Type: Conference
• Year: 2007
• Where: CALCO
• Authors: Jan J. M. M. Rutten
• Keywords: CALCO 2007, Causal Stream Functions, Universal Constructions, Viewing Discrete-time Causal