Nyquist Stability Criterion¶

Infer the number of unstable closed-loop poles from the winding of an open-loop frequency-response contour around the critical point, corrected by the known count of unstable open-loop poles.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2405
Origin domain: engineering
Subdomain: control theory
Aliases: Nyquist criterion, Strecker–Nyquist stability criterion, Nyquist test

Core Idea¶

For a single-loop linear time-invariant system with negative feedback and loop transfer function \(L(s)\), closed-loop poles are zeros of \(1+L(s)\). The Nyquist stability criterion maps a contour enclosing the unstable half-plane through \(L\) and uses the argument principle to infer how many zeros of \(1+L\) lie there from the winding of the image around the critical point \(-1\).^[1]

The winding count is combined with the known number of right-half-plane poles of \(L\). With orientation and sign conventions declared, closed-loop stability is exactly the condition that the resulting count of right-half-plane closed-loop poles is zero.^[2]

The recognition invariant is open-loop transfer function + unstable-region contour + critical point + winding number + pole-count correction + closed-loop stability verdict.

Structural Signature¶

A well-posed feedback interconnection.
A scalar LTI loop transfer function, or a declared generalized determinant/eigenvalue form.
Closed-loop characteristic equation \(1+L(s)=0\) under negative feedback.
A Nyquist contour enclosing the open right half-plane.
Indentations around imaginary-axis poles when required.
Mapping of the contour through \(L(s)\).
A critical point fixed by the feedback sign convention.
Oriented winding or encirclement count around that point.
Known open-loop unstable-pole count.
Argument-principle relation yielding the closed-loop unstable-pole count.
Zero unstable closed-loop poles as the stability condition.
Distance and crossing geometry optionally used for gain and phase margins.

What It Is Not¶

The criterion is not simply “the plot must avoid \(-1\).” Avoidance prevents a pole on the stability boundary, but the winding count and open-loop unstable poles determine stability. It is not a Bode plot, although Bode magnitude and phase are another representation of the same frequency response and can expose margins in common cases.^[3]

It does not by itself prove nonlinear global stability, handle an ill-posed interconnection, or remove the need to count unstable open-loop poles.

Scope of Application¶

Nyquist analysis applies to continuous-time LTI feedback systems, including rational plants, time-delay models, and open-loop unstable plants. Modified contours cover poles on the imaginary axis. Discrete-time versions use the unit circle after the appropriate mapping. Multivariable generalizations use determinants, characteristic loci, or related operator forms and require additional care.^[4]

The criterion answers stability; robustness design additionally interprets distance from the critical point, uncertainty sets, gain margin, and phase margin.

Clarity¶

State the feedback sign, contour orientation, definition of positive winding, inclusion of the infinite semicircle, treatment of boundary poles, and counts \(P\), \(N\), and \(Z\). Encirclement sign conventions differ across texts, so the argument-principle equation—not a memorized clockwise rule—must control the conclusion.

Manages Complexity¶

The method converts root-finding for a potentially high-order or delayed closed-loop characteristic equation into a topological count along a frequency contour. The winding number is stable under continuous deformations that do not cross the critical point, making qualitative robustness visible.

Abstract Reasoning¶

Form the loop transfer function and verify feedback well-posedness.
Count its poles in the unstable region.
Construct the correct Nyquist contour, indenting boundary singularities.
Map the complete oriented contour through \(L(s)\).
Count oriented windings about the convention-specific critical point.
Apply the argument principle to obtain the number of unstable closed-loop poles.
Declare stability only when that number is zero and boundary poles are excluded.
Read margins only after the stability count is correct.

Knowledge Transfer¶

The portable pattern is infer interior failures from boundary winding around a forbidden value, corrected for failures already present in the open system. The proposed immediate parent is Stability.

Examples¶

Stable open loop. With no right-half-plane open-loop poles, a Nyquist image producing the zero-winding requirement under the chosen convention yields no unstable closed-loop poles.

Unstable open loop. A plant with one unstable pole requires a compensating oriented encirclement; merely avoiding \(-1\) is insufficient.

Time delay. An exponential delay gives a nonrational transfer function, but its frequency response still traces a Nyquist locus suitable for the contour argument.

Structural Tensions¶

Open-loop data versus closed-loop conclusion.
Topological count versus geometric design intuition.
Convention invariance versus sign-sensitive diagrams.
Exact stability versus robustness margin.
Boundary singularities versus ordinary contour traversal.
Scalar simplicity versus multivariable generalization.

Structural–Framed Character¶

Boundary-to-interior counting and winding invariance are structural. Transfer functions, poles, frequency response, feedback sign, and right-half-plane stability are control-theory frame.

Structural Core vs. Domain Accent¶

The portable core is a topological certificate that counts enclosed failures without solving for them individually. The constitutive accent is applying the argument principle to the feedback characteristic \(1+L\).

Stability is the proposed immediate parent. Feedback, Winding Number, Boundary-to-Interior Inference, Robustness, Pole–Zero Structure, and Observability are related.

The prospective queue contains one strict edge to prime:stability. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Nyquist Stability Criterion Domain-specific

Parents (1) — more general patterns this builds on

Nyquist Stability Criterion is a kind of Stability Prime

Stability is the proposed immediate parent.

Hierarchy path (1) — routes to 1 parentless root

Nyquist Stability Criterion → Stability

Neighborhood in Abstraction Space¶

Nyquist Stability Criterion sits in a sparse region of the domain-specific corpus (96^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Nyquist sampling theorem.
Nyquist plot without a stability count.
Bode stability margins alone.
Routh–Hurwitz coefficient test.
Nonlinear global-stability certificate.
Avoiding the critical point without counting windings.

References¶

[1] Harry Nyquist, “Regeneration Theory,” Bell System Technical Journal 11, no. 1 (1932): 126–147, doi:10.1002/j.1538-7305.1932.tb02344.x. registry ↩

[2] Karl J. Åström and Richard M. Murray, Feedback Systems: An Introduction for Scientists and Engineers, 2^nd ed. (Princeton University Press, 2021), frequency-domain analysis chapters, https://fbsbook.org/. registry ↩

[3] John C. Doyle, Bruce A. Francis, and Allen R. Tannenbaum, Feedback Control Theory (Macmillan, 1992), chapters on loop shaping and the Nyquist criterion. registry ↩

[4] Kemin Zhou, John C. Doyle, and Keith Glover, Robust and Optimal Control (Prentice Hall, 1996), generalized Nyquist and robust-stability treatments. registry ↩