Jump to content

Jury stability criterion: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Dexbot (talk | contribs)
m Bot: Deprecating Template:Cite doi and some minor fixes
Skoocda (talk | contribs)
m Reversed order of coefficients in table to be consistent with the formula, verified by Digital Control Engineering - Analysis and Design, 2nd Edition and Digital Control of Dynamic Systems, 3rd Edition
Line 1: Line 1:
In [[signal processing]] and [[control theory]], the '''Jury stability criterion''' is a method of determining the stability of a linear discrete time system by analysis of the coefficients of its [[characteristic polynomial]]. It is the discrete time analogue of the [[Routh–Hurwitz stability criterion]]. The Jury [[stability criterion]] requires that the system poles are located inside the unit circle centered at the origin, while the Routh-Hurwitz stability criterion requires that the poles are in the left half of the complex plane. The Jury criterion is named after [[Eliahu Ibraham Jury]].

== Method ==
== Method ==


Line 13: Line 11:
! row !! z<sup>0</sup> !! z<sup>1</sup> !! z<sup>2</sup> !! z<sup>....</sup> !! z<sup>n-1</sup> !! z<sup>n</sup>
! row !! z<sup>0</sup> !! z<sup>1</sup> !! z<sup>2</sup> !! z<sup>....</sup> !! z<sup>n-1</sup> !! z<sup>n</sup>
|-
|-
| 1 || a<sub>n</sub> || a<sub>n-1</sub> || a<sub>n-2</sub>
| 1 || a<sub>0</sub> || a<sub>1</sub> || a<sub>2</sub>
| ... || a<sub>1</sub> || a<sub>0</sub>
| ... || a<sub>n-1</sub> || a<sub>n</sub>
|-
|-
| 2 || a<sub>0</sub> || a<sub>1</sub> || a<sub>2</sub>|| ... || a<sub>n-1</sub> || a<sub>n</sub>
| 2 || a<sub>n</sub> || a<sub>n-1</sub> || a<sub>n-2</sub>|| ... || a<sub>1</sub> || a<sub>0</sub>
|-
|-
| 3 || b<sub>n-1</sub> || b<sub>n-2</sub> || ... || b<sub>1</sub> || b<sub>0</sub> ||
| 3 ||b<sub>0</sub> || b<sub>1</sub> || ...|| b<sub>n-2</sub> || b<sub>n-1</sub> ||
|-
|-
| 4 ||b<sub>0</sub> || b<sub>1</sub> || ...|| b<sub>n-2</sub> || b<sub>n-1</sub> ||
| 4 || b<sub>n-1</sub> || b<sub>n-2</sub> || ... || b<sub>1</sub> || b<sub>0</sub> ||
|-
|-
| 5 ||c<sub>n-2</sub> || c<sub>n-3</sub> ||...|| c<sub>0</sub> || ||
| 5 ||c<sub>0</sub> || c<sub>1</sub> ||...|| c<sub>n-2</sub> || ||
|-
|-
| 6 ||c<sub>0</sub> || c<sub>1</sub> ||...|| c<sub>n-2</sub> || ||
| 6 ||c<sub>n-2</sub> || c<sub>n-3</sub> ||...|| c<sub>0</sub> || ||
|-
|-
| ... || ...|| ... || ... || ... || ... || ...
| ... || ...|| ... || ... || ... || ... || ...
Line 51: Line 49:


Note the <math>\frac{a_n}{a_0}</math> is for the 1st two rows. Then for 3rd and 4th row the coefficient changes (i.e. <math>\frac{b_{n-1}}{b_0}</math>) . This can be viewed as the new polynomial which has one less degree and then continuing.
Note the <math>\frac{a_n}{a_0}</math> is for the 1st two rows. Then for 3rd and 4th row the coefficient changes (i.e. <math>\frac{b_{n-1}}{b_0}</math>) . This can be viewed as the new polynomial which has one less degree and then continuing.

== Stability Test ==
If <math>{a_0}>0</math> then for every value of <math>{a_0}</math>,<math>{b_0}</math>,<math>{c_0}</math>... that is negative, the polynomial has one root outside of the unit disc. This implies that the method can be stopped after the first negative value is found when checking for stability.

== Sample Implementation ==
This method is very easy to implement using dynamic arrays on a computer. It also tells whether all the modulus of the roots (complex and real) lie inside the unit disc. Vector v contains the real coefficients of the original polynomial in the order from highest degree to lowest degree.
<source lang="cpp">
/* vvd is the jury array */
vvd.push_back(v); // Store the first row
reverse(v.begin(),v.end());
vvd.push_back(v); // Store the second row

for(i=2;;i+=2)
{
v.clear();
double mult=vvd[i-2][vvd[i-2].size()-1]/vvd[i-2][0]; // This is an/a0 as mentioned in the article.

for( j=0;j<vvd[i-2].size()-1;j++) // Take the last 2 rows and compute the next row
v.push_back(vvd[i-2][j] - vvd[i-1][j]*mult);

vvd.push_back(v);
reverse(v.begin(),v.end()); // reverse the next row
vvd.push_back(v);
if(v.size()==1) break;
}

Check is done using
for(i=0;i<vvd.size();i+=2)
{
if(vvd[i][0]<=0) break;
}

if(i==vvd.size())
"All roots lie inside unit disc "
else
"no"
</source>

== See also ==
*[[Liénard–Chipart criterion]], another stability criterion derived from Routh-Hurwitz (for continuous-time systems)

== References ==
For more details please check these references:
* [http://libra.msra.cn/Publication/1578446/a-note-on-the-reduced-schur-cohn-criterion A note on the reduced Schur–Cohn criterion]

For advanced resources:
* {{Wayback |date=20080802013128 |url=http://users.rsise.anu.edu.au/~briandoa/pubs/R300AN499.pdf }}
* {{Cite journal | doi = 10.1016/0165-1684(96)00077-1| title = On the root distribution of general polynomials with respect to the unit circle| journal = Signal Processing| volume = 53| pages = 75| year = 1996| last1 = Benidir | first1 = M. }}
* http://www.laas.fr/~henrion/Papers/lyap.ps.gz

For implementations:
* http://www.ticalc.org/archives/files/fileinfo/426/42696.html (TI-83+/84+ graphing calculators)

{{DEFAULTSORT:Jury Stability Criterion}}
[[Category:Stability theory]]

Revision as of 18:16, 19 April 2016

Method

If the characteristic polynomial of the system is given by

then the table is constructed as follows:

row z0 z1 z2 z.... zn-1 zn
1 a0 a1 a2 ... an-1 an
2 an an-1 an-2 ... a1 a0
3 b0 b1 ... bn-2 bn-1
4 bn-1 bn-2 ... b1 b0
5 c0 c1 ... cn-2
6 cn-2 cn-3 ... c0
... ... ... ... ... ... ...
2n-5 p3 p2 p1 p0
2n-4 p0 p1 p2 p3
2n-3 q2 q1 q0

That is, the first row is constructed of the polynomial coefficients in order, and the second row is the first row in reverse order and conjugated.

The third row of the table is calculated by subtracting times the second row from the first row, and the fourth row is the third row with the first n elements reversed (as the final element is zero).

The expansion of the table is continued in this manner until a row containing only one non zero element is reached.

Note the is for the 1st two rows. Then for 3rd and 4th row the coefficient changes (i.e. ) . This can be viewed as the new polynomial which has one less degree and then continuing.