Key points are not available for this paper at this time.
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.
Héctor J. Sussmann (Thu,) studied this question.