Sufficient conditions of local controllability

A C¿ control system of type x = fo(x) + ¿i=1 m ui fi(x) |ui| ¿ 1 is considered. Under the assumption fo (xo)=0, a sufficient condition of local controllability at xo is given. The condition generalizes the one given by Sussmann [10].