Many results are now available for output nulling, system inversion and dynamic input-output decoupling, each with its own set of regularity conditions. In this paper, we present a framework, based upon the canonical map from initial conditions and inputs to outputs, in which these regularity conditions can be reformulated and compared. As a byproduct, it is seen how to enlarge the class of systems for which an inverse system can be constructed.