In this paper, a deep-stall envelope computing method is developed based on reachability analysis technique by considering unsteady aerodynamic. The studied method has been verified via the ...