Formal Analysis of Continuous-time Systems using Fourier Transform.

Adnan Rashid Osman Hasan

Published in: CoRR (2017)

Keyphrases

fourier transform
formal analysis
frequency domain
formal methods
signal processing
log polar
fourier domain
polar coordinates
neural network
low cost
bit rate
building blocks
phase difference