Control of Coupled Slow and Fast Dynamics Zvi Artstein - - PowerPoint PPT Presentation

control of coupled slow and fast dynamics
SMART_READER_LITE
LIVE PREVIEW

Control of Coupled Slow and Fast Dynamics Zvi Artstein - - PowerPoint PPT Presentation

Control of Coupled Slow and Fast Dynamics Zvi Artstein Presentations in: DIMACS Workshop on Perspectives and Future Directions in Systems and Control Theory = Sontagfest May 23, Piscataway 1 Happy Birthday Eduardo Many happy returns! 2 3


slide-1
SLIDE 1

1

Control of Coupled Slow and Fast Dynamics Zvi Artstein

Presentations in: DIMACS Workshop on Perspectives and Future Directions in Systems and Control Theory = Sontagfest May 23, Piscataway

slide-2
SLIDE 2

2

Happy Birthday Eduardo Many happy returns!

slide-3
SLIDE 3

3

slide-4
SLIDE 4

4

Where do coupled slow-fast systems occur? Everywhere! Natural phenomena and engineering design: Hydropower Production, Nuclear Reactions, Aircraft Design, Flight Control, Optical Communiction … Issues include: Regulation, Feedback Design, Stabilization, Optimal Control, …

slide-5
SLIDE 5

5

A model: Singularly perturbed control systems: Where: in the slow and in the fast, variables Of interest: The behavior of the system as

slide-6
SLIDE 6

6

Petar Kokotovic

slide-7
SLIDE 7

7

Andrei Nikolayevich Tikhonov 1906 -1993

slide-8
SLIDE 8

8

The order reduction method (Petar Kokotovic et al.) The limit as is depicted by namely, by:

slide-9
SLIDE 9

9

The solution method: x1 x2 (y,u)

slide-10
SLIDE 10

10

BUT

slide-11
SLIDE 11

11

The general situation: There is no reason why, in general, the optimal fast solution will converge and not, say, oscillate! x1 x2 (y,u)

slide-12
SLIDE 12

12

The remedy: Young measures The limit of a sequence of highly oscillatory functions is the probability-valued map, the Young measure

slide-13
SLIDE 13

13

Prior uses of Young Measures in differential equations and control: L.C. Young: Generalized Curves in the Calculus of Variations Jack Warga: Relaxed Controls John Ball Material Science Luc Tartar: PDEs Compensated Compactness

slide-14
SLIDE 14

14

The situation in the singularly perturbed case: x1 x2 (y,u) The limit solution:

slide-15
SLIDE 15

15

A very useful property: An optimal solution always exists! (under a boundedness condition)

slide-16
SLIDE 16

16

There is a structure: The values of the Young measure are: invariant measures

  • f the (fast state, control) dynamics !
slide-17
SLIDE 17

17

A study of these invariant measures: Characterization via dual variables

  • A. Leizarowirz, V. Gaitsgory

As invariant measures of multi-valued maps J.P. Aubin, H. Frankowaska, A. Lasota.

  • Z. Artstein.
slide-18
SLIDE 18

18

An illustration The questions: when should the switch be made? How should this be carried out when the speed is very fast?

slide-19
SLIDE 19

19

An example – after V. Veliov 1996 Applying an order reduction (i.e. plugging ) yields zero value. Clearly one can do better!

slide-20
SLIDE 20

20

The solution: The limit strategy as can be expressed as a bang-bang feedback resulting in:

Limit occupational measure The bang-bang feedback

slide-21
SLIDE 21

21

The general limit solution is of the form: Where: solves the averaging equation is an invariant measure (when is fixed)

  • f

Notice, the limit distributions are the control variables, replacing the equilibrium points in the classical case And the limit cost is

slide-22
SLIDE 22

22

A special case: The state variable is one dimensional Then the Kokotovic approach applies !! (Joint work with Arie Leizarowitz, 2002)

slide-23
SLIDE 23

23

Another special case: The state variable is two-dimensional Then it is enough to consider invariant measures on a periodic trajectory (a sort of Poicare-Bendixson result) !! (Joint work with Ido Bright, 2010)

slide-24
SLIDE 24

24

  • Stability and Stabilization
  • Relaxed Controls
  • Elimination of randomization
  • Game theoretic considerations
  • Quantitative analysis for singular perturbations
  • Applications to averaging
  • Invariant measures for set-valued maps
  • Tracking systems
  • Linear-quadratic problems
  • Infinite horizon
  • Time-varying systems (including fast time-varying)
  • Optimization via Lagrange multipliers
  • Value function via Hamilton-Jacobi equations
  • Linear systems, bang-bang

Some Propaganda: The method has been applied by Z.A. and collaborators to a variety of applications, including: For a discussion of some of these issue please check papers listed in my web page.

slide-25
SLIDE 25

25

Collaborators on various applications of Young measures:

  • Alexander Vigodner*, now in New York, NY
  • Vladimir Gaitsgory, Adelaida, Australia
  • Marshall Slemrod, Madison, WI
  • Cristian Popa*, now in NY (Deutsche Bank)
  • Michael Grinfeld, Glasgow, Scotland
  • Arie Leizarowitz, Haifa, Israel
  • Yannis Kevrekidis, Princeton, NJ
  • Edriss Titi, Rehovot, Israel
  • Jasmine Linshiz*, Rehovot, Israel
  • C. William Gear, Princeton NJ
  • Ido Bright*, Rehovot, Israel

1953-2010

slide-26
SLIDE 26

26

Work in progress: The perturbed system: Singular perturbations of control systems without split to slow and fast coordinates: Compare with:

slide-27
SLIDE 27

27

The general situation without slow-fast split: z1 z2 u

slide-28
SLIDE 28

28

Identifying slow and fast contributions : The perturbed system: Fast equation:

slide-29
SLIDE 29

29

The limit solution: is an invariant measure of the fast equation: As the limit (in the sense of Young measures)

  • f the solution of the perturbed system:

drifted by the the slow component.

slide-30
SLIDE 30

30

The trajectory of invariant measures: The dynamics of the observables satisfies: The drift (change in time) of the measures is determined by generalized moments, or observables, preferably first integrals of the fast equation: The novelty: The observables are not part of the state space.

slide-31
SLIDE 31

31

An example (without a control)*: with periodic boundary conditions With periodic boundary conditions. This is the Lax-Goodman discretization of the KdV-Burgers With W. Gear, I. Kevrekidis, E. Titi, M. Slemrod * from a paper to appear in SIAM J. Numerical Analysis

slide-32
SLIDE 32

32

The first integrals of the fast equation: Computing the dynamics of these time-varying polynomial enables the construction of the drift

  • f the invariant measures

are the traces of the so called Lax pairs – these are computable even polynomials

slide-33
SLIDE 33

33

Computational results for an invariant measure*: for the limit as * from the paper to appear in SIAM J. Numerical Analysis

slide-34
SLIDE 34

34

Computational results for the drifted measure*: for the limit as * from the paper to appear in SIAM J. Numerical Analysis

slide-35
SLIDE 35

35

The End Thanks for the attention All the best, Eduardo !