Event detection for ODES and nonrecursive hierarchies

  • Keijo Ruohonen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 812)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    HARTMAN, P.: Ordinary Differential Equations. Birkhäuser (1982)Google Scholar
  2. [2]
    HOPCROFT, J.E. & ULLMAN, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)Google Scholar
  3. [3]
    KO, KER-I: On the Computational Complexity of Ordinary Differential Equations. Inform. and Control 58 (1983), 157–194Google Scholar
  4. [4]
    POUR-EL, M.B. & RICHARDS, I.: A Computable Ordinary Differential Equation which Possesses No Computable Solutions. Ann. Math. Logic 17 (1979), 61–90Google Scholar
  5. [5]
    POUR-EL, M.B. & RICHARDS, I.: Computability in Analysis and Physics. Springer-Verlag (1989)Google Scholar
  6. [6]
    ROGERS, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill (1967)Google Scholar
  7. [7]
    ROXIN, E.O.: Ordinary Differential Equations. Wadsworth (1972)Google Scholar
  8. [8]
    RUOHONEN, K.: Turing Machine Simulation by ODEs. Report 59, Tampere University of Technology, Department of Electrical Engineering, Mathematics. Tampere (1991)Google Scholar
  9. [9]
    RUOHONEN, K.: Undecidability of Event Detection for ODEs. J. Inform. Proc. Cybern. EIK 29 (1993), 101–113Google Scholar
  10. [10]
    RUOHONEN, K.: Reversible Machines and Post's Correspondence Problem for Biprefix Morphisms. Elektron. Inf.verarb. Kybern. EIK 21 (1985), 579–595Google Scholar
  11. [11]
    RUOHONEN, K.: An Effective Cauchy-Peano Existence Theorem for Unique Solutions. Report 63, Tampere University of Technology, Department of Information Technology, Mathematics. Tampere (1993)Google Scholar
  12. [12]
    SHAMPINE, L.F. & GLADWELL, I. & BRANKIN, R.W.: Reliable Solution of Special Event Location Problems for ODEs. ACM Trans. on Math. Software 17 (1991), 11–25Google Scholar
  13. [13]
    VICHNIAC, G.Y.: Instability in Discrete Algorithms and Exact Reversibility. SIAM J. Alg. Disc. Math. 5 (1984), 596–602Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Keijo Ruohonen
    • 1
  1. 1.Department of MathematicsTampere University of TechnologyTampereFinland

Personalised recommendations