Nyquist stability criterion

Last updated

The Nyquist plot for
G
(
s
)
=
1
s
2
+
s
+
1
{\displaystyle G(s)={\frac {1}{s^{2}+s+1}}}
with
s
=
j
w
{\displaystyle s=jw}
. Nyquist example.svg
The Nyquist plot for with .

In control theory and stability theory, the Nyquist stability criterion or Strecker–Nyquist stability criterion, independently discovered by the German electrical engineer Felix Strecker  [ de ] at Siemens in 1930 [1] [2] [3] and the Swedish-American electrical engineer Harry Nyquist at Bell Telephone Laboratories in 1932, [4] is a graphical technique for determining the stability of a dynamical system. Because it only looks at the Nyquist plot of the open loop systems, it can be applied without explicitly computing the poles and zeros of either the closed-loop or open-loop system (although the number of each type of right-half-plane singularities must be known). As a result, it can be applied to systems defined by non-rational functions, such as systems with delays. In contrast to Bode plots, it can handle transfer functions with right half-plane singularities. In addition, there is a natural generalization to more complex systems with multiple inputs and multiple outputs, such as control systems for airplanes.

Contents

The Nyquist criterion is widely used in electronics and control system engineering, as well as other fields, for designing and analyzing systems with feedback. While Nyquist is one of the most general stability tests, it is still restricted to linear time-invariant (LTI) systems. Non-linear systems must use more complex stability criteria, such as Lyapunov or the circle criterion. While Nyquist is a graphical technique, it only provides a limited amount of intuition for why a system is stable or unstable, or how to modify an unstable system to be stable. Techniques like Bode plots, while less general, are sometimes a more useful design tool.

Nyquist plot

A Nyquist plot. Although the frequencies are not indicated on the curve, it can be inferred that the zero-frequency point is on the right, and the curve spirals toward the origin at high frequency. This is because gain at zero frequency must be purely real (on the X-axis) and is commonly non-zero, while most physical processes have some amount of low-pass filtering, so the high-frequency response is zero. Nyquist plot.svg
A Nyquist plot. Although the frequencies are not indicated on the curve, it can be inferred that the zero-frequency point is on the right, and the curve spirals toward the origin at high frequency. This is because gain at zero frequency must be purely real (on the X-axis) and is commonly non-zero, while most physical processes have some amount of low-pass filtering, so the high-frequency response is zero.

A Nyquist plot is a parametric plot of a frequency response used in automatic control and signal processing. The most common use of Nyquist plots is for assessing the stability of a system with feedback. In Cartesian coordinates, the real part of the transfer function is plotted on the X-axis. The imaginary part is plotted on the Y-axis. The frequency is swept as a parameter, resulting in a plot per frequency. The same plot can be described using polar coordinates, where gain of the transfer function is the radial coordinate, and the phase of the transfer function is the corresponding angular coordinate. The Nyquist plot is named after Harry Nyquist, a former engineer at Bell Laboratories.

Assessment of the stability of a closed-loop negative feedback system is done by applying the Nyquist stability criterion to the Nyquist plot of the open-loop system (i.e. the same system without its feedback loop). This method is easily applicable even for systems with delays and other non-rational transfer functions, which may appear difficult to analyze with other methods. Stability is determined by looking at the number of encirclements of the point (−1, 0). The range of gains over which the system will be stable can be determined by looking at crossings of the real axis.

The Nyquist plot can provide some information about the shape of the transfer function. For instance, the plot provides information on the difference between the number of zeros and poles of the transfer function [5] by the angle at which the curve approaches the origin.

When drawn by hand, a cartoon version of the Nyquist plot is sometimes used, which shows the linearity of the curve, but where coordinates are distorted to show more detail in regions of interest. When plotted computationally, one needs to be careful to cover all frequencies of interest. This typically means that the parameter is swept logarithmically, in order to cover a wide range of values.

Background

