Neural Network Control in Discrete-Time Using Hamilton-Jacobi-Bellman Formulation