P. Aubry, F. Rouillier, S. E. Din, and M. , Real solving for positive dimensional systems, Journal of Symbolic Computation, vol.34, issue.6, pp.543-560, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100982

O. Bachelier, T. Cluzeau, R. David, Y. , and N. , Structural stability and equivalence of linear 2D discrete systems, Proceedings of the IFAC Joint Symposium SSSC & TDS, 2016.

O. Bachelier, T. Cluzeau, R. David, Y. , and N. , Asymptotic and structural stability for a linear 2d discrete roesser model, 10th International Workshop on Multidimensional (nD) Systems (nDS), pp.1-6, 2017.

O. Bachelier, W. Paszke, N. Yeganefar, D. Mehdi, C. et al., LMI stability conditions for 2D roesser models, IEEE Transactions on Automatic Control, vol.61, issue.3, pp.766-770, 2016.

B. Bank, M. Giusti, J. Heintz, and G. Mbakop, Polar varieties and efficient real elimination, Mathematische Zeitschrift, vol.238, issue.1, pp.115-144, 2001.

B. Bank, M. Giusti, J. Heintz, and L. M. Pardo, Generalized polar varieties: Geometry and algorithms, Journal of complexity, vol.21, issue.4, pp.377-412, 2005.

S. Basu, R. Pollack, R. , and M. , Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics, vol.10, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01083587

Y. Bistritz, Zero location with respect to the unit circle of discrete-time linear system polynomials, Proceedings of the IEEE, vol.72, issue.9, pp.1131-1142, 1984.

Y. Bistritz, A circular stability test for general polynomials, Systems & control letters, vol.7, issue.2, pp.89-97, 1986.

Y. Bistritz, An immittance-type stability test for 2-d digital filters, Conference Record of the Twenty-Eighth Asilomar Conference on Signals, Systems and Computers, vol.2, pp.918-922, 1994.

Y. Bistritz, Zero location of polynomials with respect to the unit-circle unhampered by nonessential singularities. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on, vol.49, issue.3, pp.305-314, 2002.

Y. Bistritz, Testing stability of 2-D discrete systems by a set of real 1-D stability tests, IEEE Transactions on Circuits and Systems I: Regular Papers, vol.51, issue.7, pp.1312-1320, 2004.

Y. Bouzidi, Solving bivariate algebraic systems and topology of plane curves, 2014.
URL : https://hal.archives-ouvertes.fr/tel-00979707

Y. Bouzidi, Résolution de systmes bivariés et topologie de courbes planes, 2014.

Y. Bouzidi, S. Lazard, M. Pouget, and F. Rouillier, Solving bivariate systems: Efficient randomized algorithm for computing rational univariate representations and application to the topology of plane curves, 2013.

Y. Bouzidi, S. Lazard, M. Pouget, and F. Rouillier, Separating linear forms and rational univariate representations of bivariate systems, Journal of Symbolic Computation, vol.68, pp.84-119, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00977671

G. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Lecture Notes in Computer Science, vol.33, pp.515-532, 1975.

D. Cox, J. Little, and D. Shea, Varieties, and Algorithms. Undergraduate Texts in Mathematics, 2007.

D. N. Daouda, B. Mourrain, and O. Ruatta, On the computation of the topology of a non-reduced implicit space curve, ISSAC'08: Proceedings of the twentyfirst international symposium on Symbolic and Algebraic Computation, pp.47-54, 2008.

R. A. Decarlo, J. Murray, and R. Saeks, Multivariable Nyquist theory. International Journal of Control, vol.25, issue.5, pp.657-675, 1977.

B. Dumitrescu, Stability test of multidimensional discrete-time systems via sum-ofsquares decomposition, IEEE Transactions on Circuits and Systems I: Regular Papers, vol.53, issue.4, pp.928-936, 2006.

B. Dumitrescu, LMI stability tests for the Fornasini-Marchesini model, IEEE Transactions on Signal Processing, vol.56, issue.8, pp.4091-4095, 2008.

J. Faugère, A new efficient algorithm for computing Gröbner bases (F 4 ), J. of Pure and Applied Algebra, vol.139, issue.1-3, pp.61-88, 1999.

P. Fu, J. Chen, and S. Niculescu, Author's reply to a counterexample to generalized eigenvalue-based stability tests for 2-d linear systems: Necessary and sufficient conditions, Automatica, vol.46, issue.1, pp.236-237, 2010.

M. Giusti, G. Lecerf, and B. Salvy, A Gröbner free alternative for solving polynomial systems, Journal of Complexity, vol.17, issue.1, pp.154-211, 2001.

X. Hu and E. Jury, On two-dimensional filter stability test, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, vol.41, pp.457-462, 1994.

E. I. Jury, Theory and Application of the z-Transform Method, vol.3, 1964.

D. Lazard and F. Rouillier, Solving parametric polynomial systems, Journal of Symbolic Computation, vol.42, pp.636-667, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00070678

L. Li, L. Xu, L. , and Z. , Stability and stabilisation of linear multidimensional discrete systems in the frequency domain, International Journal of Control, vol.86, issue.11, pp.1969-1989, 2013.

M. Marden, The geometry of the zeros of a polynomial in the complex plane, In Amer. Math. Soc, 1949.

N. Revol and F. Rouillier, Motivations for an arbitrary precision interval arithmetic and the mpfi library, Reliable Computing, vol.11, pp.1-16, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00100985

F. Rouillier, Solving zero-dimensional systems through the rational univariate representation, Journal of Applicable Algebra in Engineering, Communication and Computing, vol.9, issue.5, pp.433-461, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00073264

F. Rouillier, RS3: Real roots isolation for bivariate algebraic systems of equations with rational coefficients with a finite number of complex roots, 2012.

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial real roots, J. of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00072518

F. Rouillier, M. Roy, S. E. Din, and M. , Finding at least one point in each connected component of a real algebraic set defined by a single equation, Journal of Complexity, vol.16, issue.4, pp.716-750, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00107845

M. Safey-el-din, RAGLIB: A library for real solving polynomial systems of equations and inequalities, 2007.

M. Safey-el-din and ´. E. Schost, Polar varieties and computation of one point in each connected component of a smooth real algebraic set, Proceedings of ISSAC 2003, pp.365-374, 1954.
URL : https://hal.archives-ouvertes.fr/inria-00099649

I. Serban and M. Najim, Multidimensional systems: Bibo stability test based on functional schur coefficients, IEEE Transactions on, vol.55, issue.11, pp.5277-5285, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00181756

M. Strintzis, Tests of stability of multidimensional filters, IEEE Transactions on Circuits and Systems, vol.24, pp.432-437, 1977.

L. Xu, M. Yamada, Z. Lin, O. Saito, A. et al., Further improvements on Bose's 2-D stability test, International Journal of Control Automation and Systems, vol.2, pp.319-332, 2004.