Normal forms for general polynomial matrices

Journal of Symbolic Computation

Volumn 41, Issue 6, 2006, Pages 708-737

  Beckermann, Bernhard ^a   Labahn, George ^b   Villard, Gilles ^c  

^a UNIVERSITÉ LILLE 1   (France)

^b UNIVERSITY OF WATERLOO   (Canada)

^c UNIV LYON   (France)

Author keywords

Exact arithmetic; Fraction free algorithm; Hermite normal form; Matrix Gcd; Popov normal form

Indexed keywords

EID: 33645972548     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2006.02.001     Document Type: Article

References (38)

1. Beckermann B., Cabay S., and Labahn G. Fraction-free Computation of Matrix Padé Systems. Proceeding of International Symposium on Symbolic and Algebraic Computation. ISSAC'97 (1997), ACM Press, Maui 125-132
2. Beckermann, B., Cheng, H., Labahn, G., 2002. Fraction-free row reduction of matrices of skew polynomial. In: Proceeding of International Symposium on Symbolic and Algebraic Computation, ISSAC'02, Lille, France, pp. 8-15
3. Beckermann B., and Labahn G. A uniform approach for Hermite Padé and simultaneous Padé Approximants and their matrix generalizations. Numer. Algorithms 3 (1992) 45-54
4. Beckermann B., and Labahn G. A uniform approach for the fast, reliable computation of matrix-type Padé approximants. SIAM J. Matrix Anal. Appl. 15 (1994) 804-823
5. Beckermann B., and Labahn G. Recursiveness in matrix rational interpolation problems. J. Comput. Appl. Math. 77 (1997) 5-34
6. Beckermann B., and Labahn G. Fraction-free computation of matrix Gcd's and rational interpolants. SIAM J. Matrix Anal. Appl. 22 1 (2000) 114-144
7. Beckermann B., Labahn G., and Villard G. Shifted normal forms of polynomial matrices. Proceeding of International Symposium on Symbolic and Algebraic Computation. ISSAC'99 (1999), ACM Press, Vancouver 189-196
8. Beelen Th.G.J., van der Hurk G.J., and Praagman C. A new method for computing a column reduced polynomial matrix. Syst. Control Lett. 10 (1988) 217-224
9. Beelen Th.G.J., and Van Dooren P.M. An improved algorithm for the computation of Kronecker's canonical form of a singular pencil. Linear Algebra Appl. 105 (1988) 9-65
10. Belyǐ V.A., Khazanov V.B., and Kublanovskaya V.N. Spectral problems for matrix pencils. Methods and algorithms III. Soviet J. Numer. Anal. Math. Model. 4 1 (1989) 19-51
11. Bitmead R.R., Kung S.Y., Anderson B.D.O., and Kailath T. Greatest common divisors via generalized Sylvester and Bezout matrices. IEEE Trans. Automat. Control. AC-23 (1978) 1043-1046
12. Bultheel A., and Van Barel M. A matrix Euclidean algorithm and the matrix minimal Padé approximation problem. In: Brezinski C. (Ed). Continued Fractions and Padé Approximants (1990), Elsevier, North-Holland 11-51
13. Domich P.D., Kannan R., and Trotter Jr. L.E. Hermite normal form computation using modulo determinant arithmetic. Math. Oper. Res. 12 1 (1987) 50-59
14. Forney Jr. G.D. Minimal bases of rational vector spaces, with applications to multivariable linear systems. SIAM J. Control Optim. 13 (1975) 493-520
15. Geddes K.O., Czapor S.R., and Labahn G. Algorithms for Computer Algebra (1992), Kluwer, Boston, MA
16. Giorgi P., Jeannerod C.-P., and Villard G. On the complexity of polynomial matrix computations. Proceeding of International Symposium on Symbolic and Algebraic Computation. ISSAC'03 (2003), ACM Press, Philadelphia 135-142
17. Havas G., Majewski B.S., and Matthews K.R. Extended gcd and Hermite normal form algorithms via lattice basis reduction. Experiment. Math. 7 2 (1998) 125-135
18. Hermite C. Sur l'introduction des variables continues dans la théorie des nombres. J. Reine Angew. Math. 41 (1851) 191-216
19. Iliopoulos C.S. Worst-case complexity bounds on algorithms for computing the canonical structure of finite abelian groups and the Hermite and Smith normal forms of an integer matrix. SIAM J. Comput. 18 4 (1989) 658-669
20. Kailath T. Linear Systems (1980), Prentice-Hall
21. Kalman R.E. Irreducible realizations and the degree of a rational matrix. SIAM J. Appl. Math. 13 (1965) 520-544
22. Kaltofen E., Krishnamoorthy M.S., and Saunders B.D. Parallel algorithms for matrix normal forms. Linear Algebra Appl. 136 (1990) 189-208
23. Kung, S.Y., Kaliath, T., Morf, M., 1976. A generalized resultant matrix for polynomial matrices. In: Proceeding of IEEE Conf. on Decision and Control, Florida, pp. 892-895
24. MacDuffee C.C. The Theory of Matrices (1956), Chelsea, New-York
25. Mahler K. Perfect systems. Compos. Math. 19 (1968) 95-166
26. Mulders T., and Storjohann A. On lattice reduction for polynomial matrices. J. Symbolic Comput. 35 (2003) 377-401
27. Newman M. Integral Matrices (1972), Academic Press, New-York
28. Popov V.M. Some properties of control systems with irreducible matrix transfer functions. Lecture Notes in Mathematics vol. 144 (1969), Springer, Berlin 169-180
29. Quéré-Stuchlik, M.P., 1997. Algorithmique des faisceaux linéaires de matrices, application à la théorie des systèmes linéaires et à la résolution d'équations algébro-différentielles, Thèse de Doctorat, Université de Paris VI, France
30. Schrijver A. Theory of Linear and Integer Programming. Wiley-Interscience series in Discrete Mathematics (1986)
31. Storjohann, A., 1994. Computation of Hermite and Smith normal forms of matrices, Master's Thesis, University of Waterloo, Canada
32. Storjohann, A., 2000. Algorithms for Matrix Canonical Form, Ph.D. Thesis, Eidgenössiche Technische Hochshule ETH, Zürich, Switzerland
33. Storjohann A., and Labahn G. Preconditioning of rectangular polynomial matrices for efficient Hermite Normal Form computation. Proceedings of the International Symposium on Symbolic and Algebraic Computation. ISSAC'95 (1995), ACM Press, Montreal, Canada 119-125
34. Storjohann A., and Labahn G. Asymptotically fast computation of Hermite normal forms of integer matrices. Proceedings of the International Symposium on Symbolic and Algebraic Computation. ISSAC'96 (1996), ACM Press, Zürich 259-266
35. Van Barel M., and Bultheel A. A general module theoretic framework for vector M-Padé and matrix rational interpolation. Numer. Algorithms 3 (1992) 451-462
36. Villard G. Computing Popov and Hermite forms of polynomial matrices. Proceedings of the International Symposium on Symbolic and Algebraic Computation. ISSAC'96 (1996), ACM Press, Zürich 250-258
37. Wolovich W.A., and Antsaklis P.J. The canonical diophantine equations with applications. SIAM J. Control Optim. 22 (1984) 777-787
38. Wonham W.M. Linear Multivariable Control (1974), Springer