Sorry, you need to enable JavaScript to visit this website.

Can every analog system be simulated on a digital computer?

Citation Author(s):
Submitted by:
Volker Pohl
Last updated:
14 May 2020 - 6:54am
Document Type:
Presentation Slides
Document Year:
2020
Event:
Presenters Name:
Volker Pohl
Paper Code:
DIS-P4.8

Abstract 

Abstract: 

A Turing machine is a model describing the fundamental limits of any realizable computer, digital signal processor (DSP), or field programmable gate array (FPGA). This paper shows that there exist very simple linear time-invariant (LTI) systems which can not be simulated on a Turing machine. In particular, this paper considers the linear system described by the voltage-current relation of an ideal capacitor. For this system, it is shown that there exist continuously differentiable and computable input signals such that the output signal is a continuous function which is not computable. Moreover, for this particular system, we present sharp results characterizing computable input signals which guarantee that the output signal is computable. Additionally, it is shown that the computability of the step response of an LTI system does not necessarily imply that the impulse response is computable.

up
0 users have voted:

Dataset Files

BoPo_ICASSP2597.pdf

(117)