model reduction of dynamical systems -...

84
Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique de Louvain Spring School on Matrix Functions Lille, May 2013

Upload: others

Post on 26-Jun-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Model Reduction of Dynamical Systems

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

Spring School on Matrix Functions Lille, May 2013

Page 2: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

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 - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Motivation

Page 4: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

What models ?

Page 5: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

What models ?

Page 6: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Explicit Discrete Linear Time Invariant Systems

Page 7: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

What norm ?

Page 8: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

What norm ?

Page 9: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

In continuous-time :

Page 10: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Convolution map S from inputs to outputs

Page 11: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Hankel map H : past inputs to future outputs

Page 12: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Hankel map H : past inputs to future outputs

Page 13: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Hankel map factorization

Page 14: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Gramians derived from the Hankel map

Page 15: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 16: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Approximation via balanced truncation

Page 17: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 18: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 19: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Numerical procedure

Page 20: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 21: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Square root approach

Page 22: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 23: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 24: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Dense Stein solvers (exact)

Page 25: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Dense Stein solvers (approximate)

Page 26: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Interpolation approach (continuous-time)

Page 27: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Should also approximate Gramians

Page 28: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Krylov subspaces

Page 29: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 30: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 31: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 32: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 33: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 34: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 35: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 36: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Rational interpolation and moment matching

Page 37: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 38: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 39: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Implicit continuous LTI systems

Page 40: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 41: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique
Page 42: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

This includes modal matching

Page 43: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Tangential interpolation

Page 44: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Tangential interpolation

Page 45: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

H2 optimal approximations

Page 46: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

How evaluate this norm ?

Page 47: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Gradients are easier

Page 48: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Leads to a fixed point iteration

Page 49: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

A PDE example on a FE mesh

Page 50: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

We will assume

Page 51: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Fixed point iteration often converges …

Page 52: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

but can also be erratic

Page 53: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Approximation errors

Page 54: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Multilevel idea

Page 55: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Experiments

Page 56: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Experiments

Page 57: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Convergence is delicate

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

Order 1 approximation Approximation error vs Initial interpolation point

Order 2 approximation Basin of attraction vs Initial interpolation points

Page 58: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

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 - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

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 - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

More examples of Control Mechanisms

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

Page 61: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

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 - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

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 - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Second order system models

Page 64: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Reduced order model

Page 65: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Start by simplifying the model …

Simplify by keeping only concrete substructure

Page 66: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

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 - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Use of 2nd order models

Page 68: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Clamped beam example

Page 69: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Interpolation of large scale systems

Page 70: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Interconnected systems

Page 71: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Several examples

Page 72: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

General interconnected systems

Page 73: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Realize interconnected systems

Page 74: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Closed loop Gramians

Page 75: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Constrained Gramians

Page 76: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Constrained Krylov spaces

Page 77: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Time-varying linear systems

Page 78: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

H2 approximation

Page 79: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Error function is a linear map

Page 80: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

depends on the reduced order model

Page 81: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Gradients are given by

Page 82: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Nonlinear systems

Look for a simple energy function

Page 83: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Example

Chemical vapor deposition reactor

Page 84: Model Reduction of Dynamical Systems - math.univ-lille1.frmath.univ-lille1.fr/~bbecker/ssmf2013... · Model Reduction of Dynamical Systems P. Van Dooren, ICTEAM, Université catholique

Conclusions

• Model reduction of linear time invariant systems is quite sophisticated and efficient these days • Algorithmic aspects are the issue right now

• Time-varying extensions exist (for discrete-time case) • Nonlinear extensions exist (several approaches) • There are many successful test cases

• Model reduction is stil quite hot …