1 citations · 1 across the 13 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017★ 1 cited
Formal Analysis of Continuous-time Systems using Fourier Transform
Adnan Rashid, Osman Hasan
To study the dynamical behaviour of the engineering and physical systems, we often need to capture their continuous behaviour, which is modeled using differential equations, and pe…
cs.LO2017
Formal Analysis of Linear Control Systems using Theorem Proving
Adnan Rashid, Osman Hasan
Control systems are an integral part of almost every engineering and physical system and thus their accurate analysis is of utmost importance. Traditionally, control systems are an…
cs.LO2017
Formalization of Transform Methods using HOL Light
Adnan Rashid, Osman Hasan
Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and fr…