Namespaces
Variants
Actions

Difference between revisions of "Kharitonov polynomial theory"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
k1101001.png
 +
$#A+1 = 12 n = 0
 +
$#C+1 = 12 : ~/encyclopedia/old_files/data/K110/K.1100100 Kharitonov polynomial theory
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A theory concerned with the root locations for a family of polynomials (cf. [[Polynomial|Polynomial]]). A good general reference for this area is [[#References|[a1]]]. The motivation for this theory derives from the issue of robust stability for systems of linear time-invariant differential equations. For a system of linear differential equations (cf. [[Differential equation, ordinary|Differential equation, ordinary]])
 
A theory concerned with the root locations for a family of polynomials (cf. [[Polynomial|Polynomial]]). A good general reference for this area is [[#References|[a1]]]. The motivation for this theory derives from the issue of robust stability for systems of linear time-invariant differential equations. For a system of linear differential equations (cf. [[Differential equation, ordinary|Differential equation, ordinary]])
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101001.png" /></td> </tr></table>
+
$$
 +
{\dot{x} } = Ax,
 +
$$
  
 
stability is determined by the roots of the characteristic polynomial
 
stability is determined by the roots of the characteristic polynomial
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101002.png" /></td> </tr></table>
+
$$
 +
p ( s ) = a _ {0} + a _ {1} s + \dots + a _ {n} s  ^ {n} = { \mathop{\rm det} } ( sI - A ) .
 +
$$
  
The system of differential equations will be stable if and only if all roots of this characteristic polynomial lie in the open left half of the complex plane. In this case, the polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101003.png" /> is said to be Hurwitz stable. For a single polynomial, the question of stability can be determined using the [[Routh–Hurwitz criterion|Routh–Hurwitz criterion]].
+
The system of differential equations will be stable if and only if all roots of this characteristic polynomial lie in the open left half of the complex plane. In this case, the polynomial $  p ( s ) $
 +
is said to be Hurwitz stable. For a single polynomial, the question of stability can be determined using the [[Routh–Hurwitz criterion|Routh–Hurwitz criterion]].
  
 
The question of robust stability arises when it is supposed that the system of differential equations depends on uncertain parameters whose values are unknown but satisfy known bounds. The presence of such uncertain parameters means that the coefficients of the characteristic polynomial are unknown but bounded. This then defines a family of characteristic polynomials. The system will be robustly stable if all polynomials in this family have all their roots in the open left half of the complex plane.
 
The question of robust stability arises when it is supposed that the system of differential equations depends on uncertain parameters whose values are unknown but satisfy known bounds. The presence of such uncertain parameters means that the coefficients of the characteristic polynomial are unknown but bounded. This then defines a family of characteristic polynomials. The system will be robustly stable if all polynomials in this family have all their roots in the open left half of the complex plane.
Line 13: Line 30:
 
The most important result in this area is a theorem due to V.L. Kharitonov [[#References|[a2]]]. In this result, the polynomial family considered is a collection of polynomials with the following specific form:
 
The most important result in this area is a theorem due to V.L. Kharitonov [[#References|[a2]]]. In this result, the polynomial family considered is a collection of polynomials with the following specific form:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101004.png" /></td> </tr></table>
+
$$
 +
p ( s ) = a _ {0} + a _ {1} s + \dots + a _ {n} s  ^ {n} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101005.png" /></td> </tr></table>
+
$$
 +
a _ {i}  ^ {-} \leq  a _ {i} \leq  a _ {i}  ^ {+} ,  i = 0 \dots n.
 +
$$
  
 
Thus, each coefficient of the polynomial is contained within a given interval. Such a polynomial family is referred to as an interval polynomial. Kharitonov's theorem gives a necessary and sufficient condition for the robust stability of such an interval polynomial in terms of the following four polynomials:
 
Thus, each coefficient of the polynomial is contained within a given interval. Such a polynomial family is referred to as an interval polynomial. Kharitonov's theorem gives a necessary and sufficient condition for the robust stability of such an interval polynomial in terms of the following four polynomials:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101006.png" /></td> </tr></table>
+
$$
 +
p _ {1} ( s ) = a _ {0}  ^ {-} + a _ {1}  ^ {-} s + a _ {2}  ^ {+} s  ^ {2} + a _ {3}  ^ {+} s  ^ {3} + a _ {4}  ^ {-} s  ^ {4} + \dots ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101007.png" /></td> </tr></table>
+
$$
 +
p _ {2} ( s ) = a _ {0}  ^ {+} + a _ {1}  ^ {+} s + a _ {2}  ^ {-} s  ^ {2} + a _ {3}  ^ {-} s  ^ {3} + a _ {4}  ^ {+} s  ^ {4} + \dots ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101008.png" /></td> </tr></table>
+
$$
 +
p _ {3} ( s ) = a _ {0}  ^ {+} + a _ {1}  ^ {-} s + a _ {2}  ^ {-} s  ^ {2} + a _ {3}  ^ {+} s  ^ {3} + a _ {4}  ^ {+} s  ^ {4} + \dots ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k1101009.png" /></td> </tr></table>
+
$$
 +
p _ {4} ( s ) = a _ {0}  ^ {-} + a _ {1}  ^ {+} s + a _ {2}  ^ {+} s  ^ {2} + a _ {3}  ^ {-} s  ^ {3} + a _ {4}  ^ {-} s  ^ {4} + \dots .
 +
$$
  
 
The interval polynomial is robustly stable if and only if these four polynomials are Hurwitz stable.
 
The interval polynomial is robustly stable if and only if these four polynomials are Hurwitz stable.
Line 31: Line 60:
 
One of the main limitations of Kharitonov's theorem is the restriction that the polynomial family must have the structure of an interval polynomial. An important result which applies to a much more general class of polynomial families is the edge theorem, [[#References|[a3]]]. This theorem applies to a polynomial family consisting of a collection of polynomials of the form:
 
One of the main limitations of Kharitonov's theorem is the restriction that the polynomial family must have the structure of an interval polynomial. An important result which applies to a much more general class of polynomial families is the edge theorem, [[#References|[a3]]]. This theorem applies to a polynomial family consisting of a collection of polynomials of the form:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k11010010.png" /></td> </tr></table>
+
$$
 +
p ( s ) = a _ {0} ( q ) + a _ {1} ( q ) s + \dots + a _ {n} ( q ) s  ^ {n} ,
 +
$$
  
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k11010011.png" /></td> </tr></table>
+
$$
 +
q = [ q _ {1} \dots q _ {k} ] : q _ {i}  ^ {-} \leq  q _ {i} \leq  q _ {i}  ^ {+} ,  i = 0,1 \dots k,
 +
$$
  
and where the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/k/k110/k110100/k11010012.png" /> are affine linear. In such a polynomial family, the polynomial coefficients are contained in a polytope. The edge theorem states that the polynomial family will be robustly stable if and only if for each exposed edge of this polytope, the corresponding one-dimensional polynomial family is robustly stable.
+
and where the functions $  a _ {0} ( \cdot ) \dots a _ {n} ( \cdot ) $
 +
are affine linear. In such a polynomial family, the polynomial coefficients are contained in a polytope. The edge theorem states that the polynomial family will be robustly stable if and only if for each exposed edge of this polytope, the corresponding one-dimensional polynomial family is robustly stable.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B.R. Barmish,  "New tools for robustness of linear systems" , Macmillan  (1994)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  V.L. Kharitonov,  "Asymptotic stability of an equilibrium position of a family of systems of linear differential equations"  ''Differentsial'nye Uraveniya'' , '''14'''  (1978)  pp. 2086–2088  (In Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A.C. Bartlett,  C.V. Hollot,  L. Huang,  "Root locations of an entire polytope of polynomials: It suffices to check the edges"  ''Math. Control, Signals and Systems'' , '''1'''  (1988)  pp. 61–71</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B.R. Barmish,  "New tools for robustness of linear systems" , Macmillan  (1994)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  V.L. Kharitonov,  "Asymptotic stability of an equilibrium position of a family of systems of linear differential equations"  ''Differentsial'nye Uraveniya'' , '''14'''  (1978)  pp. 2086–2088  (In Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A.C. Bartlett,  C.V. Hollot,  L. Huang,  "Root locations of an entire polytope of polynomials: It suffices to check the edges"  ''Math. Control, Signals and Systems'' , '''1'''  (1988)  pp. 61–71</TD></TR></table>

Latest revision as of 22:14, 5 June 2020


A theory concerned with the root locations for a family of polynomials (cf. Polynomial). A good general reference for this area is [a1]. The motivation for this theory derives from the issue of robust stability for systems of linear time-invariant differential equations. For a system of linear differential equations (cf. Differential equation, ordinary)

$$ {\dot{x} } = Ax, $$

stability is determined by the roots of the characteristic polynomial

$$ p ( s ) = a _ {0} + a _ {1} s + \dots + a _ {n} s ^ {n} = { \mathop{\rm det} } ( sI - A ) . $$

The system of differential equations will be stable if and only if all roots of this characteristic polynomial lie in the open left half of the complex plane. In this case, the polynomial $ p ( s ) $ is said to be Hurwitz stable. For a single polynomial, the question of stability can be determined using the Routh–Hurwitz criterion.

The question of robust stability arises when it is supposed that the system of differential equations depends on uncertain parameters whose values are unknown but satisfy known bounds. The presence of such uncertain parameters means that the coefficients of the characteristic polynomial are unknown but bounded. This then defines a family of characteristic polynomials. The system will be robustly stable if all polynomials in this family have all their roots in the open left half of the complex plane.

The most important result in this area is a theorem due to V.L. Kharitonov [a2]. In this result, the polynomial family considered is a collection of polynomials with the following specific form:

$$ p ( s ) = a _ {0} + a _ {1} s + \dots + a _ {n} s ^ {n} , $$

$$ a _ {i} ^ {-} \leq a _ {i} \leq a _ {i} ^ {+} , i = 0 \dots n. $$

Thus, each coefficient of the polynomial is contained within a given interval. Such a polynomial family is referred to as an interval polynomial. Kharitonov's theorem gives a necessary and sufficient condition for the robust stability of such an interval polynomial in terms of the following four polynomials:

$$ p _ {1} ( s ) = a _ {0} ^ {-} + a _ {1} ^ {-} s + a _ {2} ^ {+} s ^ {2} + a _ {3} ^ {+} s ^ {3} + a _ {4} ^ {-} s ^ {4} + \dots , $$

$$ p _ {2} ( s ) = a _ {0} ^ {+} + a _ {1} ^ {+} s + a _ {2} ^ {-} s ^ {2} + a _ {3} ^ {-} s ^ {3} + a _ {4} ^ {+} s ^ {4} + \dots , $$

$$ p _ {3} ( s ) = a _ {0} ^ {+} + a _ {1} ^ {-} s + a _ {2} ^ {-} s ^ {2} + a _ {3} ^ {+} s ^ {3} + a _ {4} ^ {+} s ^ {4} + \dots , $$

$$ p _ {4} ( s ) = a _ {0} ^ {-} + a _ {1} ^ {+} s + a _ {2} ^ {+} s ^ {2} + a _ {3} ^ {-} s ^ {3} + a _ {4} ^ {-} s ^ {4} + \dots . $$

The interval polynomial is robustly stable if and only if these four polynomials are Hurwitz stable.

One of the main limitations of Kharitonov's theorem is the restriction that the polynomial family must have the structure of an interval polynomial. An important result which applies to a much more general class of polynomial families is the edge theorem, [a3]. This theorem applies to a polynomial family consisting of a collection of polynomials of the form:

$$ p ( s ) = a _ {0} ( q ) + a _ {1} ( q ) s + \dots + a _ {n} ( q ) s ^ {n} , $$

where

$$ q = [ q _ {1} \dots q _ {k} ] : q _ {i} ^ {-} \leq q _ {i} \leq q _ {i} ^ {+} , i = 0,1 \dots k, $$

and where the functions $ a _ {0} ( \cdot ) \dots a _ {n} ( \cdot ) $ are affine linear. In such a polynomial family, the polynomial coefficients are contained in a polytope. The edge theorem states that the polynomial family will be robustly stable if and only if for each exposed edge of this polytope, the corresponding one-dimensional polynomial family is robustly stable.

References

[a1] B.R. Barmish, "New tools for robustness of linear systems" , Macmillan (1994)
[a2] V.L. Kharitonov, "Asymptotic stability of an equilibrium position of a family of systems of linear differential equations" Differentsial'nye Uraveniya , 14 (1978) pp. 2086–2088 (In Russian)
[a3] A.C. Bartlett, C.V. Hollot, L. Huang, "Root locations of an entire polytope of polynomials: It suffices to check the edges" Math. Control, Signals and Systems , 1 (1988) pp. 61–71
How to Cite This Entry:
Kharitonov polynomial theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Kharitonov_polynomial_theory&oldid=47496
This article was adapted from an original article by I.R. Petersen (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article