E. Asarin, O. Maler, and A. Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995.
DOI : 10.1016/0304-3975(94)00228-B

E. Asarin and G. Schneider, Widening the Boundary between Decidable and Undecidable Hybrid Systems*, CONCUR 2002 -Concurrency Theory, 13th International Conference, pp.193-208, 2002.
DOI : 10.1007/3-540-45694-5_14

E. Asarin, G. Schneider, and S. Yovine, On the Decidability of the Reachability Problem for Planar Differential Inclusions, Hybrid Systems: Computation and Control, 4th International Workshop, pp.89-104, 2001.
DOI : 10.1007/3-540-45351-2_11

J. Berstel and M. Mignotte, Deux propri??t??s d??cidables des suites r??currentes lin??aires, Bulletin de la Société mathématique de France, vol.79, pp.175-184, 1976.
DOI : 10.24033/bsmf.1823

V. Blondel and J. N. Tsitsiklis, A survey of computational complexity results in systems and control, Automatica, vol.36, issue.9, pp.1249-1274, 2000.
DOI : 10.1016/S0005-1098(00)00050-9

A. Bostan, Algorithmique efficace pour des opérations de base en calcul formel, 2003.

O. Bournez, Complexité algorithmique des systèmes dynamiques continus et hybrides, 1999.

J. V. Brawley and L. Carlitz, Irreducibles and the composed product for polynomials over a finite field, Discrete Mathematics, vol.65, issue.2, pp.115-139, 1987.
DOI : 10.1016/0012-365X(87)90135-X

H. Cohen, A Course in Computational Algebraic Number Theory, 1993.
DOI : 10.1007/978-3-662-02945-9

S. Daniel, M. L. Graça, J. Campagnolo, and . Buescu, Robust simulations of Turing machines with analytic maps and flows, CiE 2005: New Computational Paradigms, pp.169-179, 2005.

V. Halava, T. Harju, M. Hirvensalo, and J. Karhumäki, Skolem's problem -on the border between decidability and undecidability, 2005.

M. W. Hirsch, S. Smale, and R. Devaney, Differential Equations, Dynamical Systems, and an Introduction to Chaos, 2003.

W. Morris, S. Hirsch, and . Smale, Differential Equations, Dynamical Systems, and Linear Algebra, 1974.

J. Lelong-ferrand and J. Es, Cours de mathématiques, tome 1 : algèbre. Dunod, 1971.

N. Edward and . Lorenz, Deterministic non-periodic flow, Journal of the Atmospheric Sciences, vol.20, pp.130-141, 1963.

M. Mignotte, An inequality about factors of polynomials, Mathematics of Computation, vol.28, issue.128, pp.1153-1157, 1974.
DOI : 10.1090/S0025-5718-1974-0354624-3

M. Mignotte, Suites récurrentes linéaires, Séminaire Delange-Pisot-Poitou. Théorie des nombres, pp.14-15, 1974.

J. Von, Z. Gathen, and J. Gerhard, Modern Computer Algebra, 2003.