Namespaces
Variants
Actions

Difference between revisions of "Pole assignment problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
Line 25: Line 25:
 
span all of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019035.png" />. All four mentioned choices of terminology are used in the literature. The reachability matrix (a4) is also called the controllability matrix. This terminology also derives from the  "interpretations"  (a1) and (a2) of a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019036.png" />, see again [[Automatic control theory|Automatic control theory]].
 
span all of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019035.png" />. All four mentioned choices of terminology are used in the literature. The reachability matrix (a4) is also called the controllability matrix. This terminology also derives from the  "interpretations"  (a1) and (a2) of a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019036.png" />, see again [[Automatic control theory|Automatic control theory]].
  
A cyclic vector for an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019037.png" />-matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019038.png" /> is a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019039.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019040.png" /> is a basis for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019041.png" />, i.e., such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019042.png" /> is completely reachable. Now consider the following properties for a pair of matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019043.png" />:
+
A [[cyclic vector]] for an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019037.png" />-matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019038.png" /> is a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019039.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019040.png" /> is a basis for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019041.png" />, i.e., such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019042.png" /> is completely reachable. Now consider the following properties for a pair of matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019043.png" />:
  
 
a) there exist a matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019044.png" /> and a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019045.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019046.png" /> is cyclic for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019047.png" />;
 
a) there exist a matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019044.png" /> and a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019045.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019046.png" /> is cyclic for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110190/p11019047.png" />;

Revision as of 18:21, 12 November 2017

Let be a commutative ring (cf. Commutative ring) and let be a pair of matrices of sizes and , respectively, with coefficients in . The pole assignment problem asks the following. Given , does there exist an -matrix , called a feedback matrix, such that the characteristic polynomial of is precisely ? The pair is then called a pole assignable pair of matrices. The terminology derives from the "interpretation" of as (the essential data of) a discrete-time time-invariant linear control system:

(a1)

where , , or also, when or , a continuous-time time-invariant linear control system:

(a2)

where , .

In both cases, state feedback (see Automatic control theory), , changes the pair to .

The transfer function of a system (a1) or (a2) with output is equal to

(a3)

and therefore the terminology "pole assignment" is used.

The pair is a coefficient assignable pair of matrices if for all there is an -matrix such that has characteristic polynomial .

The pair is completely reachable, reachable, completely controllable, or controllable if the columns of the -reachability matrix

(a4)

span all of . All four mentioned choices of terminology are used in the literature. The reachability matrix (a4) is also called the controllability matrix. This terminology also derives from the "interpretations" (a1) and (a2) of a pair , see again Automatic control theory.

A cyclic vector for an -matrix is a vector such that is a basis for , i.e., such that is completely reachable. Now consider the following properties for a pair of matrices :

a) there exist a matrix and a vector such that is cyclic for ;

b) is coefficient assignable;

c) is pole assignable;

d) is completely reachable. Over a field these conditions are equivalent and, in general, a)b)c)d). In control theory, the implication d)a) for a field is called the Heyman lemma, and the implication d)c) for a field is termed the pole shifting theorem.

A ring is said to have the FC-property (respectively, the CA-property or the PA-property) if for that ring d) implies a) (respectively, d) implies b), or d) implies c)). Such a ring is also called, respectively, an FC-ring, a CA-ring or a PA-ring. As noted, each field is an FC-ring (and hence a CA-ring and a PA-ring). Each Dedekind domain (cf. also Dedekind ring) is a PA-ring. The ring of polynomials in one indeterminate over an algebraically closed field is a CA-ring, but the ring of polynomials in two or more indeterminates over any field is not a PA-ring (and hence not a CA-ring) [a4].

For a variety of related results, see [a1], [a2], [a3], [a5].

References

[a1] J.W. Brewer, J.W. Bunce, F.S. van Vleck, "Linear systems over commutative rings" , M. Dekker (1986)
[a2] J. Brewer, D. Katz, W. Ullery, "Pole assignability in polynomial rings, power series rings, and Prüfer domains" J. Algebra , 106 (1987) pp. 265–286
[a3] R. Bumby, E.D. Soutrey, H.J. Sussmann, W. Vasconcelos, "Remarks on the pole-shifting theorem over rings" J. Pure Appl. Algebra , 20 (1981) pp. 113–127
[a4] A. Tannenbaum, "Polynomial rings over arbitrary fields in two or more variables are not pole assignable" Syst. Control Lett. , 2 (1982) pp. 222–224
[a5] J. Brewer, T. Ford, L. Kingler, W. Schmale, "When does the ring have the coefficient assignment property?" J. Pure Appl. Algebra , 112 (1996) pp. 239–246
How to Cite This Entry:
Pole assignment problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pole_assignment_problem&oldid=16430
This article was adapted from an original article by M. Hazewinkel (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article