Introduction to Compact Dynamical Modeling. III.1 Reducing Linear Time Invariant Systems. Luca Daniel Massachusetts Institute of Technology

Similar documents
( ) lamp power. dx dt T. Introduction to Compact Dynamical Modeling. III.1 Reducing Linear Time Invariant Systems

J i-1 i. J i i+1. Numerical integration of the diffusion equation (I) Finite difference method. Spatial Discretization. Internal nodes.

Lecture VI Regression

CHAPTER 10: LINEAR DISCRIMINATION

HEAT CONDUCTION PROBLEM IN A TWO-LAYERED HOLLOW CYLINDER BY USING THE GREEN S FUNCTION METHOD

Volatility Interpolation

In the complete model, these slopes are ANALYSIS OF VARIANCE FOR THE COMPLETE TWO-WAY MODEL. (! i+1 -! i ) + [(!") i+1,q - [(!

Solution in semi infinite diffusion couples (error function analysis)

CS434a/541a: Pattern Recognition Prof. Olga Veksler. Lecture 4

Lecture 11 SVM cont

Lecture 6: Learning for Control (Generalised Linear Regression)

2/20/2013. EE 101 Midterm 2 Review

CHAPTER 5: MULTIVARIATE METHODS

Stochastic Maxwell Equations in Photonic Crystal Modeling and Simulations

FTCS Solution to the Heat Equation

TSS = SST + SSE An orthogonal partition of the total SS

On One Analytic Method of. Constructing Program Controls

Linear Response Theory: The connection between QFT and experiments

[ ] 2. [ ]3 + (Δx i + Δx i 1 ) / 2. Δx i-1 Δx i Δx i+1. TPG4160 Reservoir Simulation 2018 Lecture note 3. page 1 of 5

Robust and Accurate Cancer Classification with Gene Expression Profiling

Ordinary Differential Equations in Neuroscience with Matlab examples. Aim 1- Gain understanding of how to set up and solve ODE s

Chapter 6: AC Circuits

CH.3. COMPATIBILITY EQUATIONS. Continuum Mechanics Course (MMC) - ETSECCPB - UPC

Comb Filters. Comb Filters

Computing Relevance, Similarity: The Vector Space Model

An introduction to Support Vector Machine

Machine Learning Linear Regression

Dual Approximate Dynamic Programming for Large Scale Hydro Valleys

Mechanics Physics 151

Lecture 18: The Laplace Transform (See Sections and 14.7 in Boas)

Control Systems. Mathematical Modeling of Control Systems.

Notes on the stability of dynamic systems and the use of Eigen Values.

Comprehensive Integrated Simulation and Optimization of LPP for EUV Lithography Devices

THE PREDICTION OF COMPETITIVE ENVIRONMENT IN BUSINESS

. The geometric multiplicity is dim[ker( λi. number of linearly independent eigenvectors associated with this eigenvalue.

( ) () we define the interaction representation by the unitary transformation () = ()

Variants of Pegasos. December 11, 2009

COMPUTER SCIENCE 349A SAMPLE EXAM QUESTIONS WITH SOLUTIONS PARTS 1, 2

Machine Learning 2nd Edition

Single-loop System Reliability-Based Design & Topology Optimization (SRBDO/SRBTO): A Matrix-based System Reliability (MSR) Method

. The geometric multiplicity is dim[ker( λi. A )], i.e. the number of linearly independent eigenvectors associated with this eigenvalue.

10. A.C CIRCUITS. Theoretically current grows to maximum value after infinite time. But practically it grows to maximum after 5τ. Decay of current :

Mechanics Physics 151

Mechanics Physics 151

A NOVEL NETWORK METHOD DESIGNING MULTIRATE FILTER BANKS AND WAVELETS

Multi-Fuel and Mixed-Mode IC Engine Combustion Simulation with a Detailed Chemistry Based Progress Variable Library Approach

Response of MDOF systems

John Geweke a and Gianni Amisano b a Departments of Economics and Statistics, University of Iowa, USA b European Central Bank, Frankfurt, Germany

Robustness Experiments with Two Variance Components

Reactive Methods to Solve the Berth AllocationProblem with Stochastic Arrival and Handling Times

Approximate Analytic Solution of (2+1) - Dimensional Zakharov-Kuznetsov(Zk) Equations Using Homotopy

V.Abramov - FURTHER ANALYSIS OF CONFIDENCE INTERVALS FOR LARGE CLIENT/SERVER COMPUTER NETWORKS

Existence and Uniqueness Results for Random Impulsive Integro-Differential Equation

A Principled Approach to MILP Modeling

Advanced Machine Learning & Perception

On computing differential transform of nonlinear non-autonomous functions and its applications

UNIVERSITAT AUTÒNOMA DE BARCELONA MARCH 2017 EXAMINATION

Outline. Probabilistic Model Learning. Probabilistic Model Learning. Probabilistic Model for Time-series Data: Hidden Markov Model

Cubic Bezier Homotopy Function for Solving Exponential Equations

Clustering (Bishop ch 9)

Transcription: Messenger RNA, mrna, is produced and transported to Ribosomes

by Lauren DeDieu Advisor: George Chen

CHAPTER 2: Supervised Learning

Chapters 2 Kinematics. Position, Distance, Displacement

FI 3103 Quantum Physics

PHYS 1443 Section 001 Lecture #4

Relative controllability of nonlinear systems with delays in control

Online Supplement for Dynamic Multi-Technology. Production-Inventory Problem with Emissions Trading

( ) [ ] MAP Decision Rule

EEL 6266 Power System Operation and Control. Chapter 5 Unit Commitment

P R = P 0. The system is shown on the next figure:

WiH Wei He

Dynamic Team Decision Theory. EECS 558 Project Shrutivandana Sharma and David Shuman December 10, 2005

Appendix H: Rarefaction and extrapolation of Hill numbers for incidence data

Implementation of Quantized State Systems in MATLAB/Simulink

NATIONAL UNIVERSITY OF SINGAPORE PC5202 ADVANCED STATISTICAL MECHANICS. (Semester II: AY ) Time Allowed: 2 Hours

First-order piecewise-linear dynamic circuits

( t) Outline of program: BGC1: Survival and event history analysis Oslo, March-May Recapitulation. The additive regression model

A NEW TECHNIQUE FOR SOLVING THE 1-D BURGERS EQUATION

Graduate Macroeconomics 2 Problem set 5. - Solutions

Normal Random Variable and its discriminant functions

Sampling Procedure of the Sum of two Binary Markov Process Realizations

5th International Conference on Advanced Design and Manufacturing Engineering (ICADME 2015)

Density Matrix Description of NMR BCMB/CHEM 8190

New M-Estimator Objective Function. in Simultaneous Equations Model. (A Comparative Study)

January Examinations 2012

T q (heat generation) Figure 0-1: Slab heated with constant source 2 = q k

Lecture Slides for INTRODUCTION TO. Machine Learning. ETHEM ALPAYDIN The MIT Press,

CS286.2 Lecture 14: Quantum de Finetti Theorems II

Equalization on Graphs: Linear Programming and Message Passing

GMM parameter estimation. Xiaoye Lu CMPS290c Final Project

Econ107 Applied Econometrics Topic 5: Specification: Choosing Independent Variables (Studenmund, Chapter 6)

Math 128b Project. Jude Yuen

Scattering at an Interface: Oblique Incidence

GENERATING CERTAIN QUINTIC IRREDUCIBLE POLYNOMIALS OVER FINITE FIELDS. Youngwoo Ahn and Kitae Kim

How about the more general "linear" scalar functions of scalars (i.e., a 1st degree polynomial of the following form with a constant term )?

Born Oppenheimer Approximation and Beyond

ISSN MIT Publications

Comparison of Differences between Power Means 1

Let s treat the problem of the response of a system to an applied external force. Again,

Transcription:

SF & IH Inroducon o Compac Dynamcal Modelng III. Reducng Lnear me Invaran Sysems Luca Danel Massachuses Insue of echnology Course Oulne Quck Sneak Prevew I. Assemblng Models from Physcal Problems II. Smulang Models III. Model Order Reducon for Lnear Sysems Problem seup Reducon va modal analyss o me doman o frequency doman Reducon va ransfer funcon fng o pon machng o leas square Preservng physcal properes n reduced sysems Projecon Framework o runcaed Balance Realzaons o Krylov Subspace Momen Machng IV. Model Order Reducon for on-lnear Sysems V. Parameerzed Model Order Reducon I.3-2

d y( Movaons A ( + b u( c ( Suppose: we are jus neresed n ermnal.e. npu/oupu behavor and we need o compue he oupu y( for many many dfferen npu sgnals u( : I mgh be more convenen o:. do some pre-compuaon on he orgnal sysem 2. generae a compac dynamcal model 3. re-use he model over and over L9-3 3 Model Order Reducon Hea conducng bar eample lamp power Lamp u Inpu of Ineres Oupu of Ineres end () L9-4

Model Order Reducon Hea conducng bar eample Problem Seup Hea n h(z)u( emperaure Dfferenal Equaon γ specfc hea (, 2 z, κ + 2 z hermal conducvy Δz end h z u scalar npu () Spaal Dscrezaon dˆ κ + + ( ˆ ˆ ˆ ) 2 2 h( z) u( Δz γ + L9-5 Model Order Reducon Hea conducng bar eample Problem Seup Hea n h()u( d Δz A () + bu () y () c () scalar scalar npu oupu end () Spaal Dscrezaon dˆ κ + + ( ˆ ˆ ˆ ) 2 2 h( z) u( Δz γ + L9-6

Model Order Reducon Hea conducng bar eample Problem Seup Hea n h()u( d Δz scalar scalar npu oupu 2 hz ( ) 2 hz ( 2) κ A b γ ( Δz ) 2 γ 2 hz ( ) c end A () + bu () y () c () () L9-7 Model Order Reducon Hea conducng bar eample Problem Seup Orgnal Dynamcal Sysem - Sngle Inpu/Oupu d A () + bu () y () c () scalar scalar npu oupu Reduced Dynamcal Sysem dˆ( Aˆ ˆ( + bˆ u( qq q scalar npu yˆ( cˆ scalar oupu q ˆ( q <<, bu npu/oupu behavor preserved L9-8

Model Order Reducon Oulne Model Order Reducon of Lnear Problems Problem seup Reducon va modal analyss o me doman o frequency doman Reducon va ransfer funcon fng o pon machng o leas square Imporance of preservng physcal properes o sably o passvy/dsspavy Projecon Framework o runcaed Balance Realzaons o Krylov Subspace Momen Machng Model Order Reducon of onlnear Problems L9- Egendecomposon: Remnder abou Egenvalues d() C onsder an ODE: A( + bu, () A V V2 V V V2 V V le s: V V ( Change of varab () () () dv () Subsun g : AV() + bu(), V( ) d() Mulply by V : V AV () + V bu() () + V bu L9-

L9-2 () V b d u V b b + Decoupled Equaons () () () () y c c V V c c Oupu Equaon Remnder abou Egenvalues L9-3 () [ ] y c c Oupu Equaon ) ( u b b d + Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod)

L9-4 () [ ] y c c ) ( u b b d + Oupu Equaon Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod) q q b q q c q L9-5 Ceran modes are no affeced by he npu Ceran modes do no affec he oupu Keep leas negave egenvalues (slowes modes) Look a response o a consan npu,, are all small q b b +,, are all small q c c + () () () Small f large e b u d e b u τ τ Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod)

Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod) q q3 q Eac Hea Conducng bar Resuls Keepng q-h slowes modes L9-6 Model Order Reducon Oulne Model Order Reducon of Lnear Problems Problem seup Reducon va modal analyss o me doman o frequency doman Reducon va ransfer funcon fng o pon machng o leas square Imporance of preservng physcal properes o sably o passvy/dsspavy Projecon Framework o runcaed Balance Realzaons o Krylov Subspace Momen Machng Model Order Reducon of onlnear Problems L9-7

Modal (egenvalue) analyss n he frequency doman ransfer Funcon ( ) H s c si A b A VV H s c V si V b Apply Egendecomposon s s c b H( s) elmae each mode for whch hs erm s small cb s L9-8 H( s ) Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod) cb s Π s ζ Π s Pole-Resdue Form Pole-Zero Form h( c b e Impulse Response Ideas for reducng order: Drop erms wh small resdues c b Drop erms wh large negave Re ( fas modes) Remove pole/zero near-cancellaons Cluser poles ha are ogeher L9-9

Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod) Advanages Concepually famlar Smple physcal nerpreaon : reans domnan sysem modes/poles Drawbacks Relavely epensve : have o fnd he egenvalues frs Relavely neffcen. For a gven model sze, many oher approaches can provde beer accuracy for he same compuaonal cos O( 3 ) o e.g. Hankel Model Order Reducon o e.g. runcaed Balance Realzaon L9-2 Oulne Model Order Reducon Problem seup Reducon va modal analyss o me doman o frequency doman Reducon va ransfer funcon fng o pon machng o leas square Imporance of preservng physcal properes o sably o passvy/dsspavy Projecon Framework o runcaed Balance Realzaons o Krylov Subspace Momen Machng onlnear Sysems L9-2

H( s ) Model Order Reducon va Modal Analyss (.e. domnan egenvalues/poles mehod) cb s Π s ζ Π s Pole-Resdue Form Pole-Zero Form b + bs + + b s + as+ + a s h( c b e Raonal Funcon Form Impulse Response L9-22 Model Order Reducon va ransfer Funcon Fng Orgnal Sysem ransfer Funcon: H ( s) b + bs + + b s + as+ + a s Model Reducon Fnd a low order (q << ) raonal funcon machng ˆ ˆ ˆ q ˆ b + bs+ + bq s reduced order H( s) q raonal funcon + as ˆ + + as ˆ q raonal funcon L9-23

Model Order Reducon va ransfer Funcon Fng Pon machng H( s) Ĥ ( s) Can mach 2q pons H ( s ) cross mulplyng generaes a lnear sysem For o 2q + + + + + + q ( ) ( ˆ ˆ ˆ q as ˆ ˆ as q H s b bs bq s ) ω bˆ + bˆ s + + bˆ s q q q + as ˆ ˆ + + as q L9-24 Model Order Reducon va ransfer Funcon Fng Pon machng mar can become ll-condoned sh s s H s s aˆ H s 2 q q s aˆ 2 2 H s2 s H s s H s s bˆ H s ( 2q ) 2 q 2q 2q 2q 2q 2q q Columns conan progressvely hgher powers of he es frequences: problem s numercally ll-condoned also... mssng daa can cause severe accuracy problems L9-25

Hard o solve problems Polynomal nerpolaon eample able of Daa f ( ) f ( ) f ( ) f f ( ) 2 Problem f daa wh an h order polynomal 2 f () α + α+ α2 + + α L9-26 Hard o solve problems Polynomal nerpolaon eample Mar Form 2 α f ( ) 2 α f ( ) 2 f ( ) α A nerp L9-27

Hard o solve problems Polynomal nerpolaon eample Fng f( Coeffcen Value Coeffcen number L9-28 sh s ) smh ( sm) Model Order Reducon va ransfer Funcon Fng Pon machng usng Leas Square s q m H ( s) H( s) a a 2 b q H( sm) q ( s m Ĥ s Use much lower order han avalable pons 2q<<m ω cross mulplyng generaes a lnear ALL SKIY sysem Leas Square problem: use for nsance QR o solve or Gauss-ewon L9-29

Overvew Problem Seup Connecon beween crcus and Sae Space models Reducon va egenmode runcaon mehod Reducon va ransfer funcon fng pon machng leas square quas-conve opmzaon mehod Reducon va Projecon Framework runcaed Balance Realzaons Krylov Subspace Momen Machng need for orhogonalzaon (Arnold( process) compuaonal compley passvy preservaon Reducon of on-lnear Sysems 3 Opmzaon based raonal f Model Order Reducon Seup ps () mnmze H( s) p(s),q(s) qs () From feld solver Or measuremens Leas square mehod Cas as nonlnear leas squares (solved by e.g. Gauss-ewon) Do no consder sably or passvy whle fndng poles (need posprocessng) Small sable and passve reduced order model Quas conve mehod Cas as quas-conve program (solved by conve opmzaon algorhm) Eplcly ake care of sably and passvy whle fndng poles

Relaaon of he H-nf norm MOR seup [Sou, Megresk, Danel DAC5 CAD8] pz r z mnmze H( z) pqr,, qz q subjec o ( z ) deg ( r) < m deg q m, deg p m, An-sable erm Sably: q(z) Schur polynomal (roos nsde un crcle) Passvy, and possbly oher consrans Benef: Relaaon equvalen o a quas-conve program Drawback: May oban subopmal soluons 32 Solvng he quas-conve program jω be + jc e jω mnmze He abc,, jω ae subjec o Sably: Passvy: deg, deg deg ( c) m, jω jω a e b e jω a m b m >, ω [, π] >, ω [, π] quas-conve se conve se Sandard problem. Use for eample by he ellpsod algorhm 35

Eample : RF nducor wh subsrae (from feld solver) RF nducor wh subsrae effec capured by layered Green s funcon [Hu Dac 5] Sysem marces are frequency dependen Full model has nfne order Reduced model has order 6 8 7 6 ranng daa es pons ROM qualy facor 5 4 3 2 - -2.5.5 2 2.5 3 frequency (Hz) 9 Eample 2: RF nducor model (from measuremen Fabrcaed 7 urn spral nducor Blue: measuremen Red: h order reduced model (posve real par consran mposed) 9 4 8 35 real par 7 6 5 4 3 2 qualy facor 3 25 2 5 5 2 3 4 5 6 7 8 9 frequency (Hz) 9-5.5.5 2 2.5 3 3.5 frequency (Hz) 9

Eample 3: Model of graphc card package (from measuremen Indusry eample of a mul-por devce (39 frequency samples) 2 h order SISO reduced models are consruced Bounded realness consran s mposed Frequency wegh s employed.9 S.2. S3 Sold: ROM Do: measuremen magnude.8.7.6.5.4 Sold: ROM Do: measuremen magnude.8.6.4.2 2 3 4 5 6 frequency (GHz) 2 3 4 5 6 frequency (GHz) Eample 4: Large IC power dsrbuon grd (from feld solver) Power dsrbuon grd (dmenson sze 7mm, wre wh 2 µm) Blue: full model (order 246) Red: QCO 4 h order reduced model (posve real) 25.5 magnude 2 5 5 2 curves on op of each oher 2 3 4 5 6 frequency (GHz) phase.5 -.5 - -.5-2 2 3 4 5 6 frequency (GHz) 3 curves on op of each oher