model reduction of dynamical systems - uclouvain · model reduction of dynamical systems p. van...

87
Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain Francqui lezing 30 April 2010

Upload: others

Post on 26-Jun-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Model Reduction of Dynamical Systems

P. Van Dooren, CESAME, Université catholique de Louvain

Francqui lezing 30 April 2010

Page 2: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Motivation

Predict a storm surge in the North sea (Verlaan-Heemink ’97)

60.000 variables, 15 inputs (buoys and radars)

Page 3: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Motivation

Page 4: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

What models ?

Page 5: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

What models ?

Page 6: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Explicit Discrete Linear Time Invariant Systems

Page 7: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

What norm ?

Page 8: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

What norm ?

Page 9: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

In continuous-time :

Page 10: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Convolution map S from inputs to outputs

Page 11: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Hankel map H : past inputs to future outputs

Page 12: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Hankel map H : past inputs to future outputs

Page 13: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Hankel map factorization

Page 14: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Gramians derived from the Hankel map

Page 15: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 16: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Approximation via balanced truncation

Page 17: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 18: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 19: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Numerical procedure

Page 20: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 21: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Square root approach

Page 22: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 23: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 24: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Dense Stein solvers (exact)

Page 25: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Dense Stein solvers (approximate)

Page 26: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Interpolation approach (continuous-time)

Page 27: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Should also approximate Gramians

Page 28: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Krylov subspaces

Page 29: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 30: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 31: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 32: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 33: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 34: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 35: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 36: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Rational interpolation and moment matching

Page 37: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 38: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 39: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Implicit continuous LTI systems

Page 40: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 41: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010
Page 42: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

This includes modal matching

Page 43: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Tangential interpolation

Page 44: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Tangential interpolation

Page 45: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

H2 optimal approximations

Page 46: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

How evaluate this norm ?

Page 47: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Gradients are easier

Page 48: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Leads to a fixed point iteration

Page 49: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

A PDE example on a FE mesh

Page 50: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

We will assume

Page 51: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Fixed point iteration often converges …

Page 52: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

but can also be erratic

Page 53: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Approximation errors

Page 54: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Multilevel idea

Page 55: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Experiments

Page 56: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Experiments

Page 57: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Convergence is delicate

Basins of attraction of different local minima of low order error function

Order 1 approximationApproximation error vsInitial interpolation point

Order 2 approximationBasin of attraction vsInitial interpolation points

Page 58: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

A mechanical application

Modeling of mechanical structures

Identification/calibration (cheap sensors)

Simulation/validation (prognosis)

Model reduction

Control (earthquakes, large flexible structures)

Page 59: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Passive / Semi-Active Fluid Dampers

Passive fluid dampers contain bearings and oil absorbing seismic energy. Semi-active dampers work with variable orifice damping.(Picture courtesy Steven Williams)

Page 60: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

More examples of Control Mechanisms

Engineering Structures, Vol. 17, No. 9, Nov. 1995.

Page 61: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

The Future: Fine-Grained Semi-Active Control

Dampers are based on Magneto-Rheological fluids with viscosity that changes in milliseconds, when exposed to a magnetic field.

New sensing and networking technology allows to do fine-grained real- time control of structures subjected to winds, earthquakes or hazards.(Pictures courtesy Lord Corp.)

Page 62: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

This technology starts to be applied…

Dongting Lake Bridge has now MR dampers to control wind-induced vibration (Pictures courtesy of Prof. Y. L. Xu, Hong Kong Poly.)

Page 63: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Second order system models

Page 64: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Reduced order model

Page 65: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Start by simplifying the model …

Simplify bykeeping only concrete substructure

Page 66: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

and then reduce the state dimension …

i.e. reduce the number of equations describing the “state” of the system

26400 2nd order eqs

20 2nd order eqs

Page 67: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Use of 2nd order models

Page 68: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Clamped beam example

Page 69: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Interpolation of large scale systems

Page 70: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Interconnected systems

Page 71: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Interconnected systems

Page 72: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Several examples

Page 73: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

General interconnected systems

Page 74: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Realize interconnected systems

Page 75: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Example

Page 76: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Closed loop Gramians

Page 77: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Constrained Gramians

Page 78: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Constrained Krylov spaces

Page 79: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Time-varying linear systems

Page 80: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

H2 approximation

Page 81: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Error function is a linear map

Page 82: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

depends on the reduced order model

Page 83: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Gradients are given by

Page 84: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Nonlinear systems

Look for a simple energy function

Page 85: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Example

Chemical vapor deposition reactor

Page 86: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

Conclusions

• Model reduction of linear time invariant systems isquite sophisticated and efficient these days

• Algorithmic aspects are the issue right now

• Time-varying extensions exist (for discrete-time case)

• Nonlinear extensions exist but lack well established results

• There are many successful test cases

• Model reduction is stil quite hot …

Page 87: Model Reduction of Dynamical Systems - UCLouvain · Model Reduction of Dynamical Systems P. Van Dooren, CESAME, Université catholique de Louvain . Francqui lezing 30 April 2010

BBC report

of Sept. 2002