Nonlinear hybrid reachability using set integration and zonotopic enclosures | IEEE Conference Publication | IEEE Xplore