A Hamilton-Jacobi-Bellman approach for the optimal control of an abort landing problem | IEEE Conference Publication | IEEE Xplore