Characterizations of Input-to-State Stability for systems with multiple invariant sets - Angeli, D; Efimov, D (IEEE Transactions on Automatic Control, 2015)