We consider a system whose transfer function is ; when placed in a closed loop with negative feedback , the closed loop transfer function (CLTF) then becomes . Stability can be determined by examining the roots of the desensitivity factor polynomial , e.g. using the Routh array, but this method is somewhat tedious. Conclusions can also be reached by examining the open loop transfer function (OLTF) , using its Bode plots or, as here, its polar plot using the Nyquist criterion, as follows.

Any Laplace domain transfer function can be expressed as the ratio of two polynomials:

The roots of are called the zeros of , and the roots of are the poles of . The poles of are also said to be the roots of the characteristic equation.

The stability of is determined by the values of its poles: for stability, the real part of every pole must be negative. If is formed by closing a negative unity feedback loop around the open-loop transfer function , then the roots of the characteristic equation are also the zeros of , or simply the roots of .

Cauchy's argument principle

From complex analysis, a contour drawn in the complex plane, encompassing but not passing through any number of zeros and poles of a function , can be mapped to another plane (named plane) by the function . Precisely, each complex point in the contour is mapped to the point in the new plane yielding a new contour.

The Nyquist plot of , which is the contour will encircle the point of the plane times, where by Cauchy's argument principle. Here and are, respectively, the number of zeros of and poles of inside the contour . Note that we count encirclements in the plane in the same sense as the contour and that encirclements in the opposite direction are negative encirclements. That is, we consider clockwise encirclements to be positive and counterclockwise encirclements to be negative.

Instead of Cauchy's argument principle, the original paper by Harry Nyquist in 1932 uses a less elegant approach. The approach explained here is similar to the approach used by Leroy MacColl (Fundamental theory of servomechanisms 1945) or by Hendrik Bode (Network analysis and feedback amplifier design 1945), both of whom also worked for Bell Laboratories. This approach appears in most modern textbooks on control theory.

The Nyquist criterion

We first construct the Nyquist contour, a contour that encompasses the right-half of the complex plane:

The Nyquist contour mapped through the function yields a plot of in the complex plane. By the argument principle, the number of clockwise encirclements of the origin must be the number of zeros of in the right-half complex plane minus the number of poles of in the right-half complex plane. If instead, the contour is mapped through the open-loop transfer function , the result is the Nyquist Plot of . By counting the resulting contour's encirclements of −1, we find the difference between the number of poles and zeros in the right-half complex plane of . Recalling that the zeros of are the poles of the closed-loop system, and noting that the poles of are same as the poles of , we now state the Nyquist Criterion:

Given a Nyquist contour , let be the number of poles of encircled by , and be the number of zeros of encircled by . Alternatively, and more importantly, if is the number of poles of the closed loop system in the right half plane, and is the number of poles of the open-loop transfer function in the right half plane, the resultant contour in the -plane, shall encircle (clockwise) the point times such that .

If the system is originally open-loop unstable, feedback is necessary to stabilize the system. Right-half-plane (RHP) poles represent that instability. For closed-loop stability of a system, the number of closed-loop roots in the right half of the s-plane must be zero. Hence, the number of counter-clockwise encirclements about must be equal to the number of open-loop poles in the RHP. Any clockwise encirclements of the critical point by the open-loop frequency response (when judged from low frequency to high frequency) would indicate that the feedback control system would be destabilizing if the loop were closed. (Using RHP zeros to "cancel out" RHP poles does not remove the instability, but rather ensures that the system will remain unstable even in the presence of feedback, since the closed-loop roots travel between open-loop poles and zeros in the presence of feedback. In fact, the RHP zero can make the unstable pole unobservable and therefore not stabilizable through feedback.)

The Nyquist criterion for systems with poles on the imaginary axis

The above consideration was conducted with an assumption that the open-loop transfer function does not have any pole on the imaginary axis (i.e. poles of the form ). This results from the requirement of the argument principle that the contour cannot pass through any pole of the mapping function. The most common case are systems with integrators (poles at zero).

To be able to analyze systems with poles on the imaginary axis, the Nyquist Contour can be modified to avoid passing through the point . One way to do it is to construct a semicircular arc with radius around , that starts at and travels anticlockwise to . Such a modification implies that the phasor travels along an arc of infinite radius by , where is the multiplicity of the pole on the imaginary axis.

Mathematical derivation

