Duality for linear systems over rings

Abstract

Using categorical methods, a duality theory between reachability and observability is developed for linear systems over arbitrary rings. In particular, it is shown that a duality correspondence exists for systems with finitely generated R -modules as input, state and output modules if and only if R is a quasi-Frobenius ring.