Author:Muhammad Ahmed

Keyphrases

continuous-time system, differential equation, Discrete Fourier Transform, discrete-time system, formal analysis, formal methods, formalization, Fourier transform, frequency response, higher-order logic, HOL Light, Laplace transform, theorem prover, theorem proving, transfer function, transform method, transform method based analysis, transform methods.