Complexity blowup in simulating analog linear time-invariant systems on digital computers

Holger Boche, Volker Pohl

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Abstract

This paper proves that every non-trivial, linear time-invariant (LTI) system of the first order shows a complexity blowup if it is simulated on a digital computer. This means that there exists a low-complexity input signal, which can be generated on a Turing machine in polynomial time, but such that the output signal of the LTI system has high complexity in the sense that the computation time for determining an approximation up to n significant digits grows faster than any polynomial in n. Moreover, this input signal can easily and explicitly be generated from the given system parameters by a Turing machine. It is also shown that standard techniques for simulating higher-order LTI systems with real poles show the same complexity blowup. Finally, it is shown that a similar complexity blowup occurs for the calculation of Fourier series approximations and Fourier transforms.

Original languageEnglish
Pages (from-to)5005-5020
Number of pages16
JournalIEEE Transactions on Signal Processing
Volume69
DOIs
StatePublished - 2021

Keywords

  • Analog circuits
  • LTI systems
  • Turing machines
  • complexity blowup
  • computability

Fingerprint

Dive into the research topics of 'Complexity blowup in simulating analog linear time-invariant systems on digital computers'. Together they form a unique fingerprint.

Cite this