An introduction to analog and digital communications
An introduction to analog and digital communications
Recursion theory on the reals and continuous-time computation
Theoretical Computer Science - Special issue on real numbers and computers
Signals & systems (2nd ed.)
Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
Concrete models of computation for topological algebras
Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction
Computable analysis: an introduction
Analog and Hybrid Computing
General-Purpose Electronic Analog Computing: 1945-1965
IEEE Annals of the History of Computing
Svein Rosseland and the Oslo Analyzer
IEEE Annals of the History of Computing
IEEE Annals of the History of Computing
IEEE Annals of the History of Computing
An analog characterization of the Grzegorczyk hierarchy
Journal of Complexity
From Finite Automata toward Hybrid Systems (Extended Abstract)
FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
Theoretical Computer Science
Analog computers and recursive functions over the reals
Journal of Complexity
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Real recursive functions and their hierarchy
Journal of Complexity
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Robust simulations of turing machines with analytic maps and flows
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Physical constraints on hypercomputation
Theoretical Computer Science
Hi-index | 5.23 |
We define a general concept of a network of analog modules connected by channels, processing data from a metric space A, and operating with respect to a global continuous clock T. The inputs and outputs of the network are continuous streams u:T-A, and the input-output behaviour of the network with system parameters from A is modelled by a function @F:A^rxC[T,A]^p-C[T,A]^q(p,q0,r=0), where C[T,A] is the set of all continuous streams equipped with the compact-open topology. We give an equational specification of the network, and a semantics which involves solving a fixed point equation over C[T,A] using a contraction principle based on the fact that C[T,A] can be approximated locally by metric spaces. We show that if the module functions are continuous then so is the network function @F. We analyse in detail two case studies involving mechanical systems. Finally, we introduce a custom-made concrete computation theory over C[T,A] and show that if the module functions are concretely computable then so is @F.