A fast method for solving guard set intersection in nonlinear hybrid reachability | IEEE Conference Publication | IEEE Xplore