Undecidable event detection problems for ODEs of dimension one and two
Ruohonen, Keijo
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997), p. 67-79 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1997-01-01
@article{ITA_1997__31_1_67_0,
     author = {Ruohonen, Keijo},
     title = {Undecidable event detection problems for ODEs of dimension one and two},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {31},
     year = {1997},
     pages = {67-79},
     mrnumber = {1460457},
     zbl = {0878.68062},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1997__31_1_67_0}
}

Ruohonen, Keijo. Undecidable event detection problems for ODEs of dimension one and two. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) pp. 67-79. http://gdmltest.u-ga.fr/item/ITA_1997__31_1_67_0/

1. C. H. Bennett, Logical Reversibility of Cornputation. IBM J. Res. Dev. 17, 1973, pp. 525-523. | MR 449020 | Zbl 0267.68024

2. P. Hartman, Ordinary Differential Equations. Birkhäuser, 1982. | MR 658490

3. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979. | MR 645539 | Zbl 0426.68001

4. P. Koiran, P. Cosnard and M. Garzon, Computability with Low-Dimensional Dynamical Systems. Theoret Comput. Sci. 132, 1994, pp. 113-128. | MR 1290538 | Zbl 0821.68053

5. C. Moore, Unpredictability and Undecidability in Dynamical Systems. Phys. Rev. Lett. 64, 1990, pp. 2354-2357. | MR 1050259 | Zbl 1050.37510

6. C. Moore, Generalized Shifts: Unpredictability and Undecidability in Dynamical Systems. Nonlinearity 4, 1991, pp. 199-230. | MR 1107005 | Zbl 0725.58013

7. M. Y. Lecerf, Machines de Turing réversibles. Récursive insolubilité en n ∈ N de l'équation u = θnu, où θ est un "isomorphisme de codes". Comptes Rendus 257, 1963, pp. 2597-2600. | MR 175790 | Zbl 0192.06901

8. M. B. Pour-El and I. Richards, A Computable Ordinary Differential Equation which Possesses No Computable Solutions. Ann. Math. Logic 17, 1979, pp. 61-90. | MR 552416 | Zbl 0424.68028

9. M. B. Pour-El and I. Richards, Computability in Analysis and Physics. Springer-Verlag, 1989. | MR 1005942 | Zbl 0678.03027

10. E. O. Roxin, Ordinary Differential Equations. Wadsworth, 1972. | MR 463536 | Zbl 0255.34001

11. K. Ruohonen, Undecidability of Event Detection for ODEs. J. Inform. Proc. Cybern. EIK, 29, 1993, pp. 101-113. | Zbl 0771.65035

12. K. Ruohonen, Event Detection and Nonrecursive Hierarchies. Results and Trends in Theoretical Computer Science (J. Karhumäki, H. Maurer and G. Rozenberg, Eds.). Lecture Notes in Computer Science 812. Springer-Verlag, 1994, pp. 358-371. | MR 1286976

13. K. Ruohonen, Decidability and Complexity of Event Detection Problems for ODEs. To appear in Complexity. | MR 1473602

14. K. Ruohonen, Reversible Machines and Post's Correspondence Problem for Biprefix Morphisms. Elektron. Inf.verarb. Kybern. EIK 21, 1985, pp. 579-595. | MR 825861 | Zbl 0604.68057

15. L. F. Shampine, I. Gladwell and R. W. Brankin, Reliable Solution of Special Event Location Problems for ODEs. ACM Trans. Math. Software 17, 1991, pp. 11-25. | MR 1103624 | Zbl 0900.65208

16. H. T. Stegelmann, Computation Beyond the Turing Limit. Science 268, 1995, pp. 545-548.