Rosenbrock's Theorem on System Matrices over Elementary Divisor Domains

Froilán Dopico, Vanni Noferini, Ion Zaballa

Rosenbrock's theorem on polynomial system matrices is a classical result in linear systems theory that relates the Smith-McMillan form of a rational matrix $G$ with the Smith forms…