This paper gives sufficient conditions for the invertibility of nonlinear control systems of the form

, where the state space is a real analytic manifold. These conditions are also necessary in the case of single-input nonlinear systems and multivariable time-invariant linear systems. For invertible systems we construct nonlinear inverse systems.