Methods are presented for locally studying smooth nonlinear control systems on the manifold M. The technique of chronological calculus is intensively exploited. The concept of chronological connection is introduced and is used when obtaining the invariant expressions in the form of Lie bracket polynomials for high-order variations of a nonlinear control system. The theorem on adduction of a family of smooth vector fields to the canonical form proved in Section 4 is then applied to the construction of a nilpotent polynomial approximation for a control system. Finally, the relation between the attainable sets of an original system and an approximating one is established; it implies some conclusions on the local controllability of these systems.
Title: Local invariants of smooth control systems
Authors: A.A. Agrachev, A.V. Sarychev, R.V. Gamkrelidze
Journal title: Acta Appl. Math.