Coalgebraic Foundations of Linear Systems

13 years 10 months ago

Download homepages.cwi.nl

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

Jan J. M. M. Rutten

Real-time Traffic

CALCO 2007 | Causal Stream Functions | Universal Constructions | Viewing Discrete-time Causal |

claim paper

Related Content

» Complementation of Coalgebra Automata

» A Coalgebraic Perspective on Minimization and Determinization

» Rational streams coalgebraically

» A Sound and Complete Calculus for Finite Stream Circuits

» Generic Trace Theory

» Extended Linear Scan An Alternate Foundation for Global Register Allocation

» Byzantine broadcast in pointtopoint networks using local linear coding

» Mathematical Foundation for Hormoneinspired Control for Selfreconfigurable Robotic Systems

» Foundations for a Circuit Complexity Theory of Sensory Processing

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CALCO
Authors	Jan J. M. M. Rutten

Comments (0)

Sciweavers

Coalgebraic Foundations of Linear Systems

CALCO 2007 | Causal Stream Functions | Universal Constructions | Viewing Discrete-time Causal |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers