Efficient methods for flight envelope estimation through reachability analysis