On the Noether theorem for optimal control

We obtain a generalization of E. Noether's theorem for the optimal control problems. The generalization involves a one-parameter family of smooth maps which may depend also on the control and a Lagrangian which is invariant up to an addition of an exact differential.