HAL Id: hal-00844570
https://hal.archives-ouvertes.fr/hal-00844570
Submitted on 15 Jul 2013HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Proving set inclusion via intervals: application to robust
stability
Luc Jaulin, Jacques Burger
To cite this version:
Luc Jaulin, Jacques Burger. Proving set inclusion via intervals: application to robust stability. Au-tomatica, Elsevier, 1999, 35 (4), pp.627-632. �hal-00844570�
!"#$%&' ()* %&+,-(%#& $%. %&*)"$.,(/ 011,%+.*%#& *#
1.".2)*"%+ "#3-(* (*.3%,%*4
!" #$%&'( $() #" *%+,-+
!$./+$0/'+- )12(,3-('-+'- )-4 56407-8-4 9%0/8$0'43-4: ;('<-+4'03- )19(,-+4: = ./%&-<$+) !$</'4'-+: >? @>A 9(,-+4: B+$(C-"D8$'&E F$%&'(G%('<H$(,-+4"I+
5-J0-8.-+ K: K??L
!"#$%&'$E M+/<'(, 0N$0 $( %(C-+0$'( J$+$8-0+'C 8/)-& '4 40$.&- $8/%(04 0/ J+/<-0N- '(C&%4'/( /I 0O/ 4-04E J+/<-0N- 4-0 ! /I $&& I-$4'.&- J$+$8-0-+4 $() J+/<-0N- 4-0 " /I $&& J$+$8-0-+4 I/+ ON'CN 0N- 8/)-& '4 40$.&-" 2( 0N'4 J$J-+: $ (-O $&,/+'0N8: $.&- 0/ )-C')- ON-0N-+ /+ (/0 ! '4 '(C&%)-) '( ": '4 J+-4-(0-)" PN- 8-0N/) '4 .$4-) /( '(0-+<$& $($&64'4 ON'CN '4 $ (%8-+'C$& 0//& $.&- 0/ )-$& O'0N '(-Q%$&'0'-4 '( $ ,&/.$& $() ,%$+$(0--) O$6" R/(<-+,-(C- J+/J-+0'-4 /I 0N- $&,/+'0N8 $+- J+/<')-)" PN-$&,/+'0N8 '4 ( $JJ&'-) 0/ +/.%40 40$.'&'06 /I $ )'4C+-0-H0'8- 8/)-& ON-+- 0N-'(I/+8$0'/( /( 0N- J$+$8-0-+4 '4 ,'<-( 0N+/%,N ./%()-)H-++/+ )$0$" PN- .-N$<'/+ /I 0N- $&,/+'0N8 O'0N +-4J-C0 0/ 0N- (%8.-+ /I J$+$8-0-+4 '4 '&&%40+$0-) /( $ C/(0'(%/%4H 0'8- 8/)-&"
()*+,%-#E */%()-)H-++/+ -40'8$0'/(: '(0-+<$& $($&64'4: J$+$8-0+'C 8/)-&: +/.%40 40$.'&'06: 4-0 -40'8$0'/(: 4-0 '(C&%4'/("
.
/0$%,-1'$2,0
PN- J$+$8-0+'C $JJ+/$CN 0/ +/.%40 40$.'&'06 $($&64'4 N$4 +-C-'<-) $ ,+-$0 $00-(0'/( '( 0N- &$40 )-C$)- S4--: -"," TUV: T>V $() 0N- +-I-+-(C-4 0N-+-'(W" X(- /I 0N- 8$'( J+/.&-84 C/(4')-+-) '( 0N'4 $JJ+/$CN '4 0/ )-C')- /( 0N- 40$.'&'06 /I $( %(C-+0$'( J$+$8-0+'C 8/)-& !S3W# ON-+- 0N- J$+$8-0-+ <-C0/+ 3 '4 /(&6 Y(/O( 0/ .-&/(, 0/ 4/8- Y(/O( I-$4'.&- 4-0 !" PN- 8/)-& !S3W '4 $44%8-) 0/ .- '(J%0H/%0J%0 &'(-$+" !-0 %4 )-(/0- .6
$ S3#%W Z & S3W% [ & S3W% [ " " " [ & S3W% [ & S3W SKW '04 CN$+$C0-+'40'C J/&6(/8'$&" \N-( 0N- I%(C0'/(4 & S3W#' Z @((()# $+- $](- O'0N +-4J-C0 0/ 3# $() ON-( ! '4 $ ./^ /+ $ J/&60/J-: -^0+-8- J/'(0 8-0N/)4 S4--: -"," T=VW: .$4-) /( _N$+'0/(/<14 0N-/+-8 T?V $() /0N-+ -^0+-8-HJ/'(0 +-4%&04 4%CN $4 0N- D),-0N-/+-8 TKV: C$( )-C')- /( 0N- 40$.'&'06 /I !S3W '( $ ,%$+$(0--) O$6" \N-( & S3W '4 J/&6(/8'$& $() ON-( 0N- I-$4'.&- 4-0 ! '4 $ ./^: $JJ+/$CN-4 .$4-) /( *-+(40-'( J/&6(/8'$& $+- $<$'&$.&- TKLV .%0 .+$(CNH$()H./%() 8-0N/)4 N$<- 0/ .- %4-) 0/ $</') '88/)-+$0- J-44'8'48" \N-( & S3W '4 $(6 (/(&'(-$+ I%(C0'/(: '(0-+<$& 8-0N/)4 TKUV $+- $.&- 0/ )-$& O'0N 0N- 40$.'&'06 /I !S3W '( $ ,%$+$(0--) O$6" 2( 0N- C/(0-^0 /I J$+$8-0+'C 8/)-&4: '(0-+<$& $($&64'4 N$4 $&+-$)6 .--( %4-) .6 TK@V 0/ .%'&) $ ,%$+$(0--) /J0'8'`$0'/( $&,/+'0N8 I/+ +/.%40 C/(0+/&: .6 T=@V I/+ 0N- CN$+$C0-+'`$0'/( /I 40$.'&'06 )/8$'(4 $() .6 TKKV $() TLV 0/ CN$+$C0-+'`- 0N- 4-0 /I $&& J$+$8-0+'C C/(0+/&&-+4 0N$0 $44%+- 4/8- ,'<-( J-+I/+8$(C-4 0/ $( %(C-+0$'( 4640-8"
9&& 0N- 8-0N/)4 0N$0 N$<- .--( J+-4-(0-) '( 0N- &'0-+$0%+- +-Q%'+- $ I-$4'.&- 4-0 ! O'0N $ 4'8J&- 4N$J- S,-(-+$&&6 $ ./^ /+ $ J/&60/J-W 0N$0 C/(0$'(4 0N- $C0%$& J$+$8-0-+ <-C0/+ '( $ ,%$+$(0--) O$6" 5%CN $ I-$4'.&- 4-0 C$( .- C/8J%0-) .6 %4'(, ./%()-)H-++/+ J$+$8-0+'C -40'8$0'/( S4--: -",": TK?V: TKAV: TKaV: TK=V $() 0N- +-I-+-(C-4
0N-+-'(W( PN'4 $JJ+/$CN 8$Y-4 '0 J/44'.&- 0/ -(C&/4- 0N- !"#$" %&'(#)*& (&+: '"-": 0N- 4-0 /I $&& J$+$8-0-+ <-C0/+4 0N$0 $+- C/(4'40-(0 O'0N ./%()-)H-++/+ )$0$: '( $ ,%$+$(0--) O$6" b/O: 0N- J+'/+ I-$4'.&- 4-0 C$( ,-(-+$&&6 .- )-c(-) .6 (/(&'(-$+ '(-Q%$&'0'-4 $() )-$&'(, O'0N 0N-8 8$Y-4 '0 J/44'.&- 0/ $</') 0N- J-44'8'48 '(0+/)%C-) .6 $( /%0-+ $JJ+/^'8$0'/( " B/+ 4%CN 4-04 )-c(-) .6 (/(&'(-$+ '(-Q%$&'0'-4: C&$44'C$& +/.%40 $JJ+/$CN C$((/0 %4-) '( $ ,%$+$(0--) O$6 $() $ 4J-C'cC 8-0N/)/&/,6 N$4 0/ .-)-<-&/J-)""
2( 0N'4 J$J-+: O- 4N$&& C/(4')-+ 0N- ,-(-+$& 4'0%$0'/( ON-+- ! '4 )-4C+'.-) .6 $ 4-0 /I (/(&'(-$+ '(-Q%$&'0'-4" 5'(C- 0N- 8/)-& '4 '(J%0H/%0J%0 &'(-$+: 0N- 40$.'&'06 )/8$'( " S4-0 /I $&& 3 $44/C'$0-) O'0N $ 40$.&- 8/)-&W C$( $&4/ .- )-c(-) .6 (/(&'(-$+ '(-Q%$&'0'-4 0N$0 8$6 .- /.0$'(-) .6 %4'(, 0N- d/%0N C+'0-+'/( I/+ &'(-$+ C/(0'(%/%4H 0'8- 8/)-&4 /+ 0N- #%+6 C+'0-+'/( I/+ &'(-$+ )'4C+-0-H0'8- 8/)-&4" PN- J+/.&-8 /I J+/<'(, 0N- 40$.'&'06 /I !S3W $8/%(04 0/ J+/<- 0N- '(C&%4'/( /I 0O/ '(-Q%$&'06 4-04: ($8-&6 ! # "" 2(0-+<$& $($&64'4 TKUV O'&& .- 4N/O( 0/ .- J$+0'C%&$+&6 4%'0-) 0/ 4/&<-0N'4 J+/.&-8"
*$4'C (/0'/(4 /I '(0-+<$& $($&64'4 $+- '(0+/)%C-) '( 0N- I/&&/O'(, 4-C0'/(" 2( 5-C0'/( U: $ (-O $&,/+'0N8 C$J$.&- /I J+/<'(, 0N- '(C&%4'/( /I 0O/ '(-Q%$&'06 4-04 '4 J+-4-(0-)" 9 C/(<-+,-(C- $($&64'4 '4 J+/<')-) '( 5-C0'/( >" 2( 5-C0'/( A: 0N- $&,/+'0N8 '4 $JJ&'-) 0/ 0N- 40$.'&'06 $($&64'4 /I $( %(C-+0$'( )'4C+-0-H0'8- 8/)-& ON-+- 4/8- '(I/+8$0'/(4 $+- $<$'&$.&- /( J$+$8-0-+4 0N+/%,N ./%()-)H-++/+ )$0$" PN- C/8J&-^'06 /I 0N-$&,/+'0N8 O'0N +-4J-C0 0/ 0N- (%8.-+ /I J$+$8-0-+4 '4 '&&%40+$0-) O'0N 0N- +/.%40 40$.'&'06 $($&64'4 /I $( %(C-+0$'( C/(0'(%/%4H0'8- 8/)-&"
4
/0$)%5&6 &0&6*#2#
2(0-+<$& $($&64'4 '4 $ (%8-+'C$& 0//& /+','($&&6 )-<-&/J-) 0/ Q%$(0'I6 0N- -e-C0 /I c('0-HJ+-C'4'/( $+'0N8-0'C /( +-4%&04 /.0$'(-) .6 $ C/8J%0-+ TKUV" 90 J+-4-(0: '0 '4 $&4/ %4-) '( $ c('0-H)'8-(4'/($& C/(0-^0 I/+ ,&/.$& /J0'8'`$0'/( S4-- -"," TaVW /+ 0/ J+/<- I/+8$& '(-Q%$&'0'-4 S4-- -"," TKUVW" 2(0-+<$& $($&64'4 '4 .$4-) /( 0N- (/0'/(4 /I ./^-4 $() '(C&%4'/( I%(C0'/(4 0N$0 $+- (/O '(0+/)%C-)"
9 )$, /+ -&.+$" #/+&"-'* 7 /I * '4 0N- R$+0-4'$( J+/)%C0 /I + '(0-+<$&4E
7Z , # , $ " " " $ , # , Z - $ " " " $ - ( S=W
2( 0N- 4-Q%-&: '(0-+<$&4 $+- O+'00-( O'0N %JJ-+HC$4- &-00-+4: ./^-4 O'0N ./&) %JJ-+H C$4- &-00-+4 $() <-C0/+4 O'0N ./&) &/O-+HC$4- &-00-+4" PN- 4-0 /I $&& ./^-4 /I * '4 )-(/0-) .6 .* " 9 !"#/.#!'* !*'/& /I 7 '4 $ 4688-0+6 J&$(- /I 7 (/+8$& 0/ $ 4')- /I 8$^'8%8 &-(,0N" P/ )#(&.+ $ ./^ 7 8-$(4 0/ C%0 '0 $&/(, /(- /I '04 J+'(C'J$& J&$(-4" 9 .'4-C0'/( ,-(-+$0-4 0O/ (/(H/<-+&$JJ'(, ./^-4 7 $() 7 4%CN 0N$0 7 Z 7 % 7 " !-0 8 .- $ <-C0/+ I%(C0'/( 8$JJ'(, * '(0/ * " 9 4-0H<$&%-) I%(C0'/( 9: )-c(-) I+/8 .* '(0/ .* : '4 $( #/.*0(#$/ %0/.+#$/ /I 8 'IE
&7 ' .* # 8S7W # 9S7W# SUW
!-0 /S7W .- 0N- O')0N /I 0N- ./^ 7: '"-" 0N- &-(,0N /I '04 &$+,-40 4')-S4W" 9 '4 .$/-&"1&/+ 'I: I/+ $(6 4-Q%-(C- /I ./^-4 7S0W /I .* :
&'8 /S7S0WW Z @ Z( &'8 /S9S7S0WW Z @ S>W
PN- C/8J%0$0'/( /I $ C/(<-+,-(0 '(C&%4'/( I%(C0'/( $44/C'$0-) O'0N $(6 C/(0'(%/%4 I%(C0'/(: )-c(-) .6 $( -^J&'C'0 I/+8$& -^J+-44'/(: '4 4'8J&- S4--: -"," TKUVW $() +/%0'(-&6 J-+I/+8-) .6 C/88-+C'$&&6 $<$'&$.&- &$(,%$,-4 4%CN $4 RHf5R TAV"
:
;%,520< #)$ 20'61#2,0
!-0 ! $() " .- 0O/ C/8J$C0 SC&/4-) $() ./%()-)W 4-04 /I * '(C&%)-) '( $ ./^ 7 " PN- J+/.&-8 0/ .- 4/&<-) '4 0N$0 /I )-C')'(, ON-0N-+ ! # "" 5-04 ! $() " $+-$44%8-) 0/ .- )-c(-) .6 c('0- 4-04 /I '(-Q%$&'0'-4E
! Z )= ' * * 8S=W + >,#
" Z )= ' * * <S=W + >,# SAW
ON-+- 8 $() < $+- C/(0'(%/%4 I%(C0'/(4" PN- '(-Q%$&'0'-4 N$<- 0/ .- %()-+40//)
C/8J/(-(0O'4-" 2( ON$0 I/&&/O4: ? $() ? )(/0 0N 404 V .# @V $() V
-.# @T : +-4J-C0'<-&6: ON-+- 1 '4 0N- $JJ+/J+'$0- )'8-(4'/(" 2I 8 $() < )-(/0-
0N-"&.#!"$.'* %0/.+#$/ S'( $ 4-0H0N-/+-0'C 4-(4-W /I 8 $() <: 0N-(:
! Z )= ' * * 8S=W ' ? , Z 8 S? W#
" Z )= ' * * <S=W ' ? , Z < S? W( SaW
9 J/44'.&- $JJ+/$CN 0N$0 C/%&) .- C/(4')-+-) I/+ J+/<'(, 0N$0 ! # " '4 0/ .+$CY-0 ! $() " .-0O--( 0O/ 4%.J$<'(,4 S'"-": %('/( /I ./^-4W: %4'(, 4-0H'(<-+4'/( $JJ+/$CN-4 TK>V: TgV" M+/<'(, 0N- '(C&%4'/( 0N-( .-C/8-4 0+'<'$&" \- 4N$&& N-+- C/(4')-+ $ 8/+--]C'-(0 $JJ+/$CN 0N$0 $</'): $( %((-C-44$+6 '(H)-J0N CN$+$C0-+'`$0'/( /I 4-04 ! $() "" 9 <-C0/+ = '4 4$') 0/ .- )'2 'I = ' ! $() = 2' "" 2I $ .$) <-C0/+ -^'404: ! / #"" 9 <-C0/+ 0N$0 '4 (/0 .$) '4 4$') 0/ .- 1$$2" 9 ./^ 7 '4 )'2 'I '0 C/(0$'(4 $0 &-$40 /(- .$) <-C0/+: /0N-+O'4- 7 '4 1$$2" b/0- 0N$0 'I 7 # ": 0N-( 7 '4 ,//) .-C$%4- '0 C$((/0 C/(0$'( /(- = 4%CN 0N$0 = 2' "" 2( 0N- 4$8- 8$((-+: 'I 7 0 ! Z 1: 0N-( 7
C$((/0 C/(0$'( /(- = '( ! $() 0N-+-I/+- 7 '4 ,//)" PN- J+'(C'J&- /I 0N- $&,/+'0N8 0/ .- J+-4-(0-) '4 0/ J$+0'0'/( 0N- J+'/+ ./^ /I '(0-+-40 7 '(0/ $ 4-0 /I (/(H/<-+&$JJ'(, ./^-4 3: 4%CN 0N$0 $(6 ./^ 7 '( 3 '4 ,//)" 2I '0 4%CC--)4 '( J-+I/+8'(, 4%CN $
J$+0'0'/(: $() 4'(C- ! $() " # 7 : 0N-( ! # "" PO/ C/(<-+,-(0 '(C&%4'/( I%(C0'/(4 9 $() @ I/+ 8 $() <: $+- $44%8-) 0/ .- $<$'&$.&-" PN- I/&&/O'(, 0N-/+-8 J+/<')-4 0N+-- )'e-+-(0 .$4'C 0-404 I/+ )-C')'(, ON-0N-+ $ ,'<-( ./^ 7 '4 ,//) /+ .$)"
AB),%)C . 3% 7 #( ' )$, $% ? +4& .&/+&" $% 54#.4 #( 2&/$+&2 )6 =7 +4&/
8#9 @S7W # ? ( 7 #( 1$$2 8##9 9S7W 0 ? Z 1 ( 7 #( 1$$2 8###9 8S=W ' ? '/2 <S=W 2' ? ( 7 #( )'2 SgW ;%,,8 S'W 2I @S7W # ? : 0N-(: <S7W # ? " PN-+-I/+-: < S<S7WW # < S? W" b/O: 7 # < S<S7WW ( 7 # < S? W '"-" 7 # "" h-(C-: 7 '4 ,//)" S''W 2I 9S7W 0 ? Z 1: 8S7W 0 ? Z 1" b/O: ! Z 8 S? W: 0N-+-I/+- 8S!W # ? " R/(4-Q%-(0&6: 8 S7W 0 8 S!W Z 1: '"-" 7 0 ! Z 1" h-(C-: 7 '4 ,//)" S'''W 2I 8 S=W ' ? $() <S=W 2' ? : 0N-( = ' ! $() = 2' "" PN-+-I/+- = '4 .$)" h-(C- 7 '4 .$)" 2 2( 0N- $&,/+'0N8 0/ .- J+-4-(0-): 4 '4 $ Q%-%- /I ./^-4: '"-" '0 N$4 $ B'+40H2(HB'+40H X%0 SB2BXW 40+%C0%+-" 20 C/(0$'(4 $&& ./^-4 40'&& 0/ .- 40%)'-)" PN- '('0'$& ./^ 7 '4 $44%8-) 0/ -(C&/4- 0N- 0O/ C/8J$C0 4-04 ! $() "" 50-J @ 7 EZ 7 i 4 EZ 1i 50-J K 2I @S7W # ? # ,/ 0/ 50-J ai 50-J = 2I 9S7W 0 ? Z 1# ,/ 0/ 50-J ai 50-J U = ZC-(0-+S7W 50-J > 2I 8S=W ' ? $() <S=W 2' ? # +-0%+( j!/ #"jiDbk( 50-J A *'4-C0 7 $() J%4N 0N- 0O/ +-4%&0'(, ./^-4 $0 0N- -() /I 4i 50-J a 2I 4 /Z1# J%&& 0N- c+40 ./^ /I 4 '(0/ 7 $() ,/ 0/ 50-J Ki 50-J g d-0%+( j! # "j" Dbk" g
9 ./^ 7 4%CN 0N$0 (-'0N-+ /I 0N- 0N+-- C/()'0'/(4 S'W: S''W $() S'''W $+- 4$0'4c-) '4 4$') 0/ .- #/2&+&":#/'+&" 5'(C- 0N- 0N+-- .$4'C 0-404 $+- J-44'8'40'C: $( '()-0-+8'($0- ./^ 8',N0 .- ,//) /+ .$)" b/0- 0N$0 $( '()-0-+8'($0- ./^ '4 (-C-44$+'&6 .'4-C0-) .6 0N-$&,/+'0N8"
D
E,05)%<)0') &0&6*#2#
2I O- $44%8- 0N$0 0N- $&,/+'0N8 -()4: 0N-( 0O/ C/(C&%4'/(4 8$6 .- +-$CN-)" 2I '0 -()4 $0 50-J g: 0N-( 0N- '('0'$& ./^ 7 N$4 .--( J$+0'0'/(-) '(0/ $ 4-0 3 /I (/(H /<-+&$JJ'(, ,//) ./^-4: $() 0N-+-I/+- ! # "" 2I 0N- $&,/+'0N8 40/J4 $0 50-J >: 0N-( $ J/'(0 = '4 I/%() 4%CN 0N$0 = ' !: $() = 2' "" PN%4 ! / # "" !-0 5 Z )= ' * * BS=W + >, ON-+- B '4 $44%8-) 0/ .- C/(0'(%/%4" PN- ./+)-+ 5 /I 5 '4 0N- 4-0 )-c(-) .6 5 Z )= '5 * 36 ' )K# ( ( ( # )'8 B, * 7 S=W Z @,( SLW 2I 85 )-(/0-4 0N- ./%()$+6 /I 5: 0N-( 85 # 5 $(): '( ,-(-+'C 4'0%$0'/(4: 85 Z 5 " B/+ 7S=W ZS, [ , WS, [ , - KW ON-+- )'8 B Z K# O- N$<- > ' 5 .%0 > 2' 85" 20 '4
0N-+-I/+- $( -^$8J&- /I $ )-,-(-+$0-) 4'0%$0'/(" 9 <-C0/+ 0N$0 .-&/(,4 0/ 5 : -<-( 'I '0 '4 )--J '(4')- 5: C$( C/8- /%0 /I 5 'I B '4 '(c('0-4'8$&&6 8/<-)"
AB),%)C 4 ;&+ ! '/2 " )& +4& )$"2&"( $% ! '/2 "< 3% ! # " '/2 !0" Z 17 +4& '*1$"#+4: !"$-&( +4& #/.*0(#$/ #/ ' =/#+& +#:&<
;%,,8 PN- J+//I '4 .6 C/(0+$)'C0'/(" 2I 0N- $&,/+'0N8 (-<-+ 40/J4: '0 ,-(-+$0-4 $
(-40-) 4%.H4-Q%-(C- /I '()-0-+8'($0- ./^-4 7S0W 0N$0 $CC%8%&$0-4 /<-+ $ J/'(0 =" L
5'(C- 7S0W '4 .'4-C0-): '0 )/-4 (/0 4$0'4I6 $(6 /I 0N- C/()'0'/(4 +-Q%'+-) .6 50-J K: 50-J = $() 50-J > '"-" 7S0W 4$0'4c-4 0N- 0N+-- I/&&/O'(, C/()'0'/(4" @S7S0WW/ # ? # 9S7S0WW 0 ? /Z 1# S8 S=S0WW 2' ? W /+ S<S=S0WW ' ? W( S?W l/+-/<-+: 4'(C- S'W /S7S0WW 4 @: S''W &0# = ' 7S0W $() S'''W 9 $() @ $+- C/(<-+H ,-(0:0N- $CC%8%&$0'/( J/'(0 = 4$0'4c-4E <S=W 2' ? 8S=W ' ? 8S=W 2' ? /+ <S=W ' ? SK@W !-0 %4 )-(/0- .6 ! $() " 0N- C/8J&-8-(0$+6 4-04 /I ! $() "( 5'(C- S'W <S=W 2' ? 5 = ' " % " : S''W 8S=W ' ? 5 = ' !: S'''W 8S=W 2' ? 5 = ' ! % ! : $() S'<W <S=W ' ? 5 = ' "# SK@W '4 -Q%'<$&-(0 0/ = ' 9 ON-+-E 9 Z S" % " W 0 ! 0 S! % ! % "W( SKKW ;4'(, *//&-$( (/0$0'/(: 9 Z S" [ " W!S! [ ! [ "W Z S"! [ " !WS! [ ! [ "W Z "!!["!! ["!"[" !![" !! [" !"( 5'(C- !! Z 1# !! Z ! # "" Z 1: "" Z " : $() ! [! Z !# O- ,-0 9 Z ! "[!" " b/O: ! # " $() !0" Z 1" PN-+-I/+-: 9 '4 -8J06 $() 0N- $CC%8%&$0'/( J/'(0 = C$((/0 -^'40" PN- $&,/+'0N8 '4
0N%4 $ c('0- $&,/+'0N8" 2
AB),%)C : 3% 3= * = '! - ! '/2 = 2' "7 +4& '*1$"#+4: !"$-&( +4'+ ! / # " #/ ' =/#+& +#:&<
;%,,8 5'(C- = '! - ! $() = 2' ": O-
N$<-8S=W ' ? $() <S=W 2' ? ( SK=W
b/0- 0N$0 $(6 ./^ 0N$0 C/(0$'(4 = C$((/0 .- -&'8'($0-) <'$ 50-J K /+ 50-J =" 2I 0N-$&,/+'0N8 (-<-+ 40/J4: 0N- 0N-$&,/+'0N8 ,-(-+$0-4 $ (-40-) 4%.4-Q%-(C- 7S0W /I '()-H 0-+8'($0- ./^-4 0N$0 C/(0$'( =" PN%4: 0N- 4-Q%-(C- =S0W Z C-(0-+S7S0WW C/(<-+,-4 0/ =" 5'(C- 8 $() < $+- C/(0'(%/%4: 8S=S0WW 4 8 S=W $() <S=S0WW 4 <S=W( B+/8 SK=W: 0N-+- -^'404 $( '(0-,-+ 0 4%CN 0N$0 8S=S0 WW ' ? $() <S=S0 WW 2' ? " B/+ 4%CN $ 0 : $0 50-J >: 0N- $&,/+'0N8 +-0%+(4 j! / #"j" PN'4 '4 '( C/(0+$)'C0'/( 0/ 0N- I$C0 0N$0 0N- $&,/+'0N8 (-<-+ 40/J4" 2
F
A)#$ '&#)
A)#$ '&#) .E R/(4')-+ 0N- )'4C+-0-H0'8- 8/)-&
:S6W Z - K
; S:S6 - KW [ ; :S6 - =W [ =:S6 - UW [ :S6 - >WW # SKUW
ON-+- 3 Z S; # ; W '4 0N- J$+$8-0-+ <-C0/+" PN'4 8/)-& '4 0$Y-( I+/8 D^-+C'4- Ka"UU /I TKgV +-&$0-) 0/ #%+6 C+'0-+'/(" PN- '('0'$& C/()'0'/(4 $+- ,'<-( .6E
:S-UW Z :S-=W Z :S-KW Z :S@W Z K( SK>W
l/+-/<-+: c<- -^J-+'8-(0$& )$0$ N$<- .--( C/&&-C0-) /( 0N- 4640-8 $0 0'8-4 6 ' )K# =# U# ># A," PN- $44/C'$0-) )$0$ <-C0/+ '4
* Z S-=# -@(L# -@(@L# K(AA# @(LAW ( SKAW
20 N$4 .--( /.0$'(-) .6 4'8%&$0'/( /I SKUW I/+ ; Z =(A $() ; Z K( !-0 %4 )-(/0-.6 * S3W 0N- <-C0/+ /I $&& 8/)-& /%0J%04 N/8/,-(-/%4 0/ 0N- )$0$ <-C0/+ * " P/ .- I-$4'.&-: 3 4N/%&) 4$0'4I6 * : S3W - : *+ < # 6 ' )K# =# U# ># A," PN-
I-$4'.&-4-0 !S< W '4 0N-( )-c(-) .6 $ 4-0 /I (/(&'(-$+ '(-Q%$&'0'-4 8S3W + > ON-+- '04 6
C/8J/(-(0 '4 = S3W Z* : S3W - : * -< " PN- #%+6 C+'0-+'/(: $ I/+8$& J+/C-)%+-0N$0 0+$(4I/+84 $ J+/.&-8 /I 40$.'&'06 I/+ $ &'(-$+ )'4C+-0-H0'8- 4640-8 '(0/ $ 4-0 /I (/(&'(-$+ '(-Q%$&'0'-4: '4 (/O $JJ&'-) 0/ 0N- 8/)-& SKUW" \- /.0$'( 0N$0 (-C-44$+6 $() 4%]C'-(0 C/()'0'/(4 I/+ 40$.'&'06 $+- TKgVE
= - ; - ; K- * ; * *K - =; * - *K - ; * *; SK - ; WSK - ; W - SK - =; WS= - ; W* - *SK - ; W - SK - =; W * + > X<-+ 0N- ./^ ; Z TK@ # K@ V $ T-K@ # K@ V: I/+ < Z @(U@=: '( g"= 4-C/()4 /( $
kf>HK@@ C/8J%0-+: 0N- $&,/+'0N8 J+/<-4 0N$0 $&& I-$4'.&- 8/)-&4 $+- 40$.&-: '"-" '0 J+/<-4 0N$0 !S@(U@=W # "" =>AA ,//) ./^-4 N$<- .--( ,-(-+$0-)" B/+ < Z @(U@U: '( g"U 4-C/()4: 0N- $&,/+'0N8 J+/<-4 0N$0 !S@(U@UW / # "" PN- 8/)-& $44/C'$0-) O'0N 3 Z S=(U@A K(KLLW '4 I/%() 0/ .- I-$4'.&- $() %(40$.&-" PN- ,-(-+$0-) J$<'(, $+/%() 3 '4 +-J+-4-(0-) /( B'," K" k$+Y ,+$6 ./^-4 $+- J+/<-) 0/ .- %(I-$4'.&-$() &',N0 ,+$6 ./^-4 $+- J+/<-) 0/ .- 40$.&-" PN- $&,/+'0N8 c()4 $ .$) ./^: )+$O( '( ON'0-" 2( 0N- .&$CY +-,'/( $+- &/C$0-) $&& ./^-4 0N$0 N$<- (/0 .--( 40%)'-): .%0 ON$0-<-+ N$JJ-( '( 0N'4 +-,'/( C$((/0 CN$(,- 0N- C/(C&%4'/("
>$((#)*& *$.'+#$/ %$" ?#10"& @<
944%8- (/O 0N$0 =@ 8-$4%+-8-(04 N$<- .--( ,-(-+$0-) S'(40-$) /I AW" PN- $&,/+'0N8 J+/<-4 0N$0 ! S@(U@=W # " '( a"A 4-C/()4 S0N- 4%.4C+'J0 I/+ ! '()'C$0-4 0N- (%8.-+ /I 8-$4%+-8-(04W '(40-$) /I g"= 4-C/()4" PN- (%8.-+ /I ./^-4 '4 (/O +-)%C-) 0/ ???E 8/+- '(I/+8$0'/(4 $+- $<$'&$.&- I/+ 3: '"-" ! # ! # $() '0 '4 8%CN 8/+- -$46 I/+ /%+ $&,/+'0N8 0/ J+/<- 0N$0 ! # "( b/0- 0N$0 4'(C- 0N- (%8.-+ /I 8-$4%+-8-(04 '4 .',,-+: 0N- C/8J%0'(, 0'8- I/+ /(- ./^ N$4 '(C+-$4-)"
A)#$ '&#) 4E PN- $'8 /I 0N'4 0-40 C$4- '4 0/ 4N/O 0N- .-N$<'/+ /I 0N- $&,/+'0N8 O'0N +-4J-C0 0/ 0N- )'8-(4'/( /I 0N- J$+$8-0-+ 4J$C-" R/(4')-+ $ C/(0'(%/%4H0'8- 8/)-&: 0N- CN$+$C0-+'40'C J/&6(/8'$& /I ON'CN '4 ,'<-( .6E
$ S3#%W Z % [ ; % [ " " " [ ; % [ ; SKaW
PN- (/8'($& <$&%- 3 I/+ 3 '4 /.0$'(-) .6 4-00'(, $ S3#%W Z S% [ KW ( B/+ -^$8J&-: 'I + Z U# 3 Z SU U KW " !-0 %4 $44%8- 0N$0 0N- J$+$8-0-+ <-C0/+ 3 /I 0N- 8/)-& '4 Y(/O( 0/ 4$0'4I6
63-36 - @(= + @ SKgW
PN- %(C-+0$'( 8/)-& !S3W '4 ,%$+$(0--) 0/ .- 40$.&- 'I 4-0 ! )-c(-) .6 0N-'(-Q%$&'06 SKgW '4 '(C&%)-) '( 0N- 4-0 " )-c(-) .6 '(-Q%$&'0'-4 )-+'<-) I+/8 SKaW .6 %4'(, d/%0N C+'0-+'/(" X( $ kf>HK@@ C/8J%0-+: $&,/+'0N8 J+/<-) 0N-'(C&%4'/( I/+ + Z K 0/ L" PN- C/8J%0'(, 0'8-4 $+- ,'<-( .6 P$.&- K"
G
E,0'61#2,0
PN- '(I/+8$0'/( $<$'&$.&- /( $( %(C-+0$'( J$+$8-0+'C 8/)-&: $4 O-&& $4 '04 40$.'&'06 )/8$'(: C$( ,-(-+$&&6 .- )-4C+'.-) .6 (/(&'(-$+ '(-Q%$&'0'-4 0N$0 4N/%&) .- 4$0'4c-) .6 0N- J$+$8-0-+ <-C0/+" PN- J+/.&-8 /I J+/<'(, 0N- 40$.'&'06 /I 0N- %(C-+0$'( 8/)-& $8/%(04 0/ J+/<- 0N$0 0N- I-$4'.&- 4-0 '4 '(C&%)-) '( 0N- 40$.'&'06 )/8$'(" 2(0-+<$& $($&64'4 N$4 .--( %4-) 0/ )-<-&/J $ (-O $&,/+'0N8 $.&- 0/ J+/<- 0N- '(C&%4'/(" 204 C/(<-+,-(C- J+/J-+0'-4 N$<- .--( J+/<')-) $() '0 N$4 .--( 4N/O( 0N$0 0N- $&,/+'0N8 '4 c('0-: -^C-J0 I/+ )-,-(-+$0-) C$4-4" P/ '&&%40+$0- 0N- -]C'-(C6 /I 0N- 8-0N/): 0O/ 0-40 C$4-4 N$<- .--( 4/&<-)" PN- c+40 /(- )-$&4 O'0N $ )'4C+-0-H0'8- J$+$8-0+'C 8/)-& ON-+- 0N- '(I/+8$0'/( I/+ 0N- J$+$8-0-+4 '4 $<$'&$.&- %()-+ 0N- I/+8 /I ./%()-)H
-++/+ )$0$" k'4C+-0- 0'8- 8/)-&4 '(</&<- 40$.'&'06 )/8$'(4 )-c(-) .6 (/(48//0N '(-Q%$&'0'-4 $() 0N- I-$4'.&- 4-0 ,-(-+$0-) .6 $ ./%()-)H-++/+ $JJ+/$CN '4 $&4/ )-c(-) .6 (/(&'(-$+ '(-Q%$&'0'-4" PN'4 0-40HC$4- '4 F%40 $( '&&%40+$0'/( /I 0N- &$+,- C&$44 /I J$+$8-0+'C +/.%40 40$.'&'06 J+/.&-84 0N$0 C$( .- N$()&-) .6 8-0N/)" P/ 0N-.-40 /I /%+ Y(/O&-),-: (/ /0N-+4 8-0N/)4 '( 0N- &'0-+$0%+- $+- $.&- 0/ 4/&<- 0N'4 0-40H C$4- '( $ ,%$+$(0--) O$6" PN- 4-C/() /(- '&&%40+$0-4 0N- .-N$<'/+ /I /%+ $&,/+'0N8 ON-( 0N- (%8+ /I J$+$8-0-+4 '(C+-$4-4< 94 -^J-C0-): 0N- C/8J&-^'06 4--84 0/ .--^J/(-(0'$& O'0N +-4J-C0 0/ 0N- (%8.-+ /I J$+$8-0-+4" PN- $JJ+/$CN C/(4')-+-) '( 0N'4 J$J-+ 4--84 0N-+-I/+- 0/ .- +-40+'C0-) 0/ J+/.&-84 O'0N +-$4/($.&- )'8-(4'/(4"
?)8)%)0')#
TKV 9"R" *$+&-00: R"m" h/&&/0 $() !" h%$(, SK?LLW" d//0 &/C$0'/(4 /I $( -(0'+-J/&60/J- /I J/&6(/8'$&E 20 4%]C-4 0/ CN-CY 0N- -),-4" A'+4&:'+#.( $% B$/+"$*7 C#1/'*( '/2 C6(+&:(: .: aKHgK"
T=V *"d *$+8'4N $() h"2" _$(, SK??UW" 9 4%+<-6 /I -^0+-8- J/'(0 +-4%&04 I/+ +/H .%40(-44 C/(0+/& 4640-84" D0+$:'+#.': 4H: KUHUA"
TUV *"d" *$+8'4N SK??>W" E&5 F$$*( %$" G$)0(+/&(( $% ;#/&'" C6(+&:(< l$C8'&&$( M%.&'4N'(, R/"
T>V 5"M" *N$00$CN$+66$: h" RN$J-&&$0 $() !"h" _--& SK??AW" G$)0(+ B$/+"$*7 F4& >'"':&+"#. D!!"$'.47 M+-(0'C- h$&&"
TAV d" h$88-+: l" h/CY4: ;" _%&'4CN $() k" d$0`" SK??AW" BHH F$$*)$, ?$" I&"J #=&2 B$:!0+#/1: 5J+'(,-+Hm-+&$,: h-')-&.-+,"
TaV D" h$(4-( SK??=W" K*$)'* L!+#:#M'+#$/ N(#/1 3/+&"-'* D/'*6(#(: l$+C-& k-YY-+: b-O n/+Y"
TgV !" #$%&'( $() D" \$&0-+ SK??UW" 5-0 '(<-+4'/( <'$ '(0-+<$& $($&64'4: D0+$:'+#.': 4HS>W: K@AUHK@a>"
TLV !" #$%&'( $() D" \$&0-+ SK??aW" o%$+$(0--) 0%('(,: O'0N $JJ&'C$0'/( 0/ +/.%40 C/(0+/& $() 8/0'/( J&$(('(," D0+$:'+#.'< :4SLW: K=KgHK==K"
T?V m"!" _N$+'0/(/< SK?gLW" 9468J0/0'C 40$.'&'06 /I $( -Q%'&'.+'%8 J/4'0'/( /I $ I$8'&6 /I 4640-84 /I &'(-$+ )'e-+-(0'$& -Q%$0'/(4" O#P&"&/+(#'*Q/6& N"'-/&/6': .DI =@LaH=@LL"
TK@V !"m" _/&-< SK?LLW" 9( '(0-+<$& c+40H/+)-+ 8-0N/) I/+ +/.%40(-44 $($&64'4" 3RRR 3/+&"/'+#$/'* C6:!$(#0: $/ B#".0#+( '/2 C6(+&:(< =A==H=A=>: RN'C$,/"
TKKV 5"9" l$&$(: l" l'&$(-4- $() l" P$+$,($ SK??aW" d/.%40 40$.'&'06 $() )-4',( /I C/(0+/& 4640-84 %4'(, '(0-+<$& $+'0N8-0'C"" >"$.&&2#/1( $% +4& 3?DB @S+4 F"#&/J /#'* T$"*2 B$/1"&((7 =AHU@: 5$( B+$(C'4C/"
TK=V l" l'&$(-4-: #" b/+0/(: h" M'-0H!$N$('-+ $() D" \$&0-+ SD)4"W SK??aW" U$0/2#/1 D!!"$'.4&( +$ C6(+&: 32&/+#=.'+#$/: M&-(%8: b-O n/+Y"
TKUV d" D" l//+- SK?g?W" A&+4$2( '/2 D!!*#.'+#$/( $% 3/+&"-'* D/'*6(#( : 529l: MN'&$)-&JN'$"
TK>V d" D" l//+- SK??=W" jM$+$8-0-+ 4-0 I/+ ./%()-)H-++/+ )$0$:j A'+4< B$:!0+< C#:0*'+#$/: :D: KKUHKK?"
TKAV #"HM" b/+0/( SD)"W SK??>W: 5J-C'$& '44%- /( ./%()-)H-++/+ -40'8$0'/(: .: 3/+< V< D2'!+< B$/+"$* C#1/'* >"$.<: JSKW: KHKKL"
TKaV #"HM" b/+0/( SD)"W SK??AW: 5J-C'$& '44%- /( ./%()-)H-++/+ -40'8$0'/(: 4: 3/+< V< D2'!+< B$/+"$* C#1/'* >"$.<: HSKW: KHKU="
TKgV l" d'</'+-: #" !" B-++'-+ $() #" o+/&-$% SK??=W" R,&".#.&( 2Q'0+$:'+#W0&7 .$:J :'/2& !'" .'*.0*'+&0" &+ #2&/+#=.'+#$/: P/8- U: D6+/&&-4: M$+'4"
TKLV 9" m'C'(/: 9" P-4' $() l" l'&$(-4- SK??@W" R/8J%0$0'/( /I (/(C/(4-+<$0'<- 40$H .'&'06 J-+0%+.$0'/( ./%()4 I/+ 4640-84 O'0N (/(&'(-$+&6 C/++-&$0-) %(C-+0$'(0'-4" 3RRR F"'/(< $/ D0+$:< B$/+"$*7 !EK:F: LUAHL>K"
TK?V D" \$&0-+ SD)"W" SK??@W" 5J-C'$& '44%- /( J$+$8-0-+ ')-(0'cC$0'/( O'0N -++/+ ./%(): A'+4< B$:!0+< C#:0*'+#$/: :4: Apa: >>gHa@g"
T=@V D" \$&0-+ $() !" #$%&'( SK??>W" jo%$+$(0--) CN$+$C0-+'`$0'/( /I 40$.'&'06 )/H 8$'(4 <'$ 4-0 '(<-+4'/(:j 3RRR F"'/(< $/ D0+$:< B$/+"$*: !EK:H: LLaHLL?"
A!LMN E!;A/OP
P$.&- KE R/8J%0'(, 0'8- O'0N +-4J-C0 0/ 0N- )'8-(4'/( '( P-40HC$4- ="
9/@Q?N E!;A/OP
B',%+- KE M$<'(, ,-(-+$0-): I/+ < Z @(U@U# '( 0N- S; # ; WH4J$C-: I/+ J+/<'(, 0N$0
0N- 8/)-& 8$6 .- %(40$.&-"
+ K = U > A a g L >S4-CW @(@= @(@A @(K @(= @(= @(> @(g K(K P$.&- K 2.295 2.3 2.305 2.31 2.315 1.17 1.172 1.174 1.176 1.178 1.18 1.182 1.184 1.186 1.188 1.19 B',%+- K KL