level set methods for robustness measures
play

Level set methods for robustness measures P. V AN D OOREN CESAME, - PowerPoint PPT Presentation

Level set methods for robustness measures P. V AN D OOREN CESAME, Universit e catholique de Louvain joint work with Y. Genin, T. Lawrence, M. Overton, J. Sreedhar, A. Tits What it is about Fast and reliable computation of robustness measures


  1. Level set methods for robustness measures P. V AN D OOREN CESAME, Universit´ e catholique de Louvain joint work with Y. Genin, T. Lawrence, M. Overton, J. Sreedhar, A. Tits

  2. What it is about Fast and reliable computation of robustness measures for • Stability • Passivity • Minimality for (possibly structured) perturbations { ∆ A , ∆ B , ∆ C , ∆ D } of a (real or complex) plant { A, B, C, D }

  3. Link to structured singular values In each of these problems we need to find a point λ ∈ C such that some singular value or eigenvalue of matrices derived from � � � � A − λI A − λI B      A − λI  A − λI B   C C D is minimal. Level sets (parameterized by ξ ) are sets where singular values or eigenvalues are larger than the parameter ξ . This is clearly related to so-called pseudo-spectra

  4. Setting Given a minimal system G ( λ ) := C ( λI − A ) − 1 B + D and a perturbed system G ∆ ( λ ) := C ∆ ( λI − A ∆ ) − 1 B ∆ + D ∆ we measure perturbations using        ∆ A ∆ B  A ∆ B ∆  A B  :=  − ∆ :=  ∆ C ∆ D C ∆ D ∆ C D and use the � ∆ � 2 norm All matrices can be real or complex

  5. Complex stability radius We are looking for the radius r C = inf ∆ {� ∆ � 2 | A ∆ is unstable } (Hinrichsen-Pritchard) We need to find an eigenvalue λ of A ∆ in the unstable region Γ or on its boundary ∂ Γ : det( A + ∆ A − λI ) = 0 , λ ∈ ∂ Γ For the complex case, perturbation theory says � ∆ A � 2 = σ min ( A − λI ) so we have (cfr pseudospectrum) r C = min λ ∈ ∂ Γ σ min ( A − λI ) = 0 , λ ∈ ∂ Γ

  6. Resolvant In systems theory we are more familiar with the resolvent and its norm : G ( λ ) := ( λI − A ) − 1 , r − 1 = max λ ∈ ∂ Γ σ max [ G ( λ )] C 2 1.5 1 0.5 0 −0.5 −1 −1.5 −2 −2 −1 0 1 2

  7. Complex stability radius We wanted the radius r C ( A ) = inf ∆ ∈ C m × p {� ∆ � 2 | A + ∆ A is unstable } We needed to find an eigenvalue λ of A + ∆ A in the unstable region Γ or on its boundary ∂ Γ : det( A + ∆ A − λI ) = 0 , λ ∈ ∂ Γ For the complex case, this depended on the transfer function G ( λ ) = ( λI − A ) − 1 and yielded r − 1 = max λ ∈ ∂ Γ σ max [ G ( λ )] C

  8. Structured stability radius If we impose a very simple structure, the problem becomes r C ( A, B, C ) := ∆ ∈ C m × p {� ∆ � 2 : A + B ∆ C is stable } inf Define G ( λ ) := C ( λI − A ) − 1 B then r − 1 C ( A, B, C ) = max λ ∈ ∂ Γ { σ max [ G ( λ )] } See Hinrichsen Pritchard for more on this

  9. Maximum frequency response We thus need a reliable algorithm to find ( λ ∈ ∂ Γ = jω or e jω ): σ max C ( e jω I − A ) − 1 B max ω Amplitude of frequency response H(e j ω ) 16 Alternative : gradient search 14 but too many peaks may cost 12 a lot and may be trouble- 10 some 8 The solution is to look at the 6 ξ level set 4 −4 −3 −2 −1 0 1 2 3 4

  10. Maximum frequency response We thus need a reliable algorithm to find ( λ ∈ ∂ Γ = jω or e jω ): σ max C ( e jω I − A ) − 1 B max ω Amplitude of frequency response H(e j ω ) 16 Alternative : gradient search 14 but too many peaks may cost 12 a lot and may be trouble- ξ 10 some 8 The solution is to look at the 6 ξ level set 4 −4 −3 −2 −1 0 1 2 3 4

  11. Bisection 0.8 The intersection points ω i with the ξ level (of all singular values) are 0.7 imaginary eigenvalues of a Hamil- 0.6 tonian (or symplectic) matrix ξ 0 ≡ ξ old 0.5   − BB ∗ /ξ A 0.4 H ( ξ ) :=   C ∗ C/ξ − A ∗ 0.3 This can be used to do e.g. bisection 0.2 Linear convergence (Byers) ω 2 ω 3 ω 1 ω 4 ω 5 ω 6 ω 7 ω 8 0.1 0 1 2 10 10 10 Frequency Interval midpoint rule is quadratic (Boyd et al, Bruinsma et al)

  12. Correct intervals and interpolation Two dominant singular values 12 10 The eigenvalue problem also yields 8 the derivatives of the singular value 6 plots 4 They yield the info to find each indi- 2 vidual singular value 0 −4 −3 −2 −1 0 1 2 3 4 frequency

  13. Correct intervals and interpolation Two dominant singular values 12 10 The eigenvalue problem also yields 8 the derivatives of the singular value 6 plots 4 They yield the info to find each indi- 2 vidual singular value 0 −4 −3 −2 −1 0 1 2 3 4 frequency

  14. Midpoint vs interpolation Acceleration techniques yielding superlinear convergence midpoint rule fmid=12.76, fint=12.82 Midpoint rule (Boyd et al) 13 Choose ω + as midpoint of interval 12.5 Choose ξ + as function at that ω + 12 | ξ + − ξ ∗ | = O | ξ − ξ ∗ | 2 11.5 σ max 11 Interpolation rule (Genin-V) 10.5 Choose ξ ++ as maximum of 10 cubic interpolating polynomial 2 2.2 2.4 2.6 2.8 3 | ξ ++ − ξ ∗ | = O | ξ − ξ ∗ | 4 frequency

  15. Quartic convergence Iteration ξ (midp.) Intervals (midp.) ξ (cubic) Intervals (cubic) 1 0.5224 [0,1.1991] 0.5224 [0,1.1991] 2 0.7980 [0.1867,0.5995] [0.7097,1.0153] 6.5148 [0.7804,0.7994] 3 1.7669 [0.7472,0.8625] 8.4043 [0.78942,0.78943] 4 5.3027 [0.7762,0.8048] 8.4043 Convergence 5 8.3691 [0.7884,0.7905] 6 8.4043 [0.78942,0.78943] Complexity results (per iteration): a (2 n ) 3 , ω i : a ≈ 50 (exploit Hamiltonian structure) bn 2 , ∂σ j /∂ω : b < n (exploit Hamiltonian structure) cn 2 ( m + p ) , ξ k : c < n (use condensed forms) Overall complexity is O ( n ) 3

  16. Real stability radius r R ( A, B, C ) := ∆ ∈ R m × p {� ∆ � 2 : A + B ∆ C is stable } inf Define G ( λ ) := C ( λI − A ) − 1 B and G := G r + iG i then (Qiu et al) r − 1 R ( A, B, C ) = sup λ ∈ ∂ Γ { µ R [ G ( λ )] } where   G r − γG i µ R ( G ) := γ ∈ (0 , 1] σ 2 [ P γ ] := inf γ ∈ (0 , 1] σ 2 inf   G i /γ G r

  17. Associated Hamiltonian We use       I γI G r − γG i  G 0  ,  = T γ  T γ 1 T γ := √   2 I/γ − I G i /γ G r 0 G to derive an associated real Hamiltonian matrix   αBB T − βBB T A 0   − βBB T αBB T 0 − A   H γ ( ξ ) :=   − αC T C βC T C   − A T 0     βC T C − αC T C A T 0 where α := (1 + γ 2 ) / (2 γξ ) , β := (1 − γ 2 ) / (2 γξ ) We can find the jω eigenvalue of H γ ( ξ ) that correspond to σ 2 [ P γ ( ω )]

  18. Lower envelope For each γ o value there is a σ 2 plot whose levels we can check with H γ o ( ξ o ) The (solid) curve µ R ( ω ) we need 2.2 λ max (H γ ( ω )) to maximize is the lower envelope 2 o of these (dotted) curves 1.8 1.6 1.4 Each one is tangent to µ R ( ω ) in 1.2 ξ λ γ (H( ω )) one frequency ω o 1 0.8 Convergence is quadratic or cubic 0.6 0.4 (Sreedhar-Tits-V) 0.2 0 1 2 3 4 5 6 7 8 ω

  19. Passivity radius Let G ( λ ) := C ( λI n − A ) − 1 B + D be strictly passive i.e. stable and positive real G ( jω ) + [ G ( jω )] ∗ ≻ 0 , ∀ ω ∈ R Re λ i ( A ) < 0 , Consider the perturbed system G ∆ ( λ ) := C ∆ ( λI n − A ∆ ) − 1 B ∆ + D ∆ We wish to find the passivity radius of the system G ( λ ) pr C ( G ) := inf ∆ {� ∆ � 2 | G ∆ ( λ ) is not passive } .

  20. KYP lemma Passivity (stability and positive realness) G ∆ ( jω ) + [ G ∆ ( jω )] ∗ ≻ 0 , Re λ i ( A ) < 0 , ∀ ω ∈ R iff there exists a Hermitian matrix P such that    − A ∆ P − PA ∗ B ∆ − PC ∗ ∆ ∆  ≻ 0 , P ≻ 0 B ∗ ∆ − C ∆ P D ∆ + D ∗ ∆ Stability Re λ i ( A ) < 0 iff there exists a Hermitian matrix P such that − A ∆ P − PA ∗ ∆ ≻ 0 , P ≻ 0 Therefore stability can not be lost “before” positive realness is lost (It can at one frequency if minimality is also lost)

  21. Positive realness G ∆ ( jω ) + [ G ∆ ( jω )] ∗ ≻ 0 gets lost as soon as   0 A ∆ − jωI n B ∆   det  = 0 , for some ω ∈ R A ∗ C ∗ ∆ + jωI n 0   ∆  B ∗ C ∆ D ∆ + D ∗ ∆ ∆ or as soon as     0 ∆  E T  = 0 det  H ω + E  ∆ ∗ 0 where     0 A − jωI n B I n 0 0 0 A ∗ + jωI n     H ω :=  , E := C ∗ 0 0 0 I n 0        B ∗ D + D ∗ C 0 I m 0 I m

  22. We need a closed expression for     0 ∆  E T  = 0 min � ∆ � 2 : det  H ω + E  ∆ ∗ 0 The corresponding transfer function is H ( ω ) := E T H ( ω ) − 1 E and one shows (Hu-Qiu, Overton-V) that the passivity radius is then pr − 1 C ( A, B, C, D ) = sup ω { ν C [ H ( ω )] } where ν C := max { inf γ λ max ( H γ ) , inf γ λ max ( − H γ ) } and    γI n + m 0 H γ := T γ HT γ , T γ :=  0 I n + m /γ

  23. Associated Hamiltonian For each γ o value there is a λ max plot whose levels we can check with      − γ 2  ( D + D ∗ − γ 2 o + γ − 2 o I n /ξ o A − jωI n  B I ) − 1 � � B ∗ C o  − A ∗ + jωI n ξ o − γ − 2 o I n /ξ o C ∗ 2.2 λ max (H γ ( ω )) 2 o The (solid) curve is the lower enve- 1.8 lope of the dotted curves and each 1.6 one is tangent to it in one frequency 1.4 1.2 ξ λ γ (H( ω )) ω o 1 0.8 Convergence is quadratic or cubic 0.6 (Overton-V) 0.4 0.2 0 1 2 3 4 5 6 7 8 ω

Recommend


More recommend