Global transformations of nonlinear systems

Recent results have established necessary and sufficient conditions for a nonlinear system of the form \dot{x}(t) = f(x(t))-u(t)g(x(t)) . with f(0) = 0 , to be locally equivalent in a neighborhood of the origin in R n to a controllable linear system. We combine these results with several versions of the global inverse function theorem to prove sufficient conditions for the transformation of a nonlinear system to a linear system. In doing so we introduce a technique for constructing a transformation under the assumptions that {g\ldot[f\dotg],...,(ad^{n-1}f\ldotg)} span an n -dimensional space and that {g\ldot[f\ldot g],...,(ad^{n-2}f\ldotg)} is an involutive set.