Hybridization for Stability Verification of Nonlinear Switched Systems | IEEE Conference Publication | IEEE Xplore