Optimal Control, Level Set, Hamilton–Jacobi–Bellman Equation