In this paper, we study second-order necessary optimality conditions for a discrete optimal control problem with nonconvex cost functions and state-control constraints. By establishing an abstract result on second-order necessary optimality conditions for a mathematical programming problem, we derive second-order necessary optimality conditions for a discrete optimal control problem.
