This paper is devoted to the study of the first-order behavior of the value function of a parametric discrete optimal control problem with nonconvex cost functions and control constraints. By establishing an abstract result on the Mordukhovich subdifferential of the value function of a...