Hamilton-Jacobi-Bellman equations