3.5.43 · D3Guidance, Navigation & Control (GNC)

Worked examples — Nyquist stability criterion — encirclements of −1

3,183 words14 min readBack to topic

This is the "grind through every case" page for the parent Nyquist note. If a symbol here feels unfamiliar, the parent note builds it from scratch — we assume you know that and why is the danger point. Our job now: hit every scenario class so no exam problem surprises you.


The scenario matrix

Here = RHP open-loop poles, = clockwise encirclements of , = RHP closed-loop poles (unstable iff ).

Cell Plot behaviour near Result Example
A never wraps stable Ex 1
B , all poles LHP high gain wraps CW twice unstable Ex 2
C (integrator) tangent — passes through boundary marginal Ex 3
D one counter-clockwise wrap stable Ex 4 (high gain)
E no wrap unstable Ex 4 (low gain)
F , pole at integrator → indent contour (mechanics) sets up B/C Ex 5
G limiting endpoints ; no finite crossing stable (read the ends) Ex 6
H degenerate pure gain, single point trivially stable Ex 7
I (integrator) real-world GNC autopilot, no finite crossing stable for all Ex 8
J or same plot, one CW wrap depends on Ex 9

We now walk cells A→J.


Example 2 uses the integrator mechanics from Example 5

Because Example 2 and Example 3 both use (which has an integrator pole at ), we present Example 5 first is not necessary — but Example 2's Step 1 below is written to be self-contained: it derives on the spot and points to Ex 5 only for the picture.


Example 1 — Cell A: , no wrap → stable

Step 1 — Find . Why this step? needs first. Poles solve , both LHP. So .

Step 2 — Evaluate the two endpoints of the curve. Why this step? The start () and end () frame where the plot lives. As , two poles each contribute of phase, so phase and magnitude : the plot dies into the origin from below.

Step 3 — Trace the shape (see figure). Why this step? We need the leftmost real-axis crossing to compare with . The curve starts at , swings through the fourth quadrant, and returns to .

Figure — Nyquist stability criterion — encirclements of −1
What to observe: the blue curve starts at (green dot), loops clockwise through the lower half-plane, and dies at the origin. The red ✗ at sits far to the left of every point on the blue curve — it is never surrounded.

Step 4 — Count and compute . The red point is never enclosed, so . Then stable.

Recall Verify

The closed-loop denominator is . Roots of : — both LHP. confirmed. ✓


Example 2 — Cell B: , gain too high → two CW wraps

Step 1 — Find (self-contained). Why this step? needs , and there is a pole exactly on the imaginary axis at , so we must decide whether it counts. The Nyquist contour hugs the -axis but must enclose only the RHP. We deform it with a tiny semicircle that bulges into the RHP around , so the pole is left just outside the enclosed region. Therefore the pole is not an RHP pole for our count: the enclosed poles are none of , giving . (Ex 5 draws this indentation; the algebra of needs nothing beyond this paragraph.)

Step 2 — Derive and find where it is zero. Why this step? A negative-real-axis crossing happens exactly where the imaginary part of is zero and the real part is negative — that is the phase condition, and its location decides if is enclosed. Substitute and expand the denominator: Collecting real and imaginary parts of the denominator: Then The imaginary part of vanishes when its numerator's imaginary part is zero:

Step 3 — Evaluate the crossing magnitude. Why this step? We now know where () the curve hits the real axis; we need how far left. At the imaginary part is gone, so is purely the real part: So the crossing sits at on the negative real axis (real part negative ✓ — a true crossing).

Step 4 — Compare to and count (see figure). For : crossing at , which is left of , so is enclosed.

Figure — Nyquist stability criterion — encirclements of −1
What to observe: the finite blue curve crosses the real axis at (left of the red ✗ at ). The huge orange arc is the image of the tiny right-indentation around (Ex 5): as sweeps near , traces a giant clockwise arc that, together with the finite lobe, wraps twice clockwise. Follow the orange direction arrows: the point is circled once by the big arc and once by the returning lobe → .

Step 5 — Compute . unstable, two RHP poles.

Recall Verify

. Routh test: for , the row entry is ; with this is → two sign changes → 2 RHP roots. Matches . ✓


Example 3 — Cell C: critical gain, tangent to

Step 1 — Set the crossing equal to . Why this step? Marginal stability = curve passes through the danger point. From Ex 2 Step 3 the crossing is at :

Step 2 — Interpret. Why this step? We translate the geometric threshold into stable/unstable ranges. For the crossing is right of stable. For unstable. At the plot grazes : two closed-loop poles sit on the imaginary axis (sustained oscillation).

Recall Verify

At : . Pure imaginary roots at → marginal, oscillation frequency (matches the crossing frequency from Ex 2). ✓


Example 4 — Cells D & E: unstable plant, one CCW wrap needed

Step 1 — Confirm . Why this step? The whole verdict hinges on . Pole at is in the RHP → .

Step 2 — Write explicitly. Why this step? We need the actual curve to see the wrap. Multiply top and bottom by the conjugate:

Step 3 — Endpoints. Why this step? The two ends pin down the circle. At : (negative real axis). As : . The full curve is a circle through and the origin (see figure).

Figure — Nyquist stability criterion — encirclements of −1
What to observe: the orange circle passes through (green dot) at and shrinks to the origin as . The direction arrow shows the counter-clockwise sweep, and the red ✗ at sits inside the circle — so it is wrapped exactly once CCW.

Step 4 — Where is ? Why this step? Enclosure of is decided by comparing with . If , then , so lies inside the circle → encircled once, and the traverse direction makes it counter-clockwise: . Then stable (Cell D). If , then is outside, unstable (Cell E).

