A tutorial on Gröbner bases with applications in signals and systems

IEEE Transactions on Circuits and Systems I: Regular Papers

Volumn 55, Issue 1, 2008, Pages 445-461

  Lin, Zhiping ^a   Xu, Li ^b   Bose, Nirmal K ^c  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

^b AKITA PREFECTURAL UNIVERSITY   (Japan)

^c The Pennsylvania State University   (United States)

Author keywords

Algebra; Book reviews; Circuits and systems; Control systems; Gr bner bases; Matrix factorization; Multidimensional systems; Multivariate polynomial; Polynomials; Signal processing; Signal processing algorithms; Tutorials

Indexed keywords

CONTROL SYSTEMS; FACTORIZATION; MATRIX ALGEBRA; MULTIVARIABLE SYSTEMS; NETWORKS (CIRCUITS); POLYNOMIALS; ROBOTICS; SIGNAL ENCODING;

MATRIX FACTORIZATION; MULTIDIMENSIONAL SYSTEM; POLYNOMIAL MATRIX;

SIGNAL PROCESSING;

EID: 42949122508     PISSN: 10577122     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCSI.2007.914007     Document Type: Article

References (148)

1. J.-P. Chen C.-C. Lu A serial-in-serial-out hardware architecture for systematic encoding of Hermitian codes via Grobner bases IEEE Trans. Commun. 52 8 1322 1332 Aug. 2004
2. CoCoA, a System for Doing Computations in Commuatative Algebra. CoCoA Team http://www.cocoa.dima.unige.it
3. D. Cox J. Little D. O'Shea Ideals, Varieties, and Algorithms 1992 Springer-Verlag Germany, Berlin
4. E. Curtin S. Saba Stability and margin of stability tests for multidimensional filters IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 46 806 809 1999
5. D. Eisenbud Commutative Algebra With a View Towards Algebraic Geometry 1995 Springer-Verlag New York
6. E. G. Evans P. Griffith Syzygies 1985 Cambridge Univ. Press U.K., Cambridge
7. A. Fabiaska A. Quadrat Flat multidimensional linear systems with constant coefficients are equivalent to controllable 1-D linear systems Proc. MTNS 24 28 Proc. MTNS Kyoto Japan 2006-Jul.
8. A. Fabiaska A. Quadrat Applications of the Quillen-Suslin Theorem to Multidimensional Systems Theory 2007 INRIA Rep. 6126
9. J.-C. Faugere F. M. de Saint-Martin F. Rouillier Design of regular nonseparable bidimensional wavelets using Gröbner basis techniques IEEE Trans. Signal Process. 46 6 845 856 Jun. 1998
10. E. Fornasini A note on output feedback stabilizability of multivariable 2-D systems Syst. Control Lett. 10 45 50 1988
11. E. Fornasini M. E. Valcher $n$D polynomial matrices with applications to multidimensional signal analysis Multidimensional Syst. Signal Process. 8 387 408 Oct. 1997
12. I. A. Fotiou P. Rostalski P. A. Parrilo M. Morari Parametric optimization and optimal control using algebraic geometry methods Int. J. Control 79 11 1340 1358 Nov. 2006
13. S. Frhler U. Oberst Continuous time-varying linear systems Syst. Control Lett. 35 2 97 110 1998
14. A. Furukawa T. Sasaki H. Kobayashi Gröbner basis of a module over $K[x_{1},\\ldots,x_{n}]$ and polynomial solutions of a system of linear equations Proc. SYMSAC 222 224 Proc. SYMSAC Waterloo Canada ON 1986
15. O. Geil On codes from norm-trace curves Finite Fields Their Appl. 9 351 371 2003
16. K. O. Geddes S. R. Czapor G. Labahn Algorithms for Computer Algebra 1992 Kluwer The Netherlands, Dordrecht
17. J. P. Guiver N. K. Bose Polynomial matrix primitive factorization over arbitrary coefficient field and related results IEEE Trans. Circuits Syst. CST-29 3 649 657 May 1982
18. J. P. Guiver N. K. Bose Multidimensional Systems Theory: Progress, Directions and Open Problems 52 100 1985 Reidel The Netherlands, Dordrecht Causal and weakly causal 2-D filters with applications in stabilizations
19. B. Hanzon J. M. Maciejowski Constructive algebra methods for the L2-problem for stable linear systems Automatica 32 12 1645 1657 1996
20. J. W. Helton M. Stankus J. J. Wavrik Computer simplification of formulas in linear systems theory IEEE Trans. Autom. Control 43 3 302 314 Mar. 1998
21. D. Henrion J.-B. Lasserre Solving nonconvex optimization problems IEEE Control Syst. Mag. 24 72 83 2004
22. H. Hironaka Resolution of singularities of an algebraic variety over a field of characteristic zero: I Annals Math. 2 79 1 109 203 Jan. 1964
23. N. I. Ioakimidis E. G. Anastasselou Annihilation of loading parameters in classical numerical methods with differential equations Comput. Structures 59 2 265 271 1996
24. C. M. Kalker-Kalkman An implementation of Buchbergers' algorithm with applications to robotics Mechanism Mach. Theory 28 4 523 537 1993
25. C. S. Kallesoe V. Cocquempot R. Izadi-Zamanabadi Model based fault detection in a centrifugal pump application IEEE Trans. Control Syst. Technol. 14 2 204 215 Mar. 2006
26. S. Kleon U. Oberst Transfer operators and state spaces for discrete multidimensional linear systems Acta Applicandae Mathematicae 57 1 82 1999
27. M. Kreuzer L. Robbiano Computational Commutative Algebra 1 2000 Springer-Verlag Germany, Berlin
28. E. Kreyszig Advanced Engineering Mathematics 9th 2006 Wiley New York
29. T. Y. Lam Serre's Conjecture 635 1978 Springer-Verlag Germany, Berlin
30. T. Y. Lam Serre's Problem on Projective Modules 2006 Springer-Verlag Germany, Berlin
31. J. Lebrun I. Selesnick Gröbner bases and wavelet design J. Symbol. Computat. 37 2 227 259 2004
32. K. Lee M. E. O'Sullivan An interpolation algorithm using Gröbner bases for soft-decision decoding of Reed–Solomon codes Proc. IEEE Int. Symp. Inf. Theory 2032 2036 Proc. IEEE Int. Symp. Inf. Theory 2006-Jul.
33. F. Leeb T. Henk Simultaneous amplitude and phase approximation for FIR filter design Int. J. Circuit Theory Appl. 17 363 374 Jul. 1989
34. Z. Lin On matrix fraction descriptions of multivariable linear $n$-D systems IEEE Trans. Circuits Syst. 35 11 1317 1322 Nov. 1988
35. Z. Lin Notes on $n$-d polynomial matrix factorizations Multidimensional Syst. Signal Process. 10 379 393 1999
36. Z. Lin N. K. Bose A generalization of Serre's conjecture and some related issues Linear Algebra Appl. 338 125 138 2001
37. Multidimensional Syst. Signal Process. 12 215 381 2001
38. Z. Lin J. Lam K. Galkowski S. Xu A constructive approach to stabilizability and stabilization of a class of $n$D systems Multidimensional Syst. Signal Process. 12 329 343 2001
39. Z. Lin J. Q. Ying L. Xu Factorizations for $n$D polynomial matrices Circuits, Syst. Signal Process. 20 601 618 2001
40. Z. Lin L. Xu Q. Wu Applications of Gröbner bases to signal and image processing: A survey Linear Algebra Appl. 391 1 169 202 2004
41. Z. Lin L. Xu H. Fan On minor prime factorization for $n$-D polynomial matrices IEEE Trans. Circuits Syst. II, Exp. Briefs 52 9 568 571 Sep. 2005
42. J. B. Little Solving the Selesnick-Burrus filter design equations using computational algebra and algebraic geometry Adv. Appl. Math. 31 2 463 500 2003
43. A. Logar B. Sturmfels Algorithms for the Quillen-Suslin theorem J. Algebra 145 231 239 1992
44. H. Lombardia I. Yengui Suslin's algorithms for reduction of unimodular rows J. Symbol. Computat. 39 707 717 2005
45. C. Lossen Singular: A computer algebra system Computi. Sci. Eng. 5 4 45 55 Jul.August 2003
46. D. Grayson M. Stillman Macaulay 2: A Software System for Algebraic Geometry and Commutative Algebra www.math.uiuc.edu/Macaulay2
47. M. Maslen P. Abbott Automation of the lifting factorisation of wavelet transforms Comput. Phys. Commun. 127 23 309 326 2000
48. H. Matsui S. Sakata M. Kurihara S. Mita Systolic array architecture implementing Berlekamp–Massey–Sakata algorithm for decoding codes on a class of algebraic curves IEEE Trans. Inf. Theory 51 11 3856 3871 Nov. 2005
49. B. Mishra Algorithmic Algebra 1993 Springer-Verlag New York
50. A. Montes Algebraic solution of the load-flow problem for a 4-nodes electrical network Math. Comput. Simulation 45 12 163 174 1998
51. F. Mora H. M. Mller New constructive methods in classical ideal theory J. Algebra 100 1 138 178 1986
52. T. Mora M. Sala On the Gröbner bases of some symmetric systems and their application to coding theory J. Symbol. Computat. 35 2 177 194 2003
53. K. Mori A new parameterization method for all stabilizing controllers of $n$D systems without coprime factorizability Proc. IEEE Symp. Circuits Syst. III 678 681 Proc. IEEE Symp. Circuits Syst. Bangkok Thailand 2003
54. D. Nesi I. M. Y. Mareels Dead beat controllability of polynomial systems: Symbolic computation approaches IEEE Trans. Autom. Control 43 2 162 175 Feb. 1998
55. D. Nesi I. M. Y. Mareels Controllability of structured polynomial systems IEEE Trans. Autom. Control 44 4 761 764 Apr. 1999
56. G. H. Norton A. Slgean Strong Gröbner bases and cyclic codes over a finite-chain ring Electron. Notes Discrete Math. 6 240 250 2001
57. U. Oberst Multidimensional constant linear systems Acta Applicandae Mathematicae 20 1 175 1990
58. U. Oberst F. Pauer The constructive solution of linear systems of partial difference and differential equations with constant coefficients Multidimensional Syst. Signal Process. 12 253 308 2001
59. U. Oberst Canonical state representations and Hilbert functions of multidimensional systems Acta Appl Math 94 83 135 2006
60. H. Ohsugi D. Ikegami T. Kitamura T. Hibi Gröbner bases of certain zero-dimensional ideals arising in coding theory Adv. Appl. Math. 31 2 420 432 2003
61. H. O'Keeffe P. Fitzpatrick Gröbner basis solutions of constrained interpolation problems Linear Algebra Appl. 351352 533 551 2002
62. P. V. O'Neil Advanced Engineering Mathematics 6th 2007 Thomson FL, Tampa
63. Algebraic Statistics for Computational Biology 2005 Cambridge Univ. Press U.K., Cambridge
64. H. Park A computational theory of Laurent polynomial rings and multidimensional FIR systems 1995 Univ. California Berkeley
65. H. Park C. Woodburn An algorithmic proof of Suslin's stability theorem for polynomial rings J. Algebra 178 277 298 1995
66. H. Park T. Kalker M. Vertterli Gröbner bases and multidimensional FIR multirate systems Multidimensional Syst. Signal Process. 8 11 30 1997
67. H. Park Parametrized family of 2-D non-factorable FIR lossless systems and Gröbner bases Multidimensional Syst. Signal Process. 12 345 364 2001
68. H. Park Optimal design of synthesis filters in multidimensional perfect reconstruction FIR filter banks using Gröbner bases IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 49 5 843 851 May 2002
69. H. Park Prime factorization of $n$-D polynomial matrices Proc. IEEE ISCAS III 666 669 Proc. IEEE ISCAS Bangkok Thailand 2003-May
70. H. Park Symbolic computation and signal processing J. Symbol. Computat. 37 2 209 226 2004
71. H. Park Optimal construction of compactly-supported multidimensional wavelets Proc. IEEE ISCAS 2417 2420 Proc. IEEE ISCAS Kobe Japan 2005-May
72. P. Parrilo Positive Polynomials in Control 181 194 2005 Springer-Verlag Germany, Berlin Exploiting algebraic structure in sum of squares programs
73. H. Pillai J. Wood E. Rogers Gröbner bases and constructive multidimensional behavioural theory Proc. 2nd Int. Workshop Multidimensional (D) Syst. 83 89 Proc. 2nd Int. Workshop Multidimensional (D) Syst. Czocha Castle Poland 2000-Jun.
74. J. F. Pommaret Solving Bose conjecture on linear multidimensional systems Proc. Eur. Control Conf. 1853 1855 Proc. Eur. Control Conf. 2001
75. A. Quadrat A lattice approach to analysis and synthesis problems Math. Control, Signals Syst. 18 2 147 186 May 2006
76. D. Quillen Projective modules over polynomial rings Invent. Math 36 167 171 1976
77. G. Regensburger O. Scherzer Symbolic Computation for Moments and Filter Coefficients of Scaling Functions Annals Combinator. 9 223 243 2005
78. E. Roanes-Lozano E. Roanes-Macas L. M. Laita Railway interlocking systems and Gröbner bases Math. Comput. Simulation 51 5 473 481 2000
79. E. Roanes-Lozano E. Roanes-Macas L. M. Laita The geometry of algebraic systems and their exact solving using Gröbner bases Computi. Sci. Eng. 6 2 76 79 Mar.Apr. 2004
80. E. Roanes-Lozano E. Roanes-Macas L. M. Laita Some applications of Gröbner bases Comput. Sci. Eng. 6 3 56 60 MayJun. 2004
81. L. Rolland Certified solving of the forward kinematics problem with an exact algebraic method for the general parallel manipulator J. Adv. Robot. 19 9 995 1025 Oct. 2005
82. L. Rolland Synthesis on forward kinematics problem algebraic modeling for the planar parallel manipulator: Displacement-based equation systems J. Adv. Robot. 20 9 1035 1065 Sep. 2006
83. S. Sakata Extension of the Berlekamp-Massey algorithm to $N$ dimensions Inf. Computat. 84 2 207 239 1990
84. K. Saints C. Heegard Algebraic-geometric codes and multidimensional cyclic codes: A unified theory and algorithms for decoding using Grobner bases IEEE Trans. Inf. Theory 41 6 1733 1751 Nov. 1995
85. I. W. Selesnick C. S. Burrus Maximally flat low-pass FIR filters with reduced delay IEEE Trans. Circuits Syst. II, Analog Digit. Signal Process. 45 1 53 68 Jan. 1998
86. B. Sturmfels What is a Groebner Basis? Notices of the AMS Nov. 2005
87. V. R. Sule Feedback stabilization over commutative rings: The matrix case SIAM J. Control Optim. 32 1675 1695 1994
88. G. M. Greuel G. Pfister H. Schonemann Singular Reference Manual 12 Germany Centre of Algebra http://www.mathematik.uni-kl.de/~zca/Singular
89. V. Srinivas A generalized Serre problem J. Algebra 278 2 621 627 Aug. 2004
90. A. A. Suslin Projective modules over a polynomial ring are free Sov. Math Dokl. 17 1160 1164 1976
91. W. Trinks On B. Buchberger's method for solving systems of algebraic equations J. Number Theory 10 475 488 1978
92. F. Ubertini A contribution to the analysis of flexible link systems Int. J. Solids Structures 37 7 969 990 2000
93. P. Vandewalle L. Sbaiz M. Vetterli Signal reconstruction from multiple unregistered sets of samples using Groebner bases Proc. ICASSP III 604 607 Proc. ICASSP Tuluse France 2006
94. J. von zur Gathen J. Gerhard Modern Computer Algebra 2003 Cambridge Univ. Press U.K., Cambridge
95. B. Wall Computation of syzygies, solution of linear systems over a multivariate polynomial ring 1988 Johannes Kepler Univ. Austria, Linz
96. U. Walther T. T. Georgiou A. Tannenbaum On the computation of switching surfaces in optimal control: A Gröbner basis approach IEEE Trans. Autom. Control 46 4 534 540 Apr. 2001
97. M. Wang D. Feng On Lin–Bose problem Linear Algebra Appl. 390 279 285 Oct. 2004
98. M. Wang C. P. Kwong On multivariate polynomial matrix factorization problems Math. Control Signals Syst. 17 4 297 311 2005
99. C. Charoenlarpnopparut Optimal minimax control solution using rate feedback Proc. ICICS 6 9 Proc. ICICS Bangkok Thailand 2005-Dec.
100. W. W. Adams P. Loustaunau An Introduction to Grbner Bases 3 1994 Amer. Math. Soc. RI, Providence
101. H. M. Antia Numerical Methods for Scientists and Engineers 2002 Birkhauser New York
102. S. Basu Multidimensional filter banks and wavelets—A system theoretic perspective J. Franklin Inst. 335B 8 1367 1409 1998
103. S. Basu Multidimensional causal, stable, perfect reconstruction filter banks IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 49 6 832 842 Jun. 2002
104. IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 49 6 709 891 Jun. 2002
105. T. Becker V. Weisfenning Grbner Bases 1993 Springer-Verlag Germany, Berlin
106. M. Bisiacco E. Fornasini G. Marchesini Causal 2-D compensators: Stabilization algorithms for multivariable 2-D systems Proc. 25th Conf. Decision Control 2171 2174 Proc. 25th Conf. Decision Control 1986
107. R. B. Bhat S. Chakraverty Numerical Analysis in Engineering 2004 Alpha Sci. U.K., Pangbourne
108. N. K. Bose Applied Multidimensional Systems Theory 1982 Van Nostrand Reinhold New York
109. N. K. Bose C. Charoenlarpnopparut Multivariate matrix factorization: New results Proc. MTNS 97 100 Proc. MTNS Padova Italy 1998-Jul.
110. N. K. Bose C. Charoenlarpnopparut Minimax controller design using rate feedback Circuits, Syst. Signal Process. 18 1 17 25 1999
111. N. K. Bose B. Buchberger J. P. Guiver Multidimensional Systems Theory and Applications 2003 Kluwer The Netherlands, Dordrecht
112. N. K. Bose Two decades (1985–2005) of Gröbner bases in multidimensional systems Proc. Workshop on GB in Contr. Theory Signal Process. Proc. Workshop on GB in Contr. Theory Signal Process. Linz Austria 2006-May
113. S. Boyd L. Vandenberghe Convex Optimization 2004 Cambridge Univ. Press U.K., Cambridge
114. B. Buchberger An algorithm for finding the basis elements of the residue class ring modulo a zero-dimensional polynomial ideal (German) 1965 Univ. of Innsbruck Austria, Innsbruck
115. B. Buchberger An algorithmic criterion for the solvability of algebraic systems of equations (German) Aequationes Mathematicae 4 3 374 383 1970
116. B. Buchberger Multidimensional Systems Theory: Progress, Directions and Open Problems 184 232 1985 Reidel The Netherlands, Dordrecht Grbner bases: An algorithmic method in polynomial ideal theory
117. Grbbner Bases and Applications London Mathematical Society Series 457 1998 Cambridge Univ. Press U.K., Cambridge
118. B. Buchberger Gröbner bases and systems theory Multidimensional Syst. Signal Process. 12 223 251 2001
119. E. Byrne P. Fitzpatrick Hamming metric decoding of alternant codes over Galois rings IEEE Trans. Inf. Theory 48 3 683 694 Mar. 2002
120. E. Byrne Decoding a class of Lee metric codes over a Galois ring IEEE Trans. Inf. Theory 48 4 966 975 Apr. 2002
121. B. Cannas A. Fanni A. Montisci Testability evaluation for analog linear circuits via transfer function analysis Proc. ISCAS 992 995 Proc. ISCAS Kobe Japan 2005-May
122. M. Castella Exact inversion of MIMO nonlinear polynomial mixtures Proc. ICASSP III 1429 1432 Proc. ICASSP Honolulu HI 2007
123. C. Charoenlarpnopparut N. K. Bose Multidimensional FIR filter bank design using Gröbner bases IEEE Trans. Circuits Syst. II, Analog Digit. Signal Process. 46 11 1475 1486 Nov. 1999
124. C. Charoenlarpnopparut N. K. Bose Gröbner bases for problem solving in multidimensional systems Multidimensional Syst. Signal Process. 12 365 376 2001
125. C. Charoenlarpnopparut S. Tantaratana Multidimensional convolutional code: Progresses and bottlenecks Proc. ISCAS III 686 689 Proc. ISCAS Bangkok Thailand 2003-May
126. C. Charoenlarpnopparut S. Tantaratana Algebraic approach to reduce the number of delay elements in the realization of multidimensional convolutional code Proc. MWSCAS II-529 II-532 Proc. MWSCAS Hiroshima Japan 2004-Jul.
127. M. Wang On factor prime factorizations for $n$ -D polynomial matries IEEE Trans. Circuits Syst. I, Reg. Papers 54 6 1398 1405 Jun. 2007
128. P. A. Weiner Multidimensional convolutional codes 1998 Notre Dame Univ. IN, South Bend
129. F. Winkler Polynomial Algorithms in Computer Algebra 1996 Springer-Verlag New York
130. J. Wood E. Rogers D. Owens A formal theory of matrix primeness Math. Control, Signals, Syst. 11 40 78 1998
131. J. Wood E. Rogers D. Owens Minimum lag descriptions and minimal Gröbner bases Syst. Control Lett. 34 5 289 293 1998
132. J. Wood Module and behaviors in $n$D systems theory Multidimensional Syst. Signal Process. 11 11 48 2000
133. J. Wu L. Zhao Multi-valued model checking via Gröbner basis approach Proc. IEEE/IFIP Theoretical Aspects of Software Engineering 35 44 Proc. IEEE/IFIP Theoretical Aspects of Software Engineering 2007-Jun.-68
134. L. Xu J. Q. Ying O. Saito Feedback stabilization for a class of MIMO $n$D systems by Gröbner basis approach Abstract 1st Int. Workshop Multidimensional Syst. 88 90 Abstract 1st Int. Workshop Multidimensional Syst. Lagow Poland 1998-Jul.
135. L. Xu O. Saito K. Abe Output feedback stabilizability and stabilization algorithms for 2-D systems Multidimensional Syst. Signal Process. 5 41 60 1994
136. L. Xu Z. Lin Y. Anazawa Minimal realization for a class of $n$D filters by Grobner basis approach Proc. Asian Symp. Comput. Math. 185 188 Proc. Asian Symp. Comput. Math. Seoul Korea 2005-Dec.
137. L. Xu Applications of Gröbner bases in synthesis of multidimensional control systems Proc. Workshop on GB in Contr. Theory Signal Process. Proc. Workshop on GB in Contr. Theory Signal Process. Linz Austria 2006-May
138. M. Yagi T. Hisakado K. Okumura Algebraic representation of error bounds for describing function using Groebner base Proc. ISCAS 2831 2834 Proc. ISCAS Kobe Japan 2005-May
139. J. Q. Ying L. Xu Z. Lin A computational method for determining strong stabilizability of $n$-D systems J. Symbol. Computat. 27 479 499 1999
140. D. C. Youla G. Gnavi Notes on $n$-dimensional system theory IEEE Trans. Circuits Syst. CAS-26 2 105 111 Feb. 1979
141. D. C. Youla P. F. Pickel The Quillen-Suslin theorem and the structure of $n$-dimensional elementary polynomial matrices IEEE Trans. Circuits Syst. CAS-31 4 513 518 Apr. 1984
142. G. Zacharias Generalized Grbner basis in commutative polynomial rings 1978 MIT Cambridge
143. E. Zerz Primeness of multivariate polynomial matrices Syst. Control Lett. 29 139 145 1996
144. E. Zerz Topics in Multidimensional Linear Systems Theory 256 2000 Springer-Verlag London Ltd. U.K., London
145. E. Zerz Extension modules in behavioral linear systems theory Multidimensional Syst. Signal Process. 12 309 327 2001
146. E. Zerz V. Lomadze A constructive solution to interconnection and decomposition problems with multidimensional behaviors SIAM J. Control Optim. 40 4 1072 1086 2001
147. L. Zhang A. Makur Two-dimensional antisymmetric linear phase filter bank construction using symmetric completion IEEE Trans. Circuits Syst. II, Exp. Briefs 54 1 57 60 Jan. 2007
148. J. Zhou M. N. Do Multidimensional multichannel FIR deconvolution using Gröbner bases IEEE Trans. Image Process. 15 10 2998 3007 Oct. 2006