Lyapunov Conditions for Finite-Time Input-to-State Stability of Impulsive Switched Systems | IEEE Journals & Magazine | IEEE Xplore