24
On Optimal Input Design in System Identification for Control Mariette Annergren Joint work with Håkan Hjalmarsson and Bo Wahlberg ACCESS and Automatic Control Lab KTH Royal Institute of Technology, Stockholm, Sweden

On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

On Optimal Input Designin System Identificationfor Control

Mariette Annergren

Joint work with Håkan Hjalmarsson and Bo Wahlberg

ACCESS and Automatic Control Lab

KTH Royal Institute of Technology, Stockholm, Sweden

Page 2: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Outline

1. Theory

2. MPC Example

3. Conclusions

4. Future Work

On Optimal Input Design in System Identification for Control 2/21

Page 3: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Introduction

DefinitionFramework for experiment design in system identificationfor control.

• Objective:

Find a minimum variance input signal to be used insystem identification experiment.

• Such that:

The control application specification is guaranteedwhen using the estimated model in the controldesign.

On Optimal Input Design in System Identification for Control 3/21

Page 4: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Notation

The model structure is parametrized by θ .

• True system is given by θ0.

• Estimated model is given by θ̂ .

On Optimal Input Design in System Identification for Control 4/21

Page 5: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Application Set

• Application cost: Vapp(θ) such that

Vapp(θ0) = 0, V ′app(θ0) = 0 and V ′′app(θ0)� 0.

• Application specification

Vapp(θ)≤12γ

, γ > 0.

On Optimal Input Design in System Identification for Control 5/21

Page 6: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Application Set (cont.)

• Acceptable parameter set

Eapp = {θ |Vapp(θ)≤12γ}.

• Ellipsoidal approximation

Eapp ≈ {θ | (θ −θ0)TV ′′app(θ0)(θ −θ0)≤

1γ}.

On Optimal Input Design in System Identification for Control 6/21

Page 7: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Application Set (cont.)

Example 1

• System

y(t) = b01u(t−1)+b0

2u(t−2)+d(t),∣∣∣b0

2/b01

∣∣∣< 1.

• P-controller used to reject constant disturbance d(t).

I Nominal closed loop poles

−β and −βb2/(βb1−b2).

I Controller gain

K =β 2

βb1−b2, 0 < β ≤ 1.

On Optimal Input Design in System Identification for Control 7/21

Page 8: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Application Set (cont.)

Example 1 (cont.)

• Vapp(θ) is error in static gain of sensitivity function.

• Hessian of application cost

V ′′app(θ0) = C[

β 2 −β

−β 1

].

I Eigenvalues: C(β 2 +1)and 0.

I Eigenvectors: [−β , 1]T

and [1, β ]T .

Figure: Eapp.On Optimal Input Design in System Identification for Control 8/21

Page 9: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

System Identification Set

Asymptotic quality property

θ̂ ∈ ESI = {θ | (θ −θ0)TIF (θ −θ0)≤ η}.

(Key result from prediction error/maximum likelihood systemidentification.)

On Optimal Input Design in System Identification for Control 9/21

Page 10: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

System Identification Set (cont.)

Example 1 (cont.)

The same system as before (first order FIR) yields

IF =1λe

[r0 r1r1 r0

], rτ = E{u(t)u(t− τ)}.

On Optimal Input Design in System Identification for Control 10/21

Page 11: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design

• Estimated parameters

θ̂ ∈ ESI = {θ | (θ −θ0)TIF (θ −θ0)≤ η}.

• Acceptable parameters in application

θ̂ ∈ Eapp ≈ {θ | (θ −θ0)TV ′′app(θ0)(θ −θ0)≤

1γ}.

Minimize input power (r0) subject to ESI ⊆ Eapp.(Hjalmarsson, 2009)

Can be formulated as a convex problem!

On Optimal Input Design in System Identification for Control 11/21

Page 12: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design

• Estimated parameters

θ̂ ∈ ESI = {θ | (θ −θ0)TIF (θ −θ0)≤ η}.

• Acceptable parameters in application

θ̂ ∈ Eapp ≈ {θ | (θ −θ0)TV ′′app(θ0)(θ −θ0)≤

1γ}.

Minimize input power (r0) subject to ESI ⊆ Eapp.(Hjalmarsson, 2009)

Can be formulated as a convex problem!

