On the Linearization of Nonlinear Control Systems and Exact Reachability

The author studies the problem of exact local reachability of infinite dimensional nonlinear control systems. The main result shows that the exact local reachability of a linearized system implies that of the original system. The main tool is an inverse map ping theorem for a map from a complete metric space to a reflexive Banach space