Upload
others
View
1
Download
0
Embed Size (px)
Citation preview
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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