Global realizations of analytic input-output mappings

A condition is presented for the existence and the uniqueness of a global minimal analytic realization of a nonlinear analytic input-output mapping, when the latter is defined on an open subset of the semigroup of the inputs defined for positive times. The state space of this realization is exhibited as a quotient space of a Riemann surface on a Lie group.