  We obtain a discrete time analog of E. Noether's theorem in Optimal Control,
asserting that integrals of motion associated to the discrete time Pontryagin
Maximum Principle can be computed from the quasi-invariance properties of the
discrete time Lagrangian and discrete time control system. As corollaries,
results for first-order and higher-order discrete problems of the calculus of
variations are obtained.
