Undecidable event detection problems for ODEs of dimension one and two
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 1, pp. 67-79. 
@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},
     pages = {67--79},
     publisher = {EDP-Sciences},
     volume = {31},
     number = {1},
     year = {1997},
     mrnumber = {1460457},
     zbl = {0878.68062},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1997__31_1_67_0/}
}
TY  - JOUR
AU  - Ruohonen, Keijo
TI  - Undecidable event detection problems for ODEs of dimension one and two
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1997
SP  - 67
EP  - 79
VL  - 31
IS  - 1
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1997__31_1_67_0/
LA  - en
ID  - ITA_1997__31_1_67_0
ER  - 
%0 Journal Article
%A Ruohonen, Keijo
%T Undecidable event detection problems for ODEs of dimension one and two
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1997
%P 67-79
%V 31
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1997__31_1_67_0/
%G en
%F 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) no. 1, pp. 67-79. http://archive.numdam.org/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 | Zbl

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

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

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

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

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

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 | Zbl

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 | Zbl

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

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

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

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

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

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

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 | Zbl

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