# Control Systems/Jurys Test

## Routh-Hurwitz in Digital Systems

[edit | edit source]Because of the differences in the Z and S domains, the Routh-Hurwitz criteria can not be used directly with digital systems. This is because digital systems and continuous-time systems have different regions of stability. However, there are some methods that we can use to analyze the stability of digital systems. Our first option (and arguably not a very good option) is to convert the digital system into a continuous-time representation using the **bilinear transform**. The bilinear transform converts an equation in the Z domain into an equation in the W domain, that has properties similar to the S domain. Another possibility is to use **Jury's Stability Test**. Jury's test is a procedure similar to the RH test, except it has been modified to analyze digital systems in the Z domain directly.

### Bilinear Transform

[edit | edit source]One common, but time-consuming, method of analyzing the stability of a digital system in the z-domain is to use the bilinear transform to convert the transfer function from the z-domain to the w-domain. The w-domain is similar to the s-domain in the following ways:

- Poles in the right-half plane are unstable
- Poles in the left-half plane are stable
- Poles on the imaginary axis are partially stable

The w-domain is warped with respect to the s domain, however, and except for the relative position of poles to the imaginary axis, they are not in the same places as they would be in the s-domain.

Remember, however, that the Routh-Hurwitz criterion can tell us whether a pole is unstable or not, and nothing else. Therefore, it doesn't matter where exactly the pole is, so long as it is in the correct half-plane. Since we know that stable poles are in the left-half of the w-plane and the s-plane, and that unstable poles are on the right-hand side of both planes, we can use the Routh-Hurwitz test on functions in the w domain exactly like we can use it on functions in the s-domain.

### Other Mappings

[edit | edit source]There are other methods for mapping an equation in the Z domain into an equation in the S domain, or a similar domain. We will discuss these different methods in the **Appendix**.

## Jury's Test

[edit | edit source]Jury's test is a test that is similar to the Routh-Hurwitz criterion, except that it can be used to analyze the stability of an LTI digital system in the Z domain. To use Jury's test to determine if a digital system is stable, we must check our z-domain characteristic equation against a number of specific rules and requirements. If the function fails any requirement, it is not stable. If the function passes all the requirements, it is stable. Jury's test is a necessary and sufficient test for stability in digital systems.

Again, we call D(z) the **characteristic polynomial** of the system. It is the denominator polynomial of the Z-domain transfer function. Jury's test will focus exclusively on the Characteristic polynomial. To perform Jury's test, we must perform a number of smaller tests on the system. If the system fails any test, it is unstable.

### Jury Tests

[edit | edit source]Given a characteristic equation in the form:

The following tests determine whether this system has any poles outside the unit circle (the instability region). These tests will use the value N as being the degree of the characteristic polynomial.

The system must pass all of these tests to be considered stable. If the system fails any test, you may stop immediately: you do not need to try any further tests.

- Rule 1
- If z is 1, the system output must be positive:

- Rule 2
- If z is -1, then the following relationship must hold:

- Rule 3
- The absolute value of the constant term (a
_{0}) must be less than the value of the highest coefficient (a_{N}):

If **Rule 1** **Rule 2** and **Rule 3** are satisified, construct the **Jury Array** (discussed below).

- Rule 4
- Once the Jury Array has been formed, all the following relationships must be satisifed until the end of the array:
- And so on until the last row of the array. If all these conditions are satisifed, the system is stable.

While you are constructing the Jury Array, you can be making the tests of **Rule 4**. If the Array fails **Rule 4** at any point, you can stop calculating the array: your system is unstable. We will discuss the construction of the Jury Array below.

### The Jury Array

[edit | edit source]The Jury Array is constructed by first writing out a row of coefficients, and then writing out another row with the same coefficients in reverse order. For instance, if your polynomial is a third order system, we can write the First two lines of the Jury Array as follows:

Now, once we have the first row of our coefficients written out, we add another row of coefficients (we will use **b** for this row, and **c** for the next row, as per our previous convention), and we will calculate the values of the lower rows from the values of the upper rows. Each new row that we add will have one fewer coefficient then the row before it:

Note: The last file is the (2N-3) file, and always has 3 elements. This test doesn't have sense if N=1, but in this case you know the pole!

Once we get to a row with 2 members, we can stop constructing the array.

To calculate the values of the odd-number rows, we can use the following formulae. The even number rows are equal to the previous row in reverse order. We will use k as an arbitrary subscript value. These formulae are reusable for all elements in the array:

This pattern can be carried on to all lower rows of the array, if needed.

### Example: Calculating e_{5}

[edit | edit source]Give the equation for member e_{5} of the jury array (assuming the original polynomial is sufficiently large to require an e_{5} member).

Going off the pattern we set above, we can have this equation for a member e:

Where we are using R as the subtractive element from the above equations. Since row c had R → 1, and row d had R → 2, we can follow the pattern and for row e set R → 3. Plugging this value of R into our equation above gives us:

And since we want e_{5} we know that k is 5, so we can substitute that into the equation:

When we take the determinant, we get the following equation:

## Further reading

[edit | edit source]We will discuss the bilinear transform, and other methods to convert between the Laplace domain and the Z domain in the appendix: