This article extends results on regular implementablity in [3] and [8] to the case when the signal space is not an injective cogenerator, for instance, the space D of compactly supported smooth functions on Rn . In this case the bijective correspondence between behaviors and modules fails to hold; also projections and sums of behaviors need not in general be behaviors. A more general version of implementability is introduced and necessary and sufficient conditions are established for the implementability and regular implementability of a given desired behavior.
D. Napp Avelli, Shiva Shankar, Harry L. Trentelman