Discretization of constrained Hamilton Jacobi systems