Recall Verify

. Stable iff iff . Boundary at (pole at origin). Matches the geometric threshold. ✓


Example 5 — Cell F: integrator, indent the contour

Step 1 — Indent to the right. Why this step? The Nyquist contour must enclose only the RHP. We deform it with a tiny semicircle of radius bulging into the RHP around , keeping the pole outside the enclosed region. Hence it is not counted in : .

Step 2 — Map the small semicircle. Why this step? We must know what that tiny detour becomes on the -plot, because it contributes the big arc that helps wrap . On it with running . Then — a large arc of radius , sweeping (clockwise). See figure.

Figure — Nyquist stability criterion — encirclements of −1
What to observe: the blue contour runs up the -axis but makes a small right-hand bump (green) around the red ✗ pole at , keeping it outside. In the -plane this tiny bump balloons into the giant clockwise arc seen in Ex 2's figure.

Step 3 — Consequence. Why this step? This closes the plot consistently so the encirclement count is well-defined. This giant clockwise arc is what closes the plot at infinity and lets us count wraps of consistently (used in Ex 2 & 3).

Recall Verify

With the indentation, the enclosed RHP contains poles ? No — those are LHP. Contains ? No — excluded by the bump. So , confirming the count used in Ex 2 () and Ex 3 (boundary at ). ✓ (both cross-checked by Routh above.)


Example 6 — Cell G: reading the limiting endpoints

Step 1 — endpoint. Why this step? The start of the curve fixes one anchor. on the real axis.

Step 2 — endpoint. Why this step? The end fixes the other anchor. Magnitude , phase : approaches origin from the negative-real side.

Step 3 — Derive and solve for a crossing. Why this step? A finite negative-real crossing requires at a finite ; let us test that algebraically rather than guess. Expand: So This is zero only at (where , on the positive axis) and in the limit (where ). There is no finite giving a negative-real crossing. As a spot-check, at : — purely imaginary, not on the real axis.

Step 4 — Conclusion. Why this step? We convert "no finite crossing" into an encirclement count. Since the curve only touches the negative real axis in the limit at the origin, it can never enclose for this : , , → unconditionally stable.

Recall Verify

— both LHP. . And . ✓


Example 7 — Cell H: degenerate pure-gain plant

Step 1 — Poles? Why this step? comes from poles, and here there are none → . The Nyquist "plot" is a single point at (same for all ).

Step 2 — Encircle ? Why this step? A single point has no winding. It cannot wrap around anything → : always "stable" in the encirclement sense.

Step 3 — Check the actual closed-loop pole. Why this step? Encirclement bookkeeping should agree with the algebra. there is a closed-loop pole only if (then identically — degenerate). For the loop gain is just , a static number — no pole to destabilize.

Step 4 — Edge case . Why this step? Every case must be covered, including the degenerate singular one. Denominator everywhere: the transfer function is undefined (division by zero at all ). This is the degenerate "sits exactly on " limit.

Recall Verify

is the only special value. For any , closed-loop static gain , finite → stable. ✓


Example 8 — Cell I: real-world GNC autopilot

Step 1 — Poles. Why this step? Fix before anything else. (indent, not counted) and . .

Step 2 — Phase at finite . Why this step? A finite negative-real crossing requires phase at finite ; let us test it. This reaches only as , where . So the plot's negative-real crossing is at the origin — never at a finite point left of it.

Step 3 — Conclusion. Why this step? Turn "no finite crossing" into the count. is never enclosed for any : , . The loop is stable for all positive gain — a classic type-1 second-order shape.

Step 4 — Sanity via characteristic eq. Why this step? Cross-check the encirclement verdict with the algebra. has roots ; real part for all (complex when , still stable). So the "largest stable " is unbounded — the design limit comes from margins/noise, not encirclement (see Stability Margins in GNC Loops and Bode Plot & Gain/Phase Margins).

Recall Verify

: sum of roots , product ⇒ both roots LHP for every (Routh: all coefficients positive, second-order ⇒ stable). ✓


Example 9 — Cell J: exam twist — same plot, two different

Step 1 — Apply for student A. Why this step? Plug the given and each claimed into the master formula. one unstable pole → unstable.

Step 2 — Apply for student B. Why this step? Same formula, different . three unstable poles → very unstable.

Step 3 — Twist resolved. Why this step? Show that the number of unstable poles, not just the yes/no, depends on . Neither reading is stable here, but differs. To make a plant stable you'd need (two CCW wraps). A single CW wrap () can never stabilize any plant.

Step 4 — General rule. Why this step? Extract the reusable law. Stable requires . Only (net CCW) can rescue an unstable plant; always adds instability.

Recall Verify

; . Stability requires ; neither is . ✓


Recall

Recall Quick self-test

First thing to compute in any Nyquist problem? ::: — the number of RHP open-loop poles. Ex 2 critical gain of ? ::: (crossing at ). Ex 4: threshold gain for ? ::: ; stable for . Why is always stable? ::: Its only at (positive axis) and (magnitude zero) — the curve never crosses the negative real axis, so is never enclosed. Same plot (), does change the answer? ::: Yes — , so (and thus how unstable) depends on .


Connections

  • Argument Principle (Cauchy) — why counting wraps counts poles.
  • Routh–Hurwitz Criterion — the algebra behind every "Verify" here.
  • Root Locus — watch the closed-loop poles move as grows (Ex 2, 3).
  • Bode Plot & Gain/Phase Margins — Ex 8's "how much " question lives here.
  • Feedback Control Basics — origin of .
  • Stability Margins in GNC Loops — the applied autopilot design (Ex 8).