Reliable numerical methods for polynomial matrix triangularization

Numerical procedures are proposed for triangularizing polynomial matrices over the field of polynomial fractions and over the ring of polynomials. They are based on two standard polynomial techniques: Sylvester matrices and interpolation. In contrast to other triangularization methods, the algorithms described in this paper only rely on well-worked numerically reliable tools. They can also be used for greatest common divisor extraction, polynomial rank evaluation, or polynomial null-space computation.

[1]  Michael Sebek,et al.  The polynomial toolbox for matlab , 1997 .

[2]  Henri Lombardi,et al.  Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux , 1996, Theor. Comput. Sci..

[3]  Chi-Tsong Chen,et al.  Linear System Theory and Design , 1995 .

[4]  Michael Sebek,et al.  Symmetric Matrix Polynomial Equation: Interpolation Results , 1998, Autom..

[5]  Panos J. Antsaklis,et al.  Polynomial and rational matrix interpolation: theory and control applications , 1993 .

[6]  B. D. Saunders,et al.  Fast parallel computation of hermite and smith forms of polynomial matrices , 1987 .

[7]  H. Kwakernaak,et al.  Polynomial J-spectral factorization , 1994, IEEE Trans. Autom. Control..

[8]  Thomas Kailath,et al.  Linear Systems , 1980 .

[9]  Vladimír Kučera,et al.  Analysis and design of discrete linear control systems , 1991 .

[10]  T. Beelen,et al.  Numerical computation of a coprime factorization of a transfer function matrix , 1987 .

[11]  Vladimír Kučera,et al.  Diophantine equations in control - A survey , 1993, Autom..

[12]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

[13]  Arne Storjohann.  Computation of hermite and smith normal forms of matrices , 1994 .

[14]  B. Anderson,et al.  Greatest common divisor via generalized Sylvester and Bezout matrices , 1978 .

[15]  S. Labhalla,et al.  Algorithms for computing a Hermite reduction of a matrix with polynomial coefficients , 1996 .

[16]  Gilles Villard,et al.  Computing Popov and Hermite forms of polynomial matrices , 1996, ISSAC '96.