Weighted canonical forms of nonlinear single-input control systems with noncontrollable linearization

We propose a weighted canonical form for single-input systems with noncontrollable first order approximation under the action of formal feedback transformations. This weighted canonical form is based on associating different weights to the linearly controllable and linearly noncontrollable parts of the system. We prove that two systems are formally feedback equivalent if and only if their weighted canonical forms coincide up to a diffeomorphism whose restriction to the linearly controllable part is identity.