The Nyquist Stability Criterion
Given the Nyquist map defined as:
The system will be robustly stable if and only if the image of the map does not contain the origin (provided that the encirclement condition is satisfied)