On the effect of analog noise in discrete-time analog computations
Neural Computation
Computing with continuous-time Liapunov systems
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Continuous-time symmetric Hopfield nets are computationally universal
Neural Computation
Reachability problems for sequential dynamical systems with threshold functions
Theoretical Computer Science - Mathematical foundations of computer science
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
| Hi-index | 0.00 |