Formalization of Fourier Transform in HOL. Higher-order Logic (Rough Diamond)
|
|
- Donald Lawrence
- 5 years ago
- Views:
Transcription
1 On the Formalization of Fourier Transform in Higher-order Logic (Rough Diamond) Adnan Rashid and Osman Hasan System Analysis and Verification (SAVe) Lab National University of Sciences and Technology (NUST) Islamabad, Pakistan ITP, 2016 Nancy, France August 22, 2016 A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 1 / 19
2 Overview 1 Introduction and Motivation 2 Formalization Details 3 Case Study (Automobile Suspension System) 4 Conclusions A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 2 / 19
3 Fourier Transform: Analogy Smoothie to Recipe Example Banana Filter Orange Filter Milk Filter Water Filter Banana Amount (1 oz) Orange Amount (2 oz) Milk Amount (3 oz) Water Amount (3 oz) Consumer Viewpoint Transformation Producer Viewpoint A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 3 / 19
4 Fourier Transform: Graphical Representation Time Domain s(t) FT Frequency Domain S( A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 4 / 19
5 Fourier Transform An integral-based transform method Mathematically, expressed as: F[f (t)] = F (ω) = + f (t)e jωt dt, ω ɛ R A linear operator Accepts a time varying non-causal function f (t) with real argument t ɛ R Outputs the corresponding ω-domain representation F (ω) with ω ɛ R A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 5 / 19
6 Fourier Transform: Utilization Solve linear Partial Differential Equations (PDEs) using simple algebraic techniques Used to conduct frequency response analysis of the continuous-time engineering and physical systems A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 6 / 19
7 Fourier Transform: Example u t = c2 2 u x 2 Second Order Linear Partial Differential Equation A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 7 / 19
8 Fourier Transform: Example u t = c2 2 u x 2 Second Order Linear Partial Differential Equation u t = c 2 u xx Equivalently written as A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 7 / 19
9 Fourier Transform: Example u t = c2 2 u x 2 Second Order Linear Partial Differential Equation u t = c 2 u xx Equivalently written as F[u t] = F[c 2 u xx ] Taking Fourier Transform on both sides A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 7 / 19
10 Fourier Transform: Example u t = c2 2 u x 2 Second Order Linear Partial Differential Equation u t = c 2 u xx Equivalently written as F[u t] = F[c 2 u xx ] Taking Fourier Transform on both sides U(ω, t) = c 2 (iω) 2 U(ω, t) = c 2 ω 2 U(ω, t) Using the Fourier of derivative of function and the linearity property A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 7 / 19
11 Fourier Transform: Example u t = c2 2 u x 2 Second Order Linear Partial Differential Equation u t = c 2 u xx Equivalently written as F[u t] = F[c 2 u xx ] Taking Fourier Transform on both sides U(ω, t) = c 2 (iω) 2 U(ω, t) = c 2 ω 2 U(ω, t) Using the Fourier of derivative of function and the linearity property t U(ω, t) = c2 ω 2 U(ω, t) Equivalent written as A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 7 / 19
12 Fourier Transform: Example u t = c2 2 u x 2 Second Order Linear Partial Differential Equation u t = c 2 u xx Equivalently written as F[u t] = F[c 2 u xx ] Taking Fourier Transform on both sides U(ω, t) = c 2 (iω) 2 U(ω, t) = c 2 ω 2 U(ω, t) Using the Fourier of derivative of function and the linearity property t U(ω, t) = c2 ω 2 U(ω, t) Equivalent written as U(ω, t) = K(ω)e c2 ω 2 t Solution in ω-domain A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 7 / 19
13 Real-world Applications for Fourier Transform Integral part of analyzing many engineering and physical systems Signal Processing Image Processing Mechanical Networks Optical Systems Antenna Designing Communication Systems A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 8 / 19
14 Transform Methods: Related Work S.H. Taqdees and O. Hasan, Formalization of Laplace Transform Using the Multivariate Calculus Theory of HOL-Light; Logic for Programing Artificial Intelligence and Reasoning (LPAR 2013), Lecture Notes in Computer Science Volume 8312, Springer, pp U. Siddique, M. Y. Mahmoud and S. Tahar, On the Formalization of Z-Transform in HOL; Interactive Theorem Proving (ITP 2014), Lecture Notes in Computer Science Volume 8558, 2014, Springer, pp A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 9 / 19
15 Transform Methods: Comparison Transform Methods Governing Equations Input Function Input Function Type Output Function Laplace Transform F (s) = 0 f (t)e st dt Continuous time domain function Semi-finite / causal function s-domain (s = a+iω) Stable / Convergent function Fourier Transform F (ω) = + f (t)e jωt dt Continuous time domain function ω-domain (s = iω) z-transform F (z) = Discrete + 0 f [n]z n time function Sampled function z-domain (z = e is ) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 10 / 19
16 Formal Definition of Fourier Transform Mathematical Definition: F[f (t)] = F (ω) = + f (t)e jωt dt, ω ɛ R Given f is piecewise smooth and is absolutely integrable on the whole real line, i.e., f is absolutely integrable on both the positive and negative real lines A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 11 / 19
17 Formal Definition of Fourier Transform Mathematical Definition: F[f (t)] = F (ω) = + f (t)e jωt dt, ω ɛ R Given f is piecewise smooth and is absolutely integrable on the whole real line, i.e., f is absolutely integrable on both the positive and negative real lines Definition: Fourier Transform w f. fourier f w = integral UNIV (λt. cexp (--((ii Cx w) Cx (drop t))) f t) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 11 / 19
18 Formal Definition of Fourier Transform Mathematical Definition: F[f (t)] = F (ω) = + f (t)e jωt dt, ω ɛ R Given f is piecewise smooth and is absolutely integrable on the whole real line, i.e., f is absolutely integrable on both the positive and negative real lines Definition: Fourier Transform w f. fourier f w = integral UNIV (λt. cexp (--((ii Cx w) Cx (drop t))) f t) Definition: Fourier Existence f w a b. fourier exists f = ( a b. f piecewise differentiable on interval [lift a, lift b]) f absolutely integrable on {x &0 <= drop x} f absolutely integrable on {x drop x <= &0} A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 11 / 19
19 Formalized Fourier Transform Properties Mathematical Form Formalized Form Existence of the Improper Integral of Fourier Transform f w. fourier exists f f (t)e jωt (λt. cexp (--((ii Cx w) Cx (drop t))) f t) integrable on (, + ) integrable on UNIV Linearity f g w a b. F[αf (t) + βg(t)] = fourier exists f fourier exists g αf (ω) + βg(ω) fourier (λt. a f t + b g t) w = a fourier f w + b fourier g w Frequency Shifting f w w0. fourier exists f F[e iω0t f (t)] = F (ω ω 0) fourier (λt. cexp ((ii Cx (w0)) Cx (drop t)) f t) w = F[cos(ω 0t)f (t)] = F (ω ω 0) + F (ω + ω 0) 2 F[sin(ω 0t)f (t)] = F (ω ω 0) F (ω + ω 0) 2i fourier f (w - w0) Modulation f w w0. fourier exists f fourier (λt. ccos (Cx w0 Cx (drop t)) f t) w = (fourier f (w - w0) + fourier f (w + w0)) / Cx (&2) f w w0. fourier exists f fourier (λt. csin (Cx w0 Cx (drop t)) f t) w = (fourier f (w - w0) - fourier f (w + w0)) / (Cx (&2) ii) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 12 / 19
20 Formalized Fourier Transform Properties Mathematical Form F[f ( t)] = F ( ω) F[ d f (t)] = iωf (ω) dt F[ dn dt n f (t)] = (iω)n F (ω) Formalized Form Time Reversal f w. fourier exists f fourier (λt. f (--t)) w = fourier f (--w) First-order Differentiation f w. fourier exists f fourier exists (λt. vector derivative f (at t)) ( t. f differentiable at t) ((λt. f (lift t)) vec 0) at posinfinity ((λt. f (lift t)) vec 0) at neginfinity fourier (λt. vector derivative f (at t)) w = ii Cx w fourier f w Higher-order Differentiation f w n. fourier exists higher deriv n f ( t. differentiable higher derivative n f t) ( p. p < n ((λt. higher vector derivative p f (lift t)) vec 0) at posinfinity) ( p. p < n ((λt. higher vector derivative p f (lift t)) vec 0) at neginfinity) fourier (λt. higher vector derivative n f t) w = (ii Cx w) pow n fourier f w 3500 lines of HOL-Light code and approximately 300 man-hours A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 13 / 19
21 Case Study: Automobile Suspension System (ASS) A mechanical system Is intended to filter out the rapid variations on the road surface To act as a low-pass filter M d2 y(t) dt 2 Differential Equation: + b dy(t) dt + ky(t) = ku(t) + b du(t) dt Frequency Response: b Y (ω) U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 14 / 19
22 Automobile Suspension System (ASS) Differential Equation: M d 2 y(t) dt 2 + b dy(t) dt + ky(t) = ku(t) + b du(t) dt A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 15 / 19
23 Automobile Suspension System (ASS) Differential Equation: M d 2 y(t) dt 2 + b dy(t) dt + ky(t) = ku(t) + b du(t) dt Definition: Differential Equation of order n n L f t. differential equation n L f t vsum (0..n) (λk. EL k L t higher order derivative k f t ) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 15 / 19
24 Automobile Suspension System (ASS) Differential Equation: M d 2 y(t) dt 2 + b dy(t) dt + ky(t) = ku(t) + b du(t) dt Definition: Differential Equation of order n n L f t. differential equation n L f t vsum (0..n) (λk. EL k L t higher order derivative k f t ) Definition: Differential Equation of ASS y u a b c. diff eq ASS y u M b k ( t. differential equation 2 [Cx k; Cx b ; Cx M] y t = differential equation 1 [Cx k; Cx b] u t) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 15 / 19
25 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
26 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
27 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
28 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
29 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
30 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
31 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
32 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
33 Automobile Suspension System (ASS) Frequency Response: Y (ω) Theorem: Frequency Response of ASS b U(ω) = M (iω) + k M (iω) 2 + b M (iω) + k M y u w a. &0 < M &0 < b &0 < k ( t. differentiable higher derivative 2 y t) ( t. differentiable higher derivative 1 u t) fourier exists higher deriv 2 y fourier exists higher deriv 1 u ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at posinfinity) ( p. p < 2 ((λt. higher vector derivative p y (lift t)) vec 0) at neginfinity) ((λt. u (lift t)) vec 0) at posinfinity ((λt. u (lift t)) vec 0) at neginfinity ( t. diff eq ASS y u a b c) (fourier u w = Cx (&0)) ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M) = Cx (&0)) (fourier y w / fourier u w = (Cx (b / M) ii Cx w + Cx (k / M)) / ((ii Cx w) pow 2 + Cx (b / M) ii Cx w + Cx (k / M)) 500 lines of HOL-Light code and the proof process took just a couple of hours A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 16 / 19
34 Conclusions Formalization of Fourier transform using higher-order logic Foundations Utilized Multivariate Calculus theory of HOL-Light Integration Differential Transcendental Topological Case Study Automobile Suspension System A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 17 / 19
35 Future Work Formalization of inverse Fourier transform Whole framework will provide solutions to differential equations Formalization of 2-dimensional Fourier transform Widely used for the analysis Optical systems Electromagnetics Image processing A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 18 / 19
36 Thanks! For More Information Visit our website Contact A. Rashid and O. Hasan Formalization of Fourier Transform in HOL 19 / 19
Formal Analysis of Continuous-time Systems using Fourier Transform
Formal Analysis of Continuous-time Systems using Fourier Transform Adnan Rashid School of Electrical Engineering and Computer Science (SEECS) National University of Sciences and Technology (NUST), Islamabad,
More informationFormalization of Transform Methods using HOL Light
Formalization of Transform Methods using HOL Light Adnan Rashid and Osman Hasan School of Electrical Engineering and Computer Science (SEECS) National University of Sciences and Technology (NUST) Islamabad,
More informationarxiv: v1 [cs.lo] 8 Jun 2018
Formalization of Lerch s Theorem using HOL Light arxiv:1806.03049v1 [cs.lo] 8 Jun 018 Adnan Rashid School of Electrical Engineering and Computer Science SEECS) National University of Sciences and Technology
More informationOn the Formalization of Z-Transform in HOL
On the Formalization of Z-Transform in HOL Umair Siddique, Mohamed Yousri Mahmoud, and Sofiène Tahar Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada {muh sidd,mo
More informationLecture 4: Fourier Transforms.
1 Definition. Lecture 4: Fourier Transforms. We now come to Fourier transforms, which we give in the form of a definition. First we define the spaces L 1 () and L 2 (). Definition 1.1 The space L 1 ()
More informationThe integrating factor method (Sect. 1.1)
The integrating factor method (Sect. 1.1) Overview of differential equations. Linear Ordinary Differential Equations. The integrating factor method. Constant coefficients. The Initial Value Problem. Overview
More informationFormal Stability Analysis of Control Systems
Formal Stability Analysis of Control Systems Asad Ahmed, Osman Hasan and Falah Awwad 1 School of Electrical Engineering and Computer Science (SEECS) National University of Sciences and Technology (NUST)
More informationContinuous-Time Frequency Response (II) Lecture 28: EECS 20 N April 2, Laurent El Ghaoui
EECS 20 N April 2, 2001 Lecture 28: Continuous-Time Frequency Response (II) Laurent El Ghaoui 1 annoucements homework due on Wednesday 4/4 at 11 AM midterm: Friday, 4/6 includes all chapters until chapter
More informationECEN 420 LINEAR CONTROL SYSTEMS. Lecture 2 Laplace Transform I 1/52
1/52 ECEN 420 LINEAR CONTROL SYSTEMS Lecture 2 Laplace Transform I Linear Time Invariant Systems A general LTI system may be described by the linear constant coefficient differential equation: a n d n
More informationFormal Reasoning about Systems Biology using Theorem Proving
Formal Reasoning about Systems Biology using Theorem Proving Adnan Rashid*, Osman Hasan*, Umair Siddique** and Sofiène Tahar** *School of Electrical Engineering and Computer Science (SEECS), National University
More informationELEC2400 Signals & Systems
ELEC2400 Signals & Systems Chapter 7. Z-Transforms Brett Ninnes brett@newcastle.edu.au. School of Electrical Engineering and Computer Science The University of Newcastle Slides by Juan I. Yu (jiyue@ee.newcastle.edu.au
More information10 Transfer Matrix Models
MIT EECS 6.241 (FALL 26) LECTURE NOTES BY A. MEGRETSKI 1 Transfer Matrix Models So far, transfer matrices were introduced for finite order state space LTI models, in which case they serve as an important
More informationFormal Analysis of Discrete-Time Systems using z-transform
Formal Analysis of Discrete-Time Systems using z-transform Umair Siddique Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada muh_sidd@ece.concordia.ca Mohamed
More informationUNIVERSITY OF BOLTON SCHOOL OF SPORT AND BIOMEDICAL SCIENCES. BEng (HONS)/MEng BIOMEDICAL ENGINEERING SEMESTER ONE EXAMINATIONS 2016/17
UNIVERSITY OF BOLTON LH13 SCHOOL OF SPORT AND BIOMEDICAL SCIENCES BEng (HONS)/MEng BIOMEDICAL ENGINEERING SEMESTER ONE EXAMINATIONS 2016/17 BIOMEDICAL ENGINEERING MODELLING AND ANALYSIS MODULE NO: BME5001
More informationCITY UNIVERSITY LONDON
No: CITY UNIVERSITY LONDON BEng (Hons)/MEng (Hons) Degree in Civil Engineering BEng (Hons)/MEng (Hons) Degree in Civil Engineering with Surveying BEng (Hons)/MEng (Hons) Degree in Civil Engineering with
More informationANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction
ANALYTIC SEMIGROUPS AND APPLICATIONS KELLER VANDEBOGERT. Introduction Consider a Banach space X and let f : D X and u : G X, where D and G are real intervals. A is a bounded or unbounded linear operator
More informationIntroduction to Fourier Transforms. Lecture 7 ELE 301: Signals and Systems. Fourier Series. Rect Example
Introduction to Fourier ransforms Lecture 7 ELE 3: Signals and Systems Fourier transform as a limit of the Fourier series Inverse Fourier transform: he Fourier integral theorem Prof. Paul Cuff Princeton
More informationGeorge Mason University Signals and Systems I Spring 2016
George Mason University Signals and Systems I Spring 206 Problem Set #6 Assigned: March, 206 Due Date: March 5, 206 Reading: This problem set is on Fourier series representations of periodic signals. The
More informationLecture 1 January 5, 2016
MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture January 5, 26 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long; Edited by E. Candes & E. Bates Outline
More informationThe Laplace transform
The Laplace transform Samy Tindel Purdue University Differential equations - MA 266 Taken from Elementary differential equations by Boyce and DiPrima Samy T. Laplace transform Differential equations 1
More informationDr. Ian R. Manchester
Dr Ian R. Manchester Week Content Notes 1 Introduction 2 Frequency Domain Modelling 3 Transient Performance and the s-plane 4 Block Diagrams 5 Feedback System Characteristics Assign 1 Due 6 Root Locus
More information7.2 Relationship between Z Transforms and Laplace Transforms
Chapter 7 Z Transforms 7.1 Introduction In continuous time, the linear systems we try to analyse and design have output responses y(t) that satisfy differential equations. In general, it is hard to solve
More informationInfinite-dimensional methods for path-dependent equations
Infinite-dimensional methods for path-dependent equations (Università di Pisa) 7th General AMaMeF and Swissquote Conference EPFL, Lausanne, 8 September 215 Based on Flandoli F., Zanco G. - An infinite-dimensional
More informationUNIVERSITY OF MANITOBA
Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic
More informationLECTURE 4 WAVE PACKETS
LECTURE 4 WAVE PACKETS. Comparison between QM and Classical Electrons Classical physics (particle) Quantum mechanics (wave) electron is a point particle electron is wavelike motion described by * * F ma
More informationX(t)e 2πi nt t dt + 1 T
HOMEWORK 31 I) Use the Fourier-Euler formulae to show that, if X(t) is T -periodic function which admits a Fourier series decomposition X(t) = n= c n exp (πi n ) T t, then (1) if X(t) is even c n are all
More informationReliability Block Diagrams based Analysis: A Survey
Reliability Block Diagrams based Analysis: A Survey O. Hasan 1, W. Ahmed 1 S. Tahar 2 and M.S. Hamdi 3 1 National University of Sciences and Technology, Islamabad Pakistan 2 Concordia University, Montreal,
More informationCITY UNIVERSITY LONDON. BEng (Hons) in Electrical and Electronic Engineering PART 2 EXAMINATION. ENGINEERING MATHEMATICS 2 (resit) EX2003
No: CITY UNIVERSITY LONDON BEng (Hons) in Electrical and Electronic Engineering PART 2 EXAMINATION ENGINEERING MATHEMATICS 2 (resit) EX2003 Date: August 2004 Time: 3 hours Attempt Five out of EIGHT questions
More informationA sufficient condition for the existence of the Fourier transform of f : R C is. f(t) dt <. f(t) = 0 otherwise. dt =
Fourier transform Definition.. Let f : R C. F [ft)] = ˆf : R C defined by The Fourier transform of f is the function F [ft)]ω) = ˆfω) := ft)e iωt dt. The inverse Fourier transform of f is the function
More informationf (t) K(t, u) d t. f (t) K 1 (t, u) d u. Integral Transform Inverse Fourier Transform
Integral Transforms Massoud Malek An integral transform maps an equation from its original domain into another domain, where it might be manipulated and solved much more easily than in the original domain.
More informationE2.5 Signals & Linear Systems. Tutorial Sheet 1 Introduction to Signals & Systems (Lectures 1 & 2)
E.5 Signals & Linear Systems Tutorial Sheet 1 Introduction to Signals & Systems (Lectures 1 & ) 1. Sketch each of the following continuous-time signals, specify if the signal is periodic/non-periodic,
More informationEECS 20N: Midterm 2 Solutions
EECS 0N: Midterm Solutions (a) The LTI system is not causal because its impulse response isn t zero for all time less than zero. See Figure. Figure : The system s impulse response in (a). (b) Recall that
More informationUCLA Math 135, Winter 2015 Ordinary Differential Equations
UCLA Math 135, Winter 2015 Ordinary Differential Equations C. David Levermore Department of Mathematics University of Maryland January 5, 2015 Contents 1.1. Normal Forms and Solutions 1.2. Initial-Value
More informationThe Laplace Transform (Sect. 4.1). The Laplace Transform (Sect. 4.1).
The Laplace Transform (Sect. 4.1). s of Laplace Transforms. The Laplace Transform (Sect. 4.1). s of Laplace Transforms. The definition of the Laplace Transform. Definition The function F : D F R is the
More informationHonors Differential Equations
MIT OpenCourseWare http://ocw.mit.edu 18.034 Honors Differential Equations Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. UNIT III: HIGHER-ORDER
More informationMA 201, Mathematics III, July-November 2016, Laplace Transform
MA 21, Mathematics III, July-November 216, Laplace Transform Lecture 18 Lecture 18 MA 21, PDE (216) 1 / 21 Laplace Transform Let F : [, ) R. If F(t) satisfies the following conditions: F(t) is piecewise
More informationMathematical Foundations of Signal Processing
Mathematical Foundations of Signal Processing Module 4: Continuous-Time Systems and Signals Benjamín Béjar Haro Mihailo Kolundžija Reza Parhizkar Adam Scholefield October 24, 2016 Continuous Time Signals
More informationENGIN 211, Engineering Math. Laplace Transforms
ENGIN 211, Engineering Math Laplace Transforms 1 Why Laplace Transform? Laplace transform converts a function in the time domain to its frequency domain. It is a powerful, systematic method in solving
More informationThe Laplace Transform
The Laplace Transform Laplace Transform Philippe B. Laval KSU Today Philippe B. Laval (KSU) Definition of the Laplace Transform Today 1 / 16 Outline General idea behind the Laplace transform and other
More informationMath 353 Lecture Notes Week 6 Laplace Transform: Fundamentals
Math 353 Lecture Notes Week 6 Laplace Transform: Fundamentals J. Wong (Fall 217) October 7, 217 What did we cover this week? Introduction to the Laplace transform Basic theory Domain and range of L Key
More informationEECE 301 Signals & Systems Prof. Mark Fowler
EECE 3 Signals & Systems Prof. Mark Fowler Note Set #9 C-T Systems: Laplace Transform Transfer Function Reading Assignment: Section 6.5 of Kamen and Heck /7 Course Flow Diagram The arrows here show conceptual
More informationFormal Verification of Steady-State Errors in Unity-Feedback Control Systems
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems Muhammad Ahmad and Osman Hasan School of Electrical Engineering and Computer Science (SEECS), National University of Sciences
More informationBIBO STABILITY AND ASYMPTOTIC STABILITY
BIBO STABILITY AND ASYMPTOTIC STABILITY FRANCESCO NORI Abstract. In this report with discuss the concepts of bounded-input boundedoutput stability (BIBO) and of Lyapunov stability. Examples are given to
More informationMath Fall Linear Filters
Math 658-6 Fall 212 Linear Filters 1. Convolutions and filters. A filter is a black box that takes an input signal, processes it, and then returns an output signal that in some way modifies the input.
More information10. Operators and the Exponential Response Formula
52 10. Operators and the Exponential Response Formula 10.1. Operators. Operators are to functions as functions are to numbers. An operator takes a function, does something to it, and returns this modified
More informationJim Lambers ENERGY 281 Spring Quarter Lecture 5 Notes
Jim ambers ENERGY 28 Spring Quarter 27-8 ecture 5 Notes These notes are based on Rosalind Archer s PE28 lecture notes, with some revisions by Jim ambers. Fourier Series Recall that in ecture 2, when we
More informationThe Laplace Transform
The Laplace Transform Syllabus ECE 316, Spring 2015 Final Grades Homework (6 problems per week): 25% Exams (midterm and final): 50% (25:25) Random Quiz: 25% Textbook M. Roberts, Signals and Systems, 2nd
More informationEE 224 Signals and Systems I Review 1/10
EE 224 Signals and Systems I Review 1/10 Class Contents Signals and Systems Continuous-Time and Discrete-Time Time-Domain and Frequency Domain (all these dimensions are tightly coupled) SIGNALS SYSTEMS
More informationsech(ax) = 1 ch(x) = 2 e x + e x (10) cos(a) cos(b) = 2 sin( 1 2 (a + b)) sin( 1 2
Math 60 43 6 Fourier transform Here are some formulae that you may want to use: F(f)(ω) def = f(x)e iωx dx, F (f)(x) = f(ω)e iωx dω, (3) F(f g) = F(f)F(g), (4) F(e α x ) = α π ω + α, F( α x + α )(ω) =
More informationInternational Journal of Mathematical Archive-5(8), 2014, Available online through ISSN
International Journal of Mathematical Archive-5(8), 014, 30-35 Available online through www.ijma.info ISSN 9 5046 SIMULATION OF LAPLACE TRANSFORMS WITH PYTHON Gajanan Dhanorkar* and Deepak Sonawane VPCOE,
More informationLinear Filters. L[e iωt ] = 2π ĥ(ω)eiωt. Proof: Let L[e iωt ] = ẽ ω (t). Because L is time-invariant, we have that. L[e iω(t a) ] = ẽ ω (t a).
Linear Filters 1. Convolutions and filters. A filter is a black box that takes an input signal, processes it, and then returns an output signal that in some way modifies the input. For example, if the
More information2 The Fourier Transform
2 The Fourier Transform The Fourier transform decomposes a signal defined on an infinite time interval into a λ-frequency component, where λ can be any real(or even complex) number. 2.1 Informal Development
More informationSecond Order Systems
Second Order Systems independent energy storage elements => Resonance: inertance & capacitance trade energy, kinetic to potential Example: Automobile Suspension x z vertical motions suspension spring shock
More informationModule I: Electromagnetic waves
Module I: Electromagnetic waves Lecture 9: EM radiation Amol Dighe Outline 1 Electric and magnetic fields: radiation components 2 Energy carried by radiation 3 Radiation from antennas Coming up... 1 Electric
More informationLMI Methods in Optimal and Robust Control
LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear
More informationCHEE 319 Tutorial 3 Solutions. 1. Using partial fraction expansions, find the causal function f whose Laplace transform. F (s) F (s) = C 1 s + C 2
CHEE 39 Tutorial 3 Solutions. Using partial fraction expansions, find the causal function f whose Laplace transform is given by: F (s) 0 f(t)e st dt (.) F (s) = s(s+) ; Solution: Note that the polynomial
More informationCOMP344 Digital Image Processing Fall 2007 Final Examination
COMP344 Digital Image Processing Fall 2007 Final Examination Time allowed: 2 hours Name Student ID Email Question 1 Question 2 Question 3 Question 4 Question 5 Question 6 Total With model answer HK University
More informationAn Informal introduction to Formal Verification
An Informal introduction to Formal Verification Osman Hasan National University of Sciences and Technology (NUST), Islamabad, Pakistan O. Hasan Formal Verification 2 Agenda q Formal Verification Methods,
More informationThe Laplace Transform
The Laplace Transform Generalizing the Fourier Transform The CTFT expresses a time-domain signal as a linear combination of complex sinusoids of the form e jωt. In the generalization of the CTFT to the
More informationChapter 7: The Laplace Transform
Chapter 7: The Laplace Tranform 王奕翔 Department of Electrical Engineering National Taiwan Univerity ihwang@ntu.edu.tw November 2, 213 1 / 25 王奕翔 DE Lecture 1 Solving an initial value problem aociated with
More informationFourier transforms, Generalised functions and Greens functions
Fourier transforms, Generalised functions and Greens functions T. Johnson 2015-01-23 Electromagnetic Processes In Dispersive Media, Lecture 2 - T. Johnson 1 Motivation A big part of this course concerns
More informationModeling and Experimentation: Compound Pendulum
Modeling and Experimentation: Compound Pendulum Prof. R.G. Longoria Department of Mechanical Engineering The University of Texas at Austin Fall 2014 Overview This lab focuses on developing a mathematical
More informationHonors Differential Equations
MIT OpenCourseWare http://ocw.mit.edu 18.034 Honors Differential Equations Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. LECTURE 13. INHOMOGENEOUS
More informationCHBE320 LECTURE V LAPLACE TRANSFORM AND TRANSFER FUNCTION. Professor Dae Ryook Yang
CHBE320 LECTURE V LAPLACE TRANSFORM AND TRANSFER FUNCTION Professor Dae Ryook Yang Spring 2018 Dept. of Chemical and Biological Engineering 5-1 Road Map of the Lecture V Laplace Transform and Transfer
More informationu(0) = u 0, u(1) = u 1. To prove what we want we introduce a new function, where c = sup x [0,1] a(x) and ɛ 0:
6. Maximum Principles Goal: gives properties of a solution of a PDE without solving it. For the two-point boundary problem we shall show that the extreme values of the solution are attained on the boundary.
More informationFinal Exam of ECE301, Prof. Wang s section 1 3pm Tuesday, December 11, 2012, Lily 1105.
Final Exam of ECE301, Prof. Wang s section 1 3pm Tuesday, December 11, 2012, Lily 1105. 1. Please make sure that it is your name printed on the exam booklet. Enter your student ID number, e-mail address,
More informationRecommended Courses by ECE Topic Area Graduate Students
Recommended s by ECE Topic Area Graduate Students The course recommendations below do not represent full plans of study. The courses listed under each heading represent appropriate courses to take if you
More informationMATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula.
MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula. Points of local extremum Let f : E R be a function defined on a set E R. Definition. We say that f attains a local maximum
More information2.161 Signal Processing: Continuous and Discrete Fall 2008
MIT OpenCourseWare http://ocw.mit.edu.6 Signal Processing: Continuous and Discrete Fall 008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MASSACHUSETTS
More information2.161 Signal Processing: Continuous and Discrete Fall 2008
MIT OpenCourseWare http://ocw.mit.edu 2.6 Signal Processing: Continuous and Discrete Fall 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MASSACHUSETTS
More informationDefinitions of the Laplace Transform (1A) Young Won Lim 1/31/15
Definitions of the Laplace Transform (A) Copyright (c) 24 Young W. Lim. Permission is granted to copy, distriute and/or modify this document under the terms of the GNU Free Documentation License, Version.2
More informationModule 02 CPS Background: Linear Systems Preliminaries
Module 02 CPS Background: Linear Systems Preliminaries Ahmad F. Taha EE 5243: Introduction to Cyber-Physical Systems Email: ahmad.taha@utsa.edu Webpage: http://engineering.utsa.edu/ taha/index.html August
More informationContinuous-Time Fourier Transform
Signals and Systems Continuous-Time Fourier Transform Chang-Su Kim continuous time discrete time periodic (series) CTFS DTFS aperiodic (transform) CTFT DTFT Lowpass Filtering Blurring or Smoothing Original
More informationChapter 7: The Laplace Transform Part 1
Chapter 7: The Laplace Tranform Part 1 王奕翔 Department of Electrical Engineering National Taiwan Univerity ihwang@ntu.edu.tw November 26, 213 1 / 34 王奕翔 DE Lecture 1 Solving an initial value problem aociated
More informationChapter 6 THE SAMPLING PROCESS 6.1 Introduction 6.2 Fourier Transform Revisited
Chapter 6 THE SAMPLING PROCESS 6.1 Introduction 6.2 Fourier Transform Revisited Copyright c 2005 Andreas Antoniou Victoria, BC, Canada Email: aantoniou@ieee.org July 14, 2018 Frame # 1 Slide # 1 A. Antoniou
More informationFunctions of a Complex Variable (S1) Lecture 11. VII. Integral Transforms. Integral transforms from application of complex calculus
Functions of a Complex Variable (S1) Lecture 11 VII. Integral Transforms An introduction to Fourier and Laplace transformations Integral transforms from application of complex calculus Properties of Fourier
More informationLecture 7 ELE 301: Signals and Systems
Lecture 7 ELE 30: Signals and Systems Prof. Paul Cuff Princeton University Fall 20-2 Cuff (Lecture 7) ELE 30: Signals and Systems Fall 20-2 / 22 Introduction to Fourier Transforms Fourier transform as
More informationLOPE3202: Communication Systems 10/18/2017 2
By Lecturer Ahmed Wael Academic Year 2017-2018 LOPE3202: Communication Systems 10/18/2017 We need tools to build any communication system. Mathematics is our premium tool to do work with signals and systems.
More informationFinal Exam 14 May LAST Name FIRST Name Lab Time
EECS 20n: Structure and Interpretation of Signals and Systems Department of Electrical Engineering and Computer Sciences UNIVERSITY OF CALIFORNIA BERKELEY Final Exam 14 May 2005 LAST Name FIRST Name Lab
More informationThe Fourier Transform Method
The Fourier Transform Method R. C. Trinity University Partial Differential Equations April 22, 2014 Recall The Fourier transform The Fourier transform of a piecewise smooth f L 1 (R) is ˆf(ω) = F(f)(ω)
More informationRough paths methods 1: Introduction
Rough paths methods 1: Introduction Samy Tindel Purdue University University of Aarhus 216 Samy T. (Purdue) Rough Paths 1 Aarhus 216 1 / 16 Outline 1 Motivations for rough paths techniques 2 Summary of
More informationExistence Theory: Green s Functions
Chapter 5 Existence Theory: Green s Functions In this chapter we describe a method for constructing a Green s Function The method outlined is formal (not rigorous) When we find a solution to a PDE by constructing
More informationTime Response of Systems
Chapter 0 Time Response of Systems 0. Some Standard Time Responses Let us try to get some impulse time responses just by inspection: Poles F (s) f(t) s-plane Time response p =0 s p =0,p 2 =0 s 2 t p =
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationReview Sol. of More Long Answer Questions
Review Sol. of More Long Answer Questions 1. Solve the integro-differential equation t y (t) e t v y(v)dv = t; y()=. (1) Solution. The key is to recognize the convolution: t e t v y(v) dv = e t y. () Now
More informationSemigroup Generation
Semigroup Generation Yudi Soeharyadi Analysis & Geometry Research Division Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung WIDE-Workshoop in Integral and Differensial Equations 2017
More informationFourier Analysis and Power Spectral Density
Chapter 4 Fourier Analysis and Power Spectral Density 4. Fourier Series and ransforms Recall Fourier series for periodic functions for x(t + ) = x(t), where x(t) = 2 a + a = 2 a n = 2 b n = 2 n= a n cos
More informationA Fixed Point Representation of References
A Fixed Point Representation of References Susumu Yamasaki Department of Computer Science, Okayama University, Okayama, Japan yamasaki@momo.cs.okayama-u.ac.jp Abstract. This position paper is concerned
More informationOn rough PDEs. Samy Tindel. University of Nancy. Rough Paths Analysis and Related Topics - Nagoya 2012
On rough PDEs Samy Tindel University of Nancy Rough Paths Analysis and Related Topics - Nagoya 2012 Joint work with: Aurélien Deya and Massimiliano Gubinelli Samy T. (Nancy) On rough PDEs Nagoya 2012 1
More informationHow many initial conditions are required to fully determine the general solution to a 2nd order linear differential equation?
How many initial conditions are required to fully determine the general solution to a 2nd order linear differential equation? (A) 0 (B) 1 (C) 2 (D) more than 2 (E) it depends or don t know How many of
More informationWave propagation in discrete heterogeneous media
www.bcamath.org Wave propagation in discrete heterogeneous media Aurora MARICA marica@bcamath.org BCAM - Basque Center for Applied Mathematics Derio, Basque Country, Spain Summer school & workshop: PDEs,
More informationJoel A. Shapiro January 20, 2011
Joel A. shapiro@physics.rutgers.edu January 20, 2011 Course Information Instructor: Joel Serin 325 5-5500 X 3886, shapiro@physics Book: Jackson: Classical Electrodynamics (3rd Ed.) Web home page: www.physics.rutgers.edu/grad/504
More informationThe Laplace Transform
The Laplace Transform Introduction There are two common approaches to the developing and understanding the Laplace transform It can be viewed as a generalization of the CTFT to include some signals with
More informationLecture 8 - IIR Filters (II)
Lecture 8 - IIR Filters (II) James Barnes (James.Barnes@colostate.edu) Spring 2009 Colorado State University Dept of Electrical and Computer Engineering ECE423 1 / 27 Lecture 8 Outline Introduction Digital
More informationMath53: Ordinary Differential Equations Autumn 2004
Math53: Ordinary Differential Equations Autumn 2004 Unit 2 Summary Second- and Higher-Order Ordinary Differential Equations Extremely Important: Euler s formula Very Important: finding solutions to linear
More informationOrdinary Differential Equations. Session 7
Ordinary Differential Equations. Session 7 Dr. Marco A Roque Sol 11/16/2018 Laplace Transform Among the tools that are very useful for solving linear differential equations are integral transforms. An
More informationModule 3 : Sampling and Reconstruction Lecture 22 : Sampling and Reconstruction of Band-Limited Signals
Module 3 : Sampling and Reconstruction Lecture 22 : Sampling and Reconstruction of Band-Limited Signals Objectives Scope of this lecture: If a Continuous Time (C.T.) signal is to be uniquely represented
More informationCalculus from Graphical, Numerical, and Symbolic Points of View, 2e Arnold Ostebee & Paul Zorn
Calculus from Graphical, Numerical, and Symbolic Points of View, 2e Arnold Ostebee & Paul Zorn Chapter 1: Functions and Derivatives: The Graphical View 1. Functions, Calculus Style 2. Graphs 3. A Field
More informationHIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Laplace Transform Method David Levermore Department of Mathematics University of Maryland
HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Laplace Transform Method David Levermore Department of Mathematics University of Maryland 9 December Because the presentation of this material in
More informationSTAD57 Time Series Analysis. Lecture 23
STAD57 Time Series Analysis Lecture 23 1 Spectral Representation Spectral representation of stationary {X t } is: 12 i2t Xt e du 12 1/2 1/2 for U( ) a stochastic process with independent increments du(ω)=
More information