On Optimal Input Design in System Identification for Control 11/21

Page 13: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design (cont.)

Optimization Problem

General problem formulation

minimizerτ

r0, subject to ESI ⊆ Eapp.

Convex Optimization Problem (SDP/LMI)

Approximative problem formulation

minimizerτ

r0, subject to IF � ηγV ′′app(θ0).

On Optimal Input Design in System Identification for Control 12/21

Page 14: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design (cont.)

Optimization Problem

General problem formulation

minimizerτ

r0, subject to ESI ⊆ Eapp.

Convex Optimization Problem (SDP/LMI)

Approximative problem formulation

minimizerτ

r0, subject to IF � ηγV ′′app(θ0).

On Optimal Input Design in System Identification for Control 12/21

Page 15: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design (cont.)

Geometric interpretation

• minimize r0⇔ maximize ESI .

• IF � ηγV ′′app(θ0)↔ ESI ⊆ Eapp.

Figure: ESI (red) and Eapp (black). −→

On Optimal Input Design in System Identification for Control 13/21

Page 16: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design (cont.)

Geometric interpretation

• minimize r0⇔ maximize ESI .

• IF � ηγV ′′app(θ0)↔ ESI ⊆ Eapp.

Figure: ESI (red) and Eapp (black). −→

On Optimal Input Design in System Identification for Control 13/21

Page 17: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Optimal Input Signal Design (cont.)

Example 1 (cont.)

• Optimization problem solved analytically, since onlytwo parameters.

• Optimal input signal realized by an AR-process

u(t) =−βu(t−1)+eu(t).

• Experiment design relates to application of model.

I AR-pole (−β )⇔ nominal closed loop pole (−β ).

On Optimal Input Design in System Identification for Control 14/21

Page 18: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

MPC Example

Example 2a

• System

y(t) = b01u(t−1)+b0

2u(t−2)+d(t).

• MPC used to reject constant disturbance d(t).

I MPC cost function

VMPC(u(t)) =T−1

∑t=1

y2(t).

I MPC prediction horizon

T = 10.

On Optimal Input Design in System Identification for Control 15/21

Page 19: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

MPC Example (cont.)

Example 2a (cont.)

• Vapp(θ) is chosen as error in output signal.

I Application cost

Vapp(θ) =1M

M

∑t=1

[y(t ,θ)−y(t ,θ0)]2.

I Number of measurements

M = 10.

• The Hessian of Vapp(θ) is constructed numerically.

On Optimal Input Design in System Identification for Control 16/21

Page 20: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

MPC Example (cont.)

Example 2a (cont.)

7.5 8 8.5 9 9.5 10 10.5 11 11.5 12 12.5

−11

−10.5

−10

−9.5

−9

−8.5

−8

−7.5

−7

b1

b 2

Figure: ESI (red) and Eapp (black).On Optimal Input Design in System Identification for Control 17/21

Page 21: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

MPC Example (cont.)

Example 2b

A cost is added on the input signal in the MPC.

• MPC cost function

VMPC(u(t)) =T−1

∑t=1

[y2(t)+u2(t)].

On Optimal Input Design in System Identification for Control 18/21

Page 22: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

MPC Example (cont.)

Example 2b (cont.)

5 6 7 8 9 10 11 12 13 14 15

−13

−12

−11

−10

−9

−8

−7

−6

−5

b1

b 2

Figure: ESI (red), Eapp (black) and Eapp from 2a (dashed).On Optimal Input Design in System Identification for Control 19/21

Page 23: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Conclusions

• Obtained estimated model guarantees (with highprobability) that application requirements are met.

• Simple examples give insight in how experimentdesign relates to intended application of model.

On Optimal Input Design in System Identification for Control 20/21

Page 24: On Optimal Input Design in System Identification for Control · 2u(t 2)+d(t); b0 2=b 0 1

Introduction

Notation

Application Set

SystemIdentification Set

Optimal InputSignal Design

Optimal InputSignal Design

MPC Example

MPCApplications

Conclusions

Future Work

Future Work

• How to choose Vapp.

• Realistic MPC applications.

• Toolbox for optimal input design.

On Optimal Input Design in System Identification for Control 21/21