Perturbed Turing machines and hybrid systems
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Robust Undecidability of Timed and Hybrid Systems , 2000, HSCC.
[2] Amir Pnueli,et al. Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..
[3] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[4] Anuj Puri. Dynamical Properties of Timed Automata , 2000, Discret. Event Dyn. Syst..
[5] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.
[6] Moore,et al. Unpredictability and undecidability in dynamical systems. , 1990, Physical review letters.
[7] Martin Fränzle,et al. Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States , 1999, CSL.
[8] Cristopher Moore,et al. Generalized shifts: unpredictability and undecidability in dynamical systems , 1991 .
[9] Pekka Orponen,et al. On the Effect of Analog Noise in Discrete-Time Analog Computations , 1996, Neural Computation.
[10] P. Kloeden,et al. The inflation of attractors and their discretization: the autonomous case , 2000 .
[11] Mark R. Greenstreet,et al. Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.
[12] Michel Cosnard,et al. Computability with Low-Dimensional Dynamical Systems , 1994, Theor. Comput. Sci..
[13] Mike Casey,et al. The Dynamics of Discrete-Time Computation, with Application to Recurrent Neural Networks and Finite State Machine Extraction , 1996, Neural Computation.