A unity negative feedback system G with scalar gain denoted by K A unity feedback system G with gain K.png
A unity negative feedback system G with scalar gain denoted by K

Our goal is to, through this process, check for the stability of the transfer function of our unity feedback system with gain k, which is given by

That is, we would like to check whether the characteristic equation of the above transfer function, given by

has zeros outside the open left-half-plane (commonly initialized as OLHP).

We suppose that we have a clockwise (i.e. negatively oriented) contour enclosing the right half plane, with indentations as needed to avoid passing through zeros or poles of the function . Cauchy's argument principle states that

Where denotes the number of zeros of enclosed by the contour and denotes the number of poles of by the same contour. Rearranging, we have , which is to say

We then note that has exactly the same poles as . Thus, we may find by counting the poles of that appear within the contour, that is, within the open right half plane (ORHP).

We will now rearrange the above integral via substitution. That is, setting , we have

We then make a further substitution, setting . This gives us

We now note that gives us the image of our contour under , which is to say our Nyquist plot. We may further reduce the integral

by applying Cauchy's integral formula. In fact, we find that the above integral corresponds precisely to the number of times the Nyquist plot encircles the point clockwise. Thus, we may finally state that

We thus find that as defined above corresponds to a stable unity-feedback system when , as evaluated above, is equal to 0.

Summary

See also

Related Research Articles

Control theory deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a desired state, while minimizing any delay, overshoot, or steady-state error and ensuring a level of control stability; often with the aim to achieve a degree of optimality.

Gamma function Extension of the factorial function

In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For any positive integer n,

Holomorphic function Complex functions differentiable everywhere on their domains

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is, at every point of its domain, complex differentiable in a neighborhood of the point. The existence of a complex derivative in a neighbourhood is a very strong condition, for it implies that any holomorphic function is actually infinitely differentiable and equal, locally, to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

Polar coordinate system Two-dimensional coordinate system where each point is determined by a distance from reference point and an angle from a reference direction

In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point is called the pole, and the ray from the pole in the reference direction is the polar axis. The distance from the pole is called the radial coordinate, radial distance or simply radius, and the angle is called the angular coordinate, polar angle, or azimuth. The radial coordinate is often denoted by r or ρ, and the angular coordinate by φ, θ, or t. Angles in polar notation are generally expressed in either degrees or radians.

Residue theorem Concept of complex analysis

In complex analysis, a discipline within mathematics, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well. It generalizes the Cauchy integral theorem and Cauchy's integral formula. From a geometrical perspective, it can be seen as a special case of the generalized Stokes' theorem.

Zeros and poles Concept in complex analysis

In complex analysis, a pole is a certain type of singularity of a function, nearby which the function behaves relatively regularly, in contrast to essential singularities, such as 0 for the logarithm function, and branch points, such as 0 for the complex square root function.

Winding number Number of times a curve wraps around a point in the plane

In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point. The winding number depends on the orientation of the curve, and is negative if the curve travels around the point clockwise.

Bode plot

In electrical engineering and control theory, a Bode plot is a graph of the frequency response of a system. It is usually a combination of a Bode magnitude plot, expressing the magnitude of the frequency response, and a Bode phase plot, expressing the phase shift.

Complex plane Geometric representation of the complex numbers

In mathematics, the complex plane or z-plane is the plane associated with complex coordinate system, formed or established by the real axis and the perpendicular imaginary axis. It can be thought of as a modified Cartesian plane, with the real part of a complex number represented by a displacement along the x-axis, and the imaginary part by a displacement along the y-axis.

In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of modular forms therefore belongs to complex analysis but the main importance of the theory has traditionally been in its connections with number theory. Modular forms appear in other areas, such as algebraic topology, sphere packing, and string theory.

Chebyshev filters are analog or digital filters having a steeper roll-off than Butterworth filters, and have passband ripple or stopband ripple. Chebyshev filters have the property that they minimize the error between the idealized and the actual filter characteristic over the range of the filter, but with ripples in the passband. This type of filter is named after Pafnuty Chebyshev because its mathematical characteristics are derived from Chebyshev polynomials. Type I Chebyshev filters are usually referred to as "Chebyshev filters", while type II filters are usually called "inverse Chebyshev filters".

