Vector fields and flows. Lie algebras and Lie groups. Distributions, submanifolds and foliations. Attainable sets. Control systems in manifolds (linear and nonlinear). Accessibility and controlability. Control system equivalence (by state transformations or feedback). Optimal control. Models of mechanical systems with interest in engineering.