Existence and Uniqueness of Realizations of Nonlinear Systems

Necessary and sufficient conditions for the existence of either analytic or smooth symmetric realizations of nonlinear input-output maps are given. It is also shown that two minimal realizations are diffeomorphic.