Input-to-state stabilization of switched nonlinear systems | IEEE Journals & Magazine | IEEE Xplore