December 23, Wednesday 14:15, Room 570, Education Building – NOTE SPECIAL LOCATION.

Fixed-point Semantics for Analogue Computation on Metric Algebras

Lecturer : Jeffry Zucker

Lecturer homepage : http://www.cas.mcmaster.ca/~zucker/

Affiliation : McMaster University, Canada


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 network's inputs and outputs are continuous streams u: T ® A, and its input-output behaviour is modelled by a functional F on the set C[T,A] of all continuous streams equipped with the compact-open topology.  We give a semantics which involves solving a fixed point equation over C[T,A] using a contraction principle.  We show that if the module functions are continuous then so is the network function F. This is significant in terms of Hadamard's principle. We present a case study involving mechanical systems.

We introduce two computation models on C[T,A]: one "concrete", in the sense of recursive analysis, and the other "abstract", based on a high level programming language on C[T,A].  We show that these models are equivalent, and that if the module functions are computable (w.r.t. either of them) then so is F.

This is joint work with J.V. Tucker (Swansea)