Bistritz stability criterion

In signal processing and control theory, the Bistritz criterion is a simple method to determine whether a discrete, linear, time-invariant (LTI) system is stable proposed by Yuval Bistritz.

[1][2] Stability of a discrete LTI system requires that its characteristic polynomial (obtained from its difference equation, its dynamic matrix, or appearing as the denominator of its transfer function) is a stable polynomial, where

is said to be stable if all its roots (zeros) are inside the unit circle, viz.

is stable algebraically (i.e. without numerical determination of the zeros).

The method also solves the full zero location (ZL) problem.

Namely, it can count the number of inside the unit-circle (IUC) zeros (

) and outside the unit-circle (OUC) zeros (

[1][2] The Bistritz test is the discrete equivalent of Routh criterion used to test stability of continuous LTI systems.

This title was introduced soon after its presentation.

[3] It has been also recognized to be more efficient than previously available stability tests for discrete systems like the Schur–Cohn and the Jury test.

[4] In the following, the focus is only on how to test stability of a real polynomial.

However, as long as the basic recursion needed to test stability remains valid, ZL rules are also brought.

Consider its reciprocal polynomial The algorithm assigns to

Write out the polynomials by their coefficients, symmetry means that so that it is enough to calculate for each polynomial only about half of the coefficients.

The recursion begins with two initial polynomials driven from the sum and difference of the tested polynomial and its reciprocal, then each subsequent polynomial of reduced degree is produced from the last two known polynomials.

do: The successful completion of the sequence with the above recursion requires

This means that, the tested polynomial can be declared as not stable as soon as a

It also follows that the above recursion is broad enough for testing stability because the polynomial can be declared as not stable before a division by zero is encountered.

If normal conditions hold then the complete sequence of symmetric polynomials is well defined.

Let denote the count of the number of sign variations in the indicated sequence.

More generally, if normal conditions hold then

Violation of various necessary conditions for stability may be used advantageously as early indications that the polynomial is not stable (has at least one UC or OUC zero).

, or a change of sign in the sequence of

Construct the sequence: Use their values at z = 1 to form All the entries in the sequence are positive for −4 < K < 22 (and for no K are they all negative).

Q2: Find ZL for K = 33 Var { 71, 11, −48, 11 } = 2 ⇒ 2 OUC, 1 IUC zeros.

Q3: Find ZL for K = −11 Var{ −14, 55, 144, 33 } = 1 ⇒ 1 OUC, 2 IUC zeros.

This is best observed when the Routh test is arranged appropriately into a corresponding three-term polynomial recursion.

(2) The Bistritz test uses three-term polynomial recursion that propagates polynomials with symmetry as opposed to previously available classical tests for discrete systems that propagate polynomials with no particular structure using a two-term recursion.

It stimulated the discovery of more algorithms in the area of digital signal processing (e.g. solving the linear prediction problem) and discrete systems (e.g. testing stability of higher-dimensional systems) collectively called "immittance" or "split" algorithms that adopted this technique to more efficient counterparts to also other classical so called "scattering" algorithms.

[5][6][7] The Bistritz test forms the "immittance" counterpart of the "scattering" type classical tests of Schur–Cohn and Jury.