17 research outputs found
Formalization of Transform Methods using HOL Light
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 frequency response or the solutions of their
corresponding differential equations. In this paper, we present an ongoing
project, which focuses on the higher-order logic formalization of transform
methods using HOL Light theorem prover. In particular, we present the
motivation of the formalization, which is followed by the related work. Next,
we present the task completed so far while highlighting some of the challenges
faced during the formalization. Finally, we present a roadmap to achieve our
objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201
Recommended from our members
Surface-stabilized ferroelectric liquid-crystal diffraction gratings with micrometer-scale pitches
Analytical model for rectangular side-by-side probe in eddy-current non-destructive inspection
Recommended from our members
Calculation of the efficiency of polarisation-insensitive SSFLC diffraction gratings
Recommended from our members
Behaviour of a nematic liquid crystal cell containing a diffraction grating
Recommended from our members