Root locus

In control theory and stability theory, root locus analysis is a graphical method for examining how the roots of a system change with variation of a certain system parameter, commonly a gain within a feedback system. This is a technique used as a stability criterion in the field of classical control theory developed by Walter R. Evans which can determine stability of the system. The root locus plots the poles of the closed loop transfer function in the complex s-plane as a function of a gain parameter.

Argument principle

In complex analysis, the argument principle relates the difference between the number of zeros and poles of a meromorphic function to a contour integral of the function's logarithmic derivative.

Hankel contour

In mathematics, a Hankel contour is a path in the complex plane which extends from (+∞,δ), around the origin counter clockwise and back to (+∞,−δ), where δ is an arbitrarily small positive number. The contour thus remains arbitrarily close to the real axis but without crossing the real axis except for negative values of x. The Hankel contour can also be represented by a path that has mirror images just above and below the real axis, connected to a circle of radius ε, centered at the origin, where ε is an arbitrarily small number. The two linear portions of the contour are said to be a distance of δ from the real axis. Thus, the total distance between the linear portions of the contour is 2δ. The contour is traversed in the positively-oriented sense, meaning that the circle around the origin is traversed counter-clockwise.

Nichols plot

The Nichols plot is a plot used in signal processing and control design, named after American engineer Nathaniel B. Nichols.

In mathematics, the Nørlund–Rice integral, sometimes called Rice's method, relates the nth forward difference of a function to a line integral on the complex plane. It commonly appears in the theory of finite differences and has also been applied in computer science and graph theory to estimate binary tree lengths. It is named in honour of Niels Erik Nørlund and Stephen O. Rice. Nørlund's contribution was to define the integral; Rice's contribution was to demonstrate its utility by applying saddle-point techniques to its evaluation.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

Iso-damping is a desirable system property referring to a state where the open-loop phase Bode plot is flat—i.e., the phase derivative with respect to the frequency is zero, at a given frequency called the "tangent frequency", . At the "tangent frequency" the Nyquist curve of the open-loop system tangentially touches the sensitivity circle and the phase Bode is locally flat which implies that the system will be more robust to gain variations. For systems that exhibit iso-damping property, the overshoots of the closed-loop step responses will remain almost constant for different values of the controller gain. This will ensure that the closed-loop system is robust to gain variations.

Matched Z-transform method

The matched Z-transform method, also called the pole–zero mapping or pole–zero matching method, and abbreviated MPZ or MZT, is a technique for converting a continuous-time filter design to a discrete-time filter design.

Hall circles

Hall circles are a graphical tool in control theory used to obtain values of a closed-loop transfer function from the Nyquist plot of the associated open-loop transfer function. Hall circles have been introduced in control theory by Albert C. Hall in his thesis.

References

  1. Reinschke, Kurt (2014). "Chapter 4.3. Das Stabilitätskriterium von Strecker-Nyquist". Lineare Regelungs- und Steuerungstheorie (in German) (2 ed.). Springer-Verlag. p. 184. ISBN   978-3-64240960-8 . Retrieved 2019-06-14.
  2. Bissell, Christopher C. (2001). "Inventing the 'black box': mathematics as a neglected enabling technology in the history of communications engineering" (PDF). Archived (PDF) from the original on 2019-06-14. Retrieved 2019-06-14.
  3. Strecker, Felix (1947). Die elektrische Selbsterregung mit einer Theorie der aktiven Netzwerke (in German). Stuttgart, Germany: S. Hirzel Verlag  [ de ]. (NB. Earlier works can be found in the literature section.)
  4. Nyquist, Harry (January 1932). "Regeneration Theory". Bell System Technical Journal . USA: American Telephone and Telegraph Company (AT&T). 11 (1): 126–147. doi:10.1002/j.1538-7305.1932.tb02344.x.
  5. Nyquist Plots Archived 2008-09-30 at the Wayback Machine

Further reading