Invertibility of observable multivariable nonlinear systems

Based on the algorithm of Hirschorn [1] for obtaining inverses, sufficient conditions for invertibility of observable multivariable nonlinear systems are derived. For observable and invertible systems, a static left-inverse system is constructed. For certain noninvertible systems, the sufficient condition yields a characterization of input space on which the input-output map is injective.