Conditions for abstract nonlinear regulation

This paper studies the general problem of the existence of output (dynamic) stabilizers for a control system. The controller is not assumed to have any special structure. Necessary and sufficient conditions are given in terms of new notions which generalize the usual ones of stabilizability and detectability. In the particular cases of analytic and bilinear systems, these conditions are considerably simplified