Hamilton-Jacobi-Bellman (HJB) equation