  We study local controllability and optimal control problems for invertible
discrete-time control systems. We present second order necessary conditions for
optimality and sufficient conditions for local controllability. The conditions
are stated in geometric terms, using vector fields naturally associated to the
system. The Hessian of the optimal problem is computed in terms of Lie brackets
of vector fields of the system.
