Steady-State Error, Static Error Constants & System Type

Steady-state error is determined by the low-frequency structure of a stable closed loop. System type counts uncancelled open-loop integrators and predicts which polynomial references have zero finite error, while disturbance location, nonunity sensing, saturation, leakage, and hidden cancellations set the real boundary.

For unity negative feedback, error is

E(s)=R(s)1+L(s)=S(s)R(s).E(s)=\frac{R(s)}{1+L(s)}=S(s)R(s).

The final-value theorem can calculate steady error only when every pole of sE(s)sE(s) lies in the open left half-plane, except any pole removed by the multiplication by ss. Applying it to an unstable or oscillatory closed loop can produce a finite-looking number that is not a limit.

System type and polynomial tracking errorThree rows show type zero, one, and two loops against step, ramp, and parabolic references. Cells indicate finite, zero, or unbounded steady error, and integrator counts are shown. loop typesteprampparabola type 0no integratorfiniteunboundedunbounded type 1one integratorzerofiniteunbounded type 2two integratorszerozerofiniteclassification assumes a stable loop, uncancelled integrators, and sufficient actuator authority

Each integrator embeds one additional polynomial order in the loop. This structural benefit is conditional on closed-loop stability and available actuator authority.

Static error constants #

For a stable unity-feedback loop, define

Kp=lim⁡s→0L(s),Kv=lim⁡s→0sL(s),Ka=lim⁡s→0s2L(s).K_p=\lim_{s\to0}L(s),\qquad K_v=\lim_{s\to0}sL(s),\qquad K_a=\lim_{s\to0}s^2L(s).

Then, for unit-amplitude standard inputs:

ess,step=11+Kp,ess,ramp=1Kv,ess,parabola=1Ka,e_{ss,step}=\frac{1}{1+K_p},\qquad e_{ss,ramp}=\frac{1}{K_v},\qquad e_{ss,parabola}=\frac{1}{K_a},

with 1/∞=01/\infty=0 and 1/0=∞1/0=\infty in the ideal classification.

For amplitude AA or ramp slope vv, scale the result accordingly. For a parabolic input written r(t)=12at2r(t)=\tfrac12at^2, steady error is a/Kaa/K_a.

System type #

System type is the number of uncancelled poles at the origin in L(s)L(s).

Type Step error Ramp error Parabolic error
0 finite 1/(1+Kp)1/(1+K_p) unbounded unbounded
1 zero finite 1/Kv1/K_v unbounded
2 zero zero finite 1/Ka1/K_a

This table assumes the corresponding closed loop is stable. Adding integrators raises low-frequency gain and improves polynomial tracking, but also adds phase lag, state, windup exposure, and possibly slow transients.

Do not count a pole at the origin that is exactly cancelled in the loop expression. More importantly, do not rely on cancellation of an unstable or marginal plant mode: model error restores it and can destroy internal stability.

Derivation for polynomial inputs #

Suppose near the origin

L(s)∼Ksq.L(s)\sim\frac{K}{s^q}.

For a degree-mm polynomial reference, R(s)∝1/sm+1R(s)\propto1/s^{m+1}. Then

sE(s)=sR(s)1+L(s)∼s s−(m+1)Ks−q=1Ksq−m.sE(s)=s\frac{R(s)}{1+L(s)}\sim \frac{s\,s^{-(m+1)}}{K s^{-q}}=\frac{1}{K}s^{q-m}.

The final value is zero if q>mq>m, finite if q=mq=m, and divergent if q<mq<m. This is the low-order SISO form of the internal model principle: exact asymptotic tracking requires the closed loop to contain the dynamics that generate the reference.

Disturbance location changes the result #

For an input disturbance did_i added before plant PP,

YDi=P1+PC.\frac{Y}{D_i}=\frac{P}{1+PC}.

For an output disturbance dod_o added after the plant,

YDo=11+PC.\frac{Y}{D_o}=\frac{1}{1+PC}.

An integrator in CC can reject constant disturbances in many common configurations, but the exact error and required controller structure depend on where the disturbance enters and whether it is matched to the control channel. Derive the path instead of applying the reference-error table blindly.

Nonunity feedback and calibration #

With sensor H(s)H(s), the comparator error is e=r−Hye=r-Hy, not necessarily the physical tracking error r−yr-y. A loop can drive e→0e\to0 while y→r/H(0)y\to r/H(0). Sensor scale, bias, units, and reference prefilter must be part of the equations.

Similarly, a controller bias can hold a nonzero actuator command at zero error. A proportional controller without bias may require nonzero error to generate the equilibrium input. Integral state can learn that bias, but a feedforward equilibrium model may provide it immediately and reduce windup.

Practical integrators are conditional #

Real implementations include:

  • saturation and anti-windup logic;
  • leakage or reset that moves the pole away from exactly s=0s=0;
  • finite precision and deadband;
  • limited sensor resolution and bias;
  • mode transitions and state initialization;
  • disturbances that vary rather than remain constant.

With leaky integral action Ki/(s+ϵ)K_i/(s+\epsilon), DC gain is large but finite, so exact zero error becomes small finite error. That can be a deliberate robustness tradeoff, but it should be stated rather than described as an ideal integrator.

Error versus control authority #

The final-value theorem assumes the required equilibrium input exists. If a heater is at maximum power or a valve cannot supply the required flow, the integrator can grow while the output remains below reference. Zero-error algebra does not create energy or actuator range.

Before promising zero steady error:

  1. solve the plant equilibrium for the required ussu_{ss};
  2. confirm magnitude and rate limits with margin;
  3. establish closed-loop stability including delay;
  4. identify the reference/disturbance signal class;
  5. verify sensor bias and scaling;
  6. test saturation, leakage, quantization, and mode transfer.

System type is a structural prediction under assumptions. Those assumptions are the engineering work.

Sources

  1. bookTheory of Automatic Control: Lecture Notespdfnotes
  2. bookFeedback Systems: An Introduction for Scientists and Engineers, 2nd Editionpdfnotes
  3. docsMIT OCW 6.302 Recitation 6: Steady-State Errors

Searches titles, aliases, headings, summaries, and full text.↑↓ move ↵ open esc close