Lie Brackets and Local Controllability: A Sufficient Condition for Scalar-Input Systems

We develop a general formalism, based on exponential Lie series, which can be used to study control variations. We apply the formalism to prove a result, conjectured by H. Hermes, that gives a sufficient condition for small-time local controllability for single-input systems.