Filters, Cost Functions, and Controller Structures

Total Page:16

File Type:pdf, Size:1020Kb

Filters, Cost Functions, and Controller Structures Filters, Cost Functions, and Controller Structures Robert Stengel Optimal Control and Estimation MAE 546 Princeton University, 2018 ! Dynamic systems as low-pass filters ! Frequency response of dynamic systems ! Shaping system response ! LQ regulators with output vector cost functions ! Implicit model-following ! Cost functions with augmented state vector 1 ∞ min J = min ⎡ΔxT (t)QΔx(t) + ΔuT (t)RΔu(t)⎤dt Δu Δu ∫ ⎣ ⎦ 2 0 subject to Δx!(t) = FΔx(t) + GΔu(t) Copyright 2018 by Robert Stengel. All rights reserved. For educational use only. http://www.princeton.edu/~stengel/MAE546.html http://www.princeton.edu/~stengel/OptConEst.html 1 First-Order Low-Pass Filter 2 Low-Pass Filter Low-pass filter passes low-frequency signals and attenuates high-frequency signals 1st-order example Δx!(t) = −aΔx(t) + aΔu(t) a = 0.1, 1, or 10 Laplace transform, with x(0) = 0 a Δx(s) = Δu(s) (s + a) Frequency response, s = jω a Δx( jω ) = Δu( jω ) ( jω + a) 3 Response of 1st-Order Low-Pass Filters to Step Input and Initial Condition Δx!(t) = −aΔx(t) + aΔu(t) a 0.1, 1, or 10 = Smoothing effect on sharp changes 4 Frequency Response of Dynamic Systems 5 Response of 1st-Order Low-Pass Filters to Sine-Wave Inputs ⎧ sin(t) Input ⎪ Δu(t) = ⎨ sin(2t) ⎪ sin 4t ⎩⎪ ( ) Output x t = −10x t + 10u t ( ) ( ) ( ) x! t = −x t + u t ( ) ( ) ( ) 6 x t = −0.1x t + 0.1u t ( ) ( ) ( ) Response of 1st-Order Low- Pass Filters to White Noise Δx!(t) = −aΔx(t) + aΔu(t) a 0.1, 1, or 10 = 7 Relationship of Input Frequencies to Filter Bandwidth ⎧ sin(ωt) ⎪ Δu(t) = ⎨ sin(2ωt) ⎪ sin 4ωt ⎩⎪ ( ) BANDWIDTH Input frequency at which output magnitude = –3dB How do we calculate frequency response? 8 Bode Plot Asymptotes, Departures, and Phase Angles for 1st-Order Lags 10 100 100 H red ( jω ) = H ( jω ) = H green ( jω ) = ( jω +10) blue ( jω +10) ( jω +100) • General shape of amplitude ratio governed by asymptotes • Slope of asymptotes changes by multiples of ±20 dB/dec at poles or zeros of H(jω) • Actual AR departs from asymptotes • AR asymptotes of a real pole – When ω = 0, slope = 0 dB/ dec – When ω ≥ λ, slope = –20 dB/ dec • Phase angle of a real, negative pole – When ω = 0, ϕ = 0° – When ω = λ, ϕ =–45° 9 – When ω -> ∞, ϕ -> –90° 2nd-Order Low-Pass Filter Δ!x! t = −2ζω Δx! t −ω 2Δx t +ω 2Δu t ( ) n ( ) n ( ) n ( ) Laplace transform, with I.C. = 0 2 ω n Δx(s) = 2 2 Δu(s) s + 2ζω ns +ω n Frequency response, s = jω ω 2 x j n u j Δ ( ω ) = 2 2 Δ ( ω ) ( jω ) + 2ζω n ( jω ) +ω n ! H ( jω )Δu( jω ) 10 2nd-Order Step Response Increased damping decreases oscillatory over/undershoot Further increase eliminates oscillation 11 Amplitude Ratio Asymptotes and Departures of Second-Order Bode Plots (No Zeros) • AR asymptotes of a pair of complex poles – When ω = 0, slope = 0 dB/dec – When ω ≥ ωn, slope = –40 dB/ dec • Height of resonant peak depends on damping ratio 12 Phase Angles of Second-Order Bode Plots (No Zeros) • Phase angle of a pair of complex negative poles – When ω = 0, ϕ = 0° – When ω = ωn, ϕ =– 90° – When ω -> ∞, ϕ -> – 180° • Abruptness of phase shift depends on damping ratio 13 Transformation of the System Equations Time-Domain System Equations Δx!(t) = F Δx(t) + G Δu(t) Δy(t) = HxΔx(t) + HuΔu(t) Laplace Transforms of System Equations sΔx(s) − Δx(0) = F Δx(s) + G Δu(s) 1 Δx(s) = [sI − F]− [Δx(0) + GΔ u(s)] Δy(s) = HxΔx(s) + HuΔu(s) 14 Transfer Function Matrix Laplace Transform of Output Vector −1 Δy(s) = HxΔx(s) + HuΔu(s) = Hx [sI − F] [Δx(0) + G Δu(s)]+ HuΔu(s) ⎡H sI F −1 G H ⎤ u(s) H sI F −1 x(0) = ⎣ x ( − ) + u ⎦Δ + x [ − ] Δ = Control Effect + Initial Condition Effect Transfer Function Matrix relates control input to system output with Hu = 0 and neglecting initial condition −1 H (s) = Hx [sI − F] G (r x m) 15 Scalar Frequency Response from Transfer Function Matrix Transfer function matrix with s = jω −1 H (jω ) = Hx [ jωI − F] G (r x m) Δy s −1 i ( ) (j ) H j I F G (r x m) = H ij ω = xi [ ω − ] j Δu j (s) H ith row of H xi = x th G j = j column of G 16 Second-Order Transfer Function Second-order dynamic system ⎡ ⎤ ⎡ ⎤ ⎡ ⎤ Δx!1 (t) ⎡ f f ⎤ Δx1 (t) ⎡ g g ⎤ Δu1 (t) Δx! (t) = ⎢ ⎥ = ⎢ 11 12 ⎥⎢ ⎥ + ⎢ 11 12 ⎥⎢ ⎥ ⎢ Δx! t ⎥ f f ⎢ Δx t ⎥ g f ⎢ Δu t ⎥ ⎣ 2 ( ) ⎦ ⎣⎢ 21 22 ⎦⎥⎣ 2 ( ) ⎦ ⎣⎢ 21 22 ⎦⎥⎣ 2 ( ) ⎦ ⎡ ⎤ ⎡ ⎤ Δy1 (t) ⎡ h h ⎤ Δx1 (t) Δy(t) = ⎢ ⎥ = ⎢ 11 12 ⎥⎢ ⎥ ⎢ Δy2 (t) ⎥ ⎢ h21 h22 ⎥⎢ Δx2 (t) ⎥ ⎣ ⎦ ⎣ ⎦⎣ ⎦ Second-order transfer function matrix ⎡ ⎤ (s − f11 ) − f12 adj⎢ ⎥ ⎡ ⎤ ⎢ − f21 (s − f22 ) ⎥ ⎡ ⎤ h11 h12 ⎣ ⎦ g11 g12 H (s) = HxA(s)G = ⎢ ⎥ ⎢ ⎥ h21 h22 ⎛ ⎞ g21 f22 ⎣⎢ ⎦⎥ (s − f11 ) − f12 ⎣⎢ ⎦⎥ det⎜ ⎟ f s f (r × n)(n × n)(n × m) ⎝⎜ − 21 ( − 22 ) ⎠⎟ = (r × m) = (2 × 2) 17 (n = m = r = 2) Scalar Transfer Function from Δuj to Δyi k sq b sq−1 ... b s b kijnij (s) ij ( + q−1 + + 1 + 0 ) H (s) = = ij (s) n n−1 Δ (s + an−1s + ...+ a1s + a0 ) Just one element of the matrix, H(s) Denominator polynomial contains n roots Each numerator term is a polynomial with q zeros, where q varies from term to term and ≤ n – 1 # zeros = q k s z s z ... s z # poles = n ij ( − 1)ij ( − 2 )ij ( − q ) = ij (s − λ1)(s − λ2 )...(s − λn ) 18 Scalar Frequency Response Function for Single Input/Output Pair Substitute: s = jω k j z j z ... j z ij ( ω − 1 )ij ( ω − 2 )ij ( ω − q ) H (jω ) = ij ij jω − λ jω − λ ... jω − λ ( 1 )( 2 ) ( n ) = a(ω)+ jb(ω) → AR(ω) e jφ (ω ) Frequency response is a complex function of input frequency, ω Real and imaginary parts, or ** Amplitude ratio and phase angle ** 19 MATLAB Bode Plot with asymp.m http://www.mathworks.com/matlabcentral/ http://www.mathworks.com/matlabcentral/fileexchange/10183-bode-plot-with-asymptotes 2nd-Order Pitch Rate Frequency Response, with zero bode.m asymp.m 20 Desirable Open-Loop Frequency Response Characteristics (Bode) • High gain (amplitude) at low frequency – Desired response is slowly varying • Low gain at high frequency – Random errors vary rapidly • Crossover region is problem-specific 21 Examples of Proportional LQ Regulator Response 22 Example: Open-Loop Stable and Unstable 2nd-Order LTI System Response to Initial Condition ⎡ ⎤ Stable Eigenvalues = 0 1 -0.5000 + 3.9686i FS = ⎢ ⎥ ⎣ −16 −1 ⎦ -0.5000 - 3.9686i ⎡ 0 1 ⎤ Unstable Eigenvalues = FU = ⎢ ⎥ ⎣ −16 +0.5 ⎦ 0.2500 + 3.9922i 0.2500 - 3.9922i 23 Example: Stabilizing Effect of Linear- Quadratic Regulators for Unstable 2nd-Order System ∞ ⎡1 2 2 2 ⎤ min J = min Δx1 + Δx2 + rΔu dt Δu Δu ⎢ ∫( ) ⎥ ⎣2 0 ⎦ ⎡ Δx (t) ⎤ Δu(t) = − ⎡ c c ⎤⎢ 1 ⎥ = −c Δx (t) − c Δx (t) ⎣ 1 2 ⎦ Δx (t) 1 1 2 2 ⎣⎢ 2 ⎦⎥ For the r = 1 r = 100 unstable Control Gain (C) = Control Gain (C) = system 0.2620 1.0857 0.0028 0.1726 Riccati Matrix (S) = Riccati Matrix (S) = 2.2001 0.0291 30.7261 0.0312 0.0291 0.1206 0.0312 1.9183 Closed-Loop Eigenvalues = Closed-Loop Eigenvalues = -6.4061 -0.5269 + 3.9683i -2.8656 -0.5269 - 3.9683i 24 Example: Stabilizing/Filtering Effect of LQ Regulators for the Unstable 2nd- Order System r = 1 Control Gain (C) = 0.2620 1.0857 Riccati Matrix (S) = 2.2001 0.0291 0.0291 0.1206 Closed-Loop Eigenvalues = -6.4061 -2.8656 r = 100 Control Gain (C) = 0.0028 0.1726 Riccati Matrix (S) = 30.7261 0.0312 0.0312 1.9183 Closed-Loop Eigenvalues = -0.5269 + 3.9683i -0.5269 - 3.9683i 25 Example: Open-Loop Response of a Stable 2nd-Order System to Random Disturbance Eigenvalues = -1.1459, -7.8541 26 Example: Disturbance Response of Unstable System with Optimal Feedback 27 LQ Regulators with Output Vector Cost Functions 28 Quadratic Weighting of the Output Δy(t) = HxΔx(t) + HuΔu(t) 1 ∞ J = ⎡ΔyT (t)Q Δy(t)⎤dt ∫ ⎣ y ⎦ 2 0 ∞ 1 T = H Δx(t) + H Δu(t) Q H Δx(t) + H Δu(t) dt ∫{[ x u ] y [ x u ]} 2 0 Note: State, not output, is fed back 29 Quadratic Weighting of the Output ⎧ ⎡ T T ⎤ ⎫ 1 ∞ ⎪ Hx QyHx Hx QyHu ⎡ Δx(t) ⎤⎪ ⎡ T T ⎤⎢ ⎥ dt min J = min ∫ ⎨ Δx (t) Δu (t) T T ⎢ ⎥⎬ Δu Δu 2 0 ⎣ ⎦⎢ ⎥ Δu(t) ⎪ Hu QyHx Hu QyHu + Ro ⎢ ⎥⎪ ⎩ ⎣ ⎦⎣ ⎦⎭ ∞ ⎧ ⎡ ⎤ ⎫ 1 ⎪ QO MO ⎡ Δx(t) ⎤⎪ ⎡ T T ⎤⎢ ⎥ ! min ∫ ⎨ Δx (t) Δu (t) T ⎢ ⎥⎬dt Δu 2 0 ⎣ ⎦ M R + R Δu(t) ⎪ ⎣⎢ O O o ⎦⎥⎣⎢ ⎦⎥⎪ ⎩ ⎭ −1 T T Δu(t) = −(RO + Ro ) ⎣⎡MO + GO PSS ⎦⎤Δx(t) = −CΔx(t) Output vector may not contain control (i.e., Hu = 0) Ad hoc Ro added to assure invertability 30 State Rate Can Be Expressed as an Output to be Minimized Δx!(t) = FΔx(t) + GΔu(t) Δy(t) = HxΔx(t) + HuΔu(t) " FΔx(t) + GΔu(t) ∞ ∞ 1 T 1 T min J = ⎡Δy (t)QyΔy(t)⎤dt = ⎡Δx! (t)QyΔx!(t)⎤dt Δu 2 ∫ ⎣ ⎦ 2 ∫ ⎣ ⎦ 0 0 ∞ ⎧ ⎡ T T ⎤ ⎫ 1 ⎪ F QyF F QyG ⎡ Δx(t) ⎤⎪ min J = min ⎨⎡ ΔxT (t) ΔuT (t) ⎤⎢ ⎥⎢ ⎥⎬dt Δu Δu 2 ∫ ⎣ ⎦⎢ T T ⎥ Δu(t) 0 ⎪ G QyF G QyG + Ro ⎢ ⎥⎪ ⎩ ⎣ ⎦⎣ ⎦⎭ ∞ ⎧ ⎡ ⎤ ⎫ 1 ⎪ QSR MSR ⎡ Δx(t) ⎤⎪ ! min ⎨⎡ ΔxT (t) ΔuT (t) ⎤⎢ ⎥⎢ ⎥⎬dt Δu 2 ∫ ⎣ ⎦ MT R + R Δu(t) 0 ⎪ ⎣⎢ SR SR o ⎦⎥⎣⎢ ⎦⎥⎪ ⎩ ⎭ −1 T T Δu(t) = −(RSR + Ro ) ⎣⎡MSR + GSR PSS ⎦⎤Δx(t) = −CΔx(t) Special case of output weighting 31 Implicit Model-Following LQ Regulator Simulator aircraft dynamics Princeton Variable-Response Research Aircraft x(t) F x(t) G u(t) Δ = Δ + Δ Ideal aircraft dynamics Δx M (t) = FM ΔxM (t) F-16 Feedback control law to provide dynamic similarity Δu(t) = −CIMF Δx(t) Another special case of output weighting 32 Implicit Model-Following LQ Regulator Assume state dimensions are the same Δx!(t) = FΔx(t) + GΔu(t) x (t) F x (t) Δ! M = M Δ M If simulation is successful, ΔxM (t) ≈ Δx(t) and Δx! M (t) ≈ FM Δx(t) 33 Implicit Model-Following LQ Regulator Cost function penalizes difference between actual and ideal model dynamics ∞ 1 T J = Δx(t) − Δx (t) Q Δx(t) − Δx (t) dt ∫{[ M ] M [ M ]} 2 0 ∞ ⎧ T T ⎫ T ⎡ ⎤ 1 ⎪ (F − FM ) QM (F − FM ) (F − FM ) QM G ⎡ Δx(t) ⎤⎪ min J = min ⎨⎡ Δx(t) Δu(t) ⎤ ⎢ ⎥⎢ ⎥⎬dt Δu Δu 2 ∫ ⎣ ⎦ ⎢ T T ⎥ Δu(t) 0 ⎪ G QM (F − FM ) G QM G + Ro ⎢ ⎥⎪ ⎩ ⎣ ⎦⎣ ⎦⎭ ∞ ⎧ ⎡ ⎤ ⎫ 1 ⎪ T QIMF MIMF ⎡ Δx(t) ⎤⎪ ! min ⎨⎡ Δx(t) Δu(t) ⎤ ⎢ ⎥⎢ ⎥⎬dt Δu 2 ∫ ⎣ ⎦ MT R R Δu(t) 0 ⎪ ⎢ IMF IMF + o ⎥⎣⎢ ⎦⎥⎪ ⎩ ⎣ ⎦ ⎭ Therefore,
Recommended publications
  • Input and Output Directions and Hankel Singular Values CEE 629
    Principal Input and Output Directions and Hankel Singular Values CEE 629. System Identification Duke University, Fall 2017 1 Continuous-time systems in the frequency domain In the frequency domain, the input-output relationship of a LTI system (with r inputs, m outputs, and n internal states) is represented by the m-by-r rational frequency response function matrix equation y(ω) = H(ω)u(ω) . At a frequency ω a set of inputs with amplitudes u(ω) generate steady-state outputs with amplitudes y(ω). (These amplitude vectors are, in general, complex-valued, indicating mag- nitude and phase.) The singular value decomposition of the transfer function matrix is H(ω) = Y (ω) Σ(ω) U ∗(ω) (1) where: U(ω) is the r by r orthonormal matrix of input amplitude vectors, U ∗U = I, and Y (ω) is the m by m orthonormal matrix of output amplitude vectors, Y ∗Y = I Σ(ω) is the m by r diagonal matrix of singular values, Σ(ω) = diag(σ1(ω), σ2(ω), ··· σn(ω)) At any frequency ω, the singular values are ordered as: σ1(ω) ≥ σ2(ω) ≥ · · · ≥ σn(ω) ≥ 0 Re-arranging the singular value decomposition of H(s), H(ω)U(ω) = Y (ω) Σ(ω) or H(ω) ui(ω) = σi(ω) yi(ω) where ui(ω) and yi(ω) are the i-th columns of U(ω) and Y (ω). Since ||ui(ω)||2 = 1 and ||yi(ω)||2 = 1, the singular value σi(ω) represents the scaling from inputs with complex am- plitudes ui(ω) to outputs with amplitudes yi(ω).
    [Show full text]
  • Lecture 3: Transfer Function and Dynamic Response Analysis
    Transfer function approach Dynamic response Summary Basics of Automation and Control I Lecture 3: Transfer function and dynamic response analysis Paweł Malczyk Division of Theory of Machines and Robots Institute of Aeronautics and Applied Mechanics Faculty of Power and Aeronautical Engineering Warsaw University of Technology October 17, 2019 © Paweł Malczyk. Basics of Automation and Control I Lecture 3: Transfer function and dynamic response analysis 1 / 31 Transfer function approach Dynamic response Summary Outline 1 Transfer function approach 2 Dynamic response 3 Summary © Paweł Malczyk. Basics of Automation and Control I Lecture 3: Transfer function and dynamic response analysis 2 / 31 Transfer function approach Dynamic response Summary Transfer function approach 1 Transfer function approach SISO system Definition Poles and zeros Transfer function for multivariable system Properties 2 Dynamic response 3 Summary © Paweł Malczyk. Basics of Automation and Control I Lecture 3: Transfer function and dynamic response analysis 3 / 31 Transfer function approach Dynamic response Summary SISO system Fig. 1: Block diagram of a single input single output (SISO) system Consider the continuous, linear time-invariant (LTI) system defined by linear constant coefficient ordinary differential equation (LCCODE): dny dn−1y + − + ··· + _ + = an n an 1 n−1 a1y a0y dt dt (1) dmu dm−1u = b + b − + ··· + b u_ + b u m dtm m 1 dtm−1 1 0 initial conditions y(0), y_(0),..., y(n−1)(0), and u(0),..., u(m−1)(0) given, u(t) – input signal, y(t) – output signal, ai – real constants for i = 1, ··· , n, and bj – real constants for j = 1, ··· , m. How do I find the LCCODE (1)? .
    [Show full text]
  • An Approximate Transfer Function Model for a Double-Pipe Counter-Flow Heat Exchanger
    energies Article An Approximate Transfer Function Model for a Double-Pipe Counter-Flow Heat Exchanger Krzysztof Bartecki Division of Control Science and Engineering, Opole University of Technology, ul. Prószkowska 76, 45-758 Opole, Poland; [email protected] Abstract: The transfer functions G(s) for different types of heat exchangers obtained from their par- tial differential equations usually contain some irrational components which reflect quite well their spatio-temporal dynamic properties. However, such a relatively complex mathematical representa- tion is often not suitable for various practical applications, and some kind of approximation of the original model would be more preferable. In this paper we discuss approximate rational transfer func- tions Gˆ(s) for a typical thick-walled double-pipe heat exchanger operating in the counter-flow mode. Using the semi-analytical method of lines, we transform the original partial differential equations into a set of ordinary differential equations representing N spatial sections of the exchanger, where each nth section can be described by a simple rational transfer function matrix Gn(s), n = 1, 2, ... , N. Their proper interconnection results in the overall approximation model expressed by a rational transfer function matrix Gˆ(s) of high order. As compared to the previously analyzed approximation model for the double-pipe parallel-flow heat exchanger which took the form of a simple, cascade interconnection of the sections, here we obtain a different connection structure which requires the use of the so-called linear fractional transformation with the Redheffer star product. Based on the resulting rational transfer function matrix Gˆ(s), the frequency and the steady-state responses of the approximate model are compared here with those obtained from the original irrational transfer Citation: Bartecki, K.
    [Show full text]
  • A Passive Synthesis for Time-Invariant Transfer Functions
    IEEE TRANSACTIONS ON CIRCUIT THEORY, VOL. CT-17, NO. 3, AUGUST 1970 333 A Passive Synthesis for Time-Invariant Transfer Functions PATRICK DEWILDE, STUDENT MEMBER, IEEE, LEONARD hiI. SILVERRJAN, MEMBER, IEEE, AND R. W. NEW-COMB, MEMBER, IEEE Absfroct-A passive transfer-function synthesis based upon state- [6], p. 307), in which a minimal-reactance scalar transfer- space techniques is presented. The method rests upon the formation function synthesis can be obtained; it provides a circuit of a coupling admittance that, when synthesized by. resistors and consideration of such concepts as stability, conkol- gyrators, is to be loaded by capacitors whose voltages form the state. By the use of a Lyapunov transformation, the coupling admittance lability, and observability. Background and the general is made positive real, while further transformations allow internal theory and position of state-space techniques in net- dissipation to be moved to the source or the load. A general class work theory can be found in [7]. of configurations applicable to integrated circuits and using only grounded gyrators, resistors, and a minimal number of capacitors II. PRELIMINARIES is obtained. The minimum number of resistors for the structure is also obtained. The technique illustrates how state-variable We first recall several facts pertinent to the intended theory can be used to obtain results not yet available through synthesis. other methods. Given a transfer function n X m matrix T(p) that is rational wit.h real coefficients (called real-rational) and I. INTRODUCTION that has T(m) = D, a finite constant matrix, there exist, real constant matrices A, B, C, such that (lk is the N ill, a procedure for time-v:$able minimum-re- k X lc identity, ,C[ ] is the Laplace transform) actance passive synthesis of a “stable” impulse response matrix was given based on a new-state- T(p) = D + C[pl, - A]-‘B, JXYI = T(~)=Wl equation technique for imbedding the impulse-response (14 matrix in a passive driving-point impulse-response matrix.
    [Show full text]
  • State Space Models
    State Space Models MUS420 Equations of motion for any physical system may be Introduction to Linear State Space Models conveniently formulated in terms of its state x(t): Julius O. Smith III ([email protected]) Center for Computer Research in Music and Acoustics (CCRMA) Input Forces u(t) Department of Music, Stanford University Stanford, California 94305 ft Model State x(t) x˙(t) February 5, 2019 Outline R State Space Models x˙(t)= ft[x(t),u(t)] • where Linear State Space Formulation • x(t) = state of the system at time t Markov Parameters (Impulse Response) • u(t) = vector of external inputs (typically driving forces) Transfer Function • ft = general function mapping the current state x(t) and Difference Equations to State Space Models inputs u(t) to the state time-derivative x˙(t) • Similarity Transformations The function f may be time-varying, in general • • t Modal Representation (Diagonalization) This potentially nonlinear time-varying model is • • Matlab Examples extremely general (but causal) • Even the human brain can be modeled in this form • 1 2 State-Space History Key Property of State Vector The key property of the state vector x(t) in the state 1. Classic phase-space in physics (Gibbs 1901) space formulation is that it completely determines the System state = point in position-momentum space system at time t 2. Digital computer (1950s) 3. Finite State Machines (Mealy and Moore, 1960s) Future states depend only on the current state x(t) • and on any inputs u(t) at time t and beyond 4. Finite Automata All past states and the entire input history are 5.
    [Show full text]
  • MUS420 Introduction to Linear State Space Models
    State Space Models MUS420 Equations of motion for any physical system may be Introduction to Linear State Space Models conveniently formulated in terms of its state x(t): Julius O. Smith III ([email protected]) Center for Computer Research in Music and Acoustics (CCRMA) Input Forces u(t) Department of Music, Stanford University Stanford, California 94305 ft Model State x(t) x˙(t) February 5, 2019 Outline R State Space Models x˙(t)= ft[x(t),u(t)] • where Linear State Space Formulation • x(t) = state of the system at time t Markov Parameters (Impulse Response) • u(t) = vector of external inputs (typically driving forces) Transfer Function • ft = general function mapping the current state x(t) and Difference Equations to State Space Models inputs u(t) to the state time-derivative x˙(t) • Similarity Transformations The function f may be time-varying, in general • • t Modal Representation (Diagonalization) This potentially nonlinear time-varying model is • • Matlab Examples extremely general (but causal) • Even the human brain can be modeled in this form • 1 2 State-Space History Key Property of State Vector The key property of the state vector x(t) in the state 1. Classic phase-space in physics (Gibbs 1901) space formulation is that it completely determines the System state = point in position-momentum space system at time t 2. Digital computer (1950s) 3. Finite State Machines (Mealy and Moore, 1960s) Future states depend only on the current state x(t) • and on any inputs u(t) at time t and beyond 4. Finite Automata All past states and the entire input history are 5.
    [Show full text]
  • ECE504: Lecture 2
    ECE504: Lecture 2 ECE504: Lecture 2 D. Richard Brown III Worcester Polytechnic Institute 15-Sep-2009 Worcester Polytechnic Institute D. Richard Brown III 15-Sep-2009 1 / 46 ECE504: Lecture 2 Lecture 2 Major Topics We are still in Part I of ECE504: Mathematical description of systems model mathematical description → You should be reading Chen chapters 2-3 now. 1. Advantages and disadvantages of different mathematical descriptions 2. CT and DT transfer functions review 3. Relationships between mathematical descriptions Worcester Polytechnic Institute D. Richard Brown III 15-Sep-2009 2 / 46 ECE504: Lecture 2 Preliminary Definition: Relaxed Systems Definition A system is said to be “relaxed” at time t = t0 if the output y(t) for all t t is excited exclusively by the ≥ 0 input u(t) for t t . ≥ 0 Worcester Polytechnic Institute D. Richard Brown III 15-Sep-2009 3 / 46 ECE504: Lecture 2 Input-Output DE Description: Capabilities and Limitations Example: by˙(t) ay(t)+ = du(t)+ eu˙(t) cy¨(t) + Can describe memoryless, lumped, or distributed systems. + Can describe causal or non-causal systems. + Can describe linear or non-linear systems. + Can describe time-invariant or time-varying systems. + Can describe relaxed or non-relaxed systems (non-zero initial conditions). — No explicit access to internal behavior of systems, e.g. doesn’t directly to apply to systems like “sharks and sardines”. — Difficult to analyze directly (differential equations). Worcester Polytechnic Institute D. Richard Brown III 15-Sep-2009 4 / 46 ECE504: Lecture 2 State-Space Description: Capabilities and Limitations Example: x˙ (t) = Ax(t)+ Bu(t) y(t) = Cx(t)+ Du(t) — Can’t describe distributed systems.
    [Show full text]
  • Chapter 1 Introduction
    Kenneth Pedersen Critical Voltage Distributions in the Dry Type Transformers of Large Wind Turbines when Exposed to Transients PhD thesis, February 2007 Copyright © Ørsted • DTU, Electric Power Engineering Technical University of Denmark Voltage to terminal at node 130 (outlet 7) 1 10 0 10 -1 10 Model .u.] Measurement -2 e [p 10 Voltag -3 10 U V W -4 10 Disc 1 Disc 1 Disc 1 Disc 2 Disc 2 Disc 2 Vout Disc 3 Disc 3 Disc 3 -5 Disc 14 Disc 14 Disc 14 10 1 2 3 D4isc 5 5 Dis6c 5 7 Disc 5 10 10 10 10Disc 6 10 Dis10c 6 10 Disc 6 V1 FrequencDiscy [Hz 7 ] Disc 7 Disc 7 Disc 8 Disc 8 Disc 8 Disc 39 Disc 39 Disc 39 DiDscisc 10314 DisDiscc 10314 DiscDisc 10314 DiDscisc 11145 DisDiscc 11145 DiscDisc 11145 DiDscisc 1256 DisDiscc 1256 DiscDisc 1256 DiDscisc 136 DisDiscc 136 DiscDisc 136 V14 I Preface The present PhD thesis is part of the requirements for obtaining a PhD degree. The work was carried out the at Ørsted•DTU, Power Engineering, Technical University of Denmark. The project ran from 1st of February 2004 until 14th of February 2007 and was financed by Energinet.dk. In addition DONG Energy and ABB Denmark has been part of the steering committee. I would like to thank my supervisors at Ørsted•DTU, Associate Professors Dr. Joachim Holbøll and Dr. Mogens Henriksen for guidance and encouragement. Thanks must also go to the remaining part of the steering committee constituted by Carsten Ras- mussen, Energinet.dk, Erik Koldby, ABB A/S, Denmark and Asger Jensen, DONG Energy as well as Preben Jørgensen, formerly with Energinet.dk, who participated in the steering committee at an early stage.
    [Show full text]
  • Stabilization Theory for Active Multi-Port Networks Mayuresh Bakshi† Member, IEEE,, Virendra R Sule∗ and Maryam Shoejai Baghini‡, Senior Member, IEEE
    1 Stabilization Theory For Active Multi-port Networks Mayuresh Bakshiy Member, IEEE,, Virendra R Sule∗ and Maryam Shoejai Baghiniz, Senior Member, IEEE, Abstract This paper proposes a theory for designing stable interconnection of linear active multi-port networks at the ports. Such interconnections can lead to unstable networks even if the original networks are stable with respect to bounded port excitations. Hence such a theory is necessary for realising interconnections of active multiport networks. Stabilization theory of linear feedback systems using stable coprime factorizations of transfer functions has been well known. This theory witnessed glorious developments in recent past culminating into the H1 approach to design of feedback systems. However these important developments have seldom been utilized for network interconnections due to the difficulty of realizing feedback signal flow graph for multi-port networks with inputs and outputs as port sources and responses. This paper resolves this problem by developing the stabilization theory directly in terms of port connection description without formulation in terms of signal flow graph of the implicit feedback connection. The stable port interconnection results into an affine parametrized network function in which the free parameter is itself a stable network function and describes all stabilizing port compensations of a given network. Index Terms Active networks, Coprime factorization, Feedback stabilization, Multiport network connections. I. INTRODUCTION CTIVE electrical networks, which require energizing sources for their operation, are most widely A used components in engineering. However operating points of such networks are inherently very sensitive to noise, temperature and source variations. Often there are considerable variations in parameters of active circuits from their original design values during manufacturing and cannot be used in applications without external compensation.
    [Show full text]
  • Parameterized Modeling of Multiport Passive Circuit Blocks
    Parameterized Modeling of Multiport Passive Circuit Blocks by Zohaib Mahmood Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of Master of Science in Electrical Engineering and Computer Science MASCHU -E ThiJ7T at the OF TC~CL MASSACHUSETTS INSTITUTE OF TECHNOLOGY OCT 735 210 September 2010 L ISRA R I E3 @ Massachusetts Institute of Technology 2010. All rights reserved. ARCHivES Author ........... Depart-.ent of ectrical Engineering and Computer Science August 22, 2010 by. .. .. .. .. k . .. .. Certified .. .. .. .. .. Luca Daniel Associate Professor Thesis Supervisor A. -. Accepted by............. 7 . ......... ............................ Terry Orlando Chairman, Department Committee on Graduate Theses Parameterized Modeling of Multiport Passive Circuit Blocks by Zohaib Mahmood Submitted to the Department of Electrical Engineering and Computer Science on August 22, 2010, in partial fulfillment of the requirements for the degree of Master of Science in Electrical Engineering and Computer Science Abstract System level design optimization has recently started drawing the attention of circuit de- signers. A system level optimizer would search over the entire design space, adjusting the parameters of interest, for optimal performance metrics. These optimizers demand for the availability of parameterized compact dynamical models of all individual modules. The parameters may include geometrical parameters, such as width and spacing for an induc- tor or design parameters such as center frequency or characteristic impedance in case of distributed transmission line structures. The parameterized models of individual blocks need to be compact and passive since the optimizer would be solving differential equations (time domain integration or periodic steady state methods) to compute the performance metrics.
    [Show full text]
  • Application of Vector Fitting to State Equation Representation of Transformers for Simulation Of
    834 IEEE Transactions on Power Delivery, Vol. 13, No. 3, July 1998 APPLICATION OF VECTOR FITTING TO STATE EQUATION REPRESENTATION OF T FOR SIMULATION OF ELECTROMAGNETIC TRANSIE Bjsrn Gustavsen" Adam Semlyen Department of Electrical and Computer Engineering University of Toronto Toronto, Onta.rio, Canada M5S 3G4 * On leave from the Norwegian Electric Power Research Institute (EFI), Trondheim, Norway. Abstract - This paper presents an efficient methodology for transient model can give unstable simulation results, depending on the modeling of power transformers based on measured or calculated connected network. frequency responses. The responses are approximated with rational In this paper we show that the recently developed method of functions using the method of vector fitting. The resulting model is vector fitting [3] is well suited for finding the needed rational dynamically stable since only negative poles are used, and inputatput function approximations. This method produces a state equation stability is assured by a novel adjusting procedure. The methodology is realization (SER) by solving an overdetermined set of equations as used to formulate two different transformer models: I)a full phase a least squares problem. There is no need for predefining partial domain model realized column-by-column, and 2) a model utilizing fractions, and there are inherent limitations only if a fit of very modal diagonalization. The application of the models is demonstrated order is desired for frequency responses with many peaks. for a 41 0 MVA generator step up transformer. high We use vector fitting to formulate two transformer models based 1 INTRODUCTION on the short circuit admittance matrix Y : The transient behavior of power transformers is very difficult 1.
    [Show full text]
  • Approximate State–Space and Transfer Function Models for 2×2 Linear Hyperbolic Systems with Collocated Boundary Inputs
    Int. J. Appl. Math. Comput. Sci., 2020, Vol. 30, No. 3, 475–491 DOI: 10.34768/amcs-2020-0035 APPROXIMATE STATE–SPACE AND TRANSFER FUNCTION MODELS FOR 2×2 LINEAR HYPERBOLIC SYSTEMS WITH COLLOCATED BOUNDARY INPUTS a KRZYSZTOF BARTECKI aInstitute of Control Engineering Opole University of Technology ul. Prószkowska 76, 45-758 Opole, Poland e-mail: [email protected] Two approximate representations are proposed for distributed parameter systems described by two linear hyperbolic PDEs with two time- and space-dependent state variables and two collocated boundary inputs. Using the method of lines with the backward difference scheme, the original PDEs are transformed into a set of ODEs and expressed in the form of a finite number of dynamical subsystems (sections). Each section of the approximation model is described by state-space equations with matrix-valued state, input and output operators, or, equivalently, by a rational transfer function matrix. The cascade interconnection of a number of sections results in the overall approximation model expressed in finite-dimensional state-space or rational transfer function domains, respectively. The discussion is illustrated with a practical example of a parallel-flow double-pipe heat exchanger. Its steady-state, frequency and impulse responses obtained from the original infinite-dimensional representation are compared with those resulting from its approximate models of different orders. The results show better approximation quality for the “crossover” input–output channels where the in-domain effects prevail as compared with the “straightforward” channels, where the time-delay phenomena are dominating. Keywords: distributed parameter system, hyperbolic equations, approximation model, state space, transfer function.
    [Show full text]