E. Asarin, O. Maler and A. Pnueli, \Reachability analysis of dynamical systems with piecewise-constant derivatives." Theor. Comp. Sci. 138 (1995) 35-66. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Closed-form Analytic Maps in One and Two Dimensions Can.. - Koiran, Moore (1999) (4 citations) (Correct)
....April 6, 1999 Abstract We show closed form analytic functions consisting of a nite number of trigonometric terms can simulate Turing machines, with exponential slowdown in one dimension or in real time in two or more. 1 Introduction Various authors have independently shown [9, 12, 4, 14, 1] that nite dimensional piecewise linear maps and ows can simulate Turing machines. The construction is simple: associate the digits of the x and y coordinates of a point with the left and right halves of a Turing machine s tape. Then we can shift the tape head by halving or doubling x and y, and ....
E. Asarin, O. Maler and A. Pnueli, \Reachability analysis of dynamical systems with piecewise-constant derivatives." Theor. Comp. Sci. 138 (1995) 35-66.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC