Small-gain theorem

In nonlinear systems, the formalism of input-output stability is an important tool in studying the stability of interconnected systems since the gain of a system directly relates to how the norm of a signal increases or decreases as it passes through the system. The small-gain theorem gives a sufficient condition for finite-gain stability of the feedback connection. The small gain theorem was proved by George Zames in 1966. It can be seen as a generalization of the Nyquist criterion to non-linear time-varying MIMO systems.
Theorem. Assume two stable systems and are connected in a feedback loop, then the closed loop system is input-output stable if and both and are stable by themselves..
A complementing result due to Georgiou, Khammash and Megretski, referred to as the large-gain theorem, quantifies the minimum loop-gain needed to stabilize an unstable, possibly nonlinear and time-varying, plant; the minimum loop-gain being 1.