Robust maneuvering envelope estimation based on reachability analysis in an optimal control formulation | IEEE Conference Publication | IEEE Xplore