Small-Gain Theorem and ℒ2-gain Computation in Large using Koopman Spectrum | IEEE Conference Publication | IEEE Xplore