Discretizing dynamic programs

Discretizing certain discrete-time, uncountable-state dynamic programs such that the respective solutions to a sequence of discretized versions converge uniformly to the solution of the original problem is shown. Via a random perturbation device, we apply our general approach to a separable nonconvex program.