Formal analysis of continuous-time systems using Fourier transform

Adnan Rashid, Osman Hasan. Formal analysis of continuous-time systems using Fourier transform. Journal of Symbolic Computation, 90:65-88, 2019. [doi]

Abstract

Abstract is missing.