Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming | IEEE Journals & Magazine | IEEE Xplore