Introduction à la synthèse de superviseur

HAL Id: hal-00804879

https://hal.archives-ouvertes.fr/hal-00804879

Submitted on 26 Mar 2013

HAL 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.

Mathilde Machin, Jérémie Guiochet, David Powell, Hélène Waeselynck

To cite this version:

Mathilde Machin, Jérémie Guiochet, David Powell, Hélène Waeselynck. Introduction à la synthèse de superviseur. [Rapport de recherche] 13067, LAAS-CNRS. 2013. �hal-00804879�

!

!

!

"#$%&'()$*&#!+!,-!./#$01.2!'2!.(32%4*.2(%!

5-33&%$!6778!#9:;<=>!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

?-$0*,'2!?-)0*#!

@A%AB*2!C(*&)02$!

D-4*'!E&F2,,!

GA,1#2!H-2.2,/#)I!

!

!

!

!

!

!!!!:J!KA4%*2%!L<:;

!

,

!

-&%./0*1.2!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,

! ,+,! 3($&./$2!4*#*!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,! ,+,+,! 564*#*$*&#!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,! ,+,+7! 86./#$*9(2!2$!:;<&$:=121!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7! ,+,+>! ?%&<%*6$6!'@(#!/($&./$2!A!B.&#'6!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!>! ,+7! C*2#!2#$%2!/($&./$2!2$!0/#D/D2!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!>! ,+>! ?%&'(*$1!'@/($&./$21!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!E!

7

!

C/!1;#$:=12!'2!1(<2%F*12(%!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!G

! 7+,! "'2#$*4*)/$*&#!'(!.&'=02!'(!<%&)6'6!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!G! 7+7! "'2#$*4*)/$*&#!'21!<%&<%*6$61!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!H! 7+>! "'2#$*4*)/$*&#!'(!)&.<&%$2.2#$!1(<2%F*16!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!H! 7+I! JK$%/)$*&#!'2!0/!)/%$2!'2!)&#$%L02!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!M! 7+E! ?%&)6'(%2!'2!0/!1;#$:=12!'2!1(<2%F*12(%!N&%*2#$62!0/#D/D2O!++++++++++++++++++++++++++++++++++++++!M! 7+P! Q2<%612#$/$*&#!'(!1(<2%F*12(%!1(%!(#!/($&./$2!++++++++++++++++++++++++++++++++++++++++++++++++++++++!,R!

>

!

3<<0*)/$*&#1!2$!2K2.<021!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,,

! >+,! 3<<0*)/$*&#!N&%*2#$62!0/#D/D2O!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,,! >+7! 3<<0*)/$*&#!/F2)!&($*0!STS!N&%*2#$62!/($&./$2O!++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,I! >+>! JK2.<02!A!02!<0(1!D%/#'!1&(1U0/#D/D2!)&#$%L0/V02!+++++++++++++++++++++++++++++++++++++++++++++++++++++!,G!

I

!

".<06.2#$/$*&#!'(!1(<2%F*12(%!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7R

! I+,! 5*44*)(0$61!'@*.<06.2#$/$*&#!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7R! I+7! JK2.<021!'@*.<06.2#$/$*&#!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7,! I+7+,! "#$2%<%6$/$*&#!J#$%62W8&%$*2!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7,! I+7+7! 86</%/$*&#!'(!)&#$%L02!2$!'2!0/!1(<2%F*1*&#!+++++++++++++++++++++++++++++++++++++++++++++++++++++++!77! I+>! 5*1)(11*&#!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!77!

T&#)0(1*&#!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7>

!

X*V0*&D%/<:*2!++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!7E

! ! !

! ,!

)*+&",-.+%"*(

C/! $:6&%*2! '(! )&#$%L02! </%! 1(<2%F*1*&#! N!"#$%&'()%*+ ,)-.%)/+ 01$)%*Y! 8TSOY! &(! 1;#$:=12! '2! 1(<2%F*12(%Y!/!6$6!*#F2#$62!2#!,MHG!</%!?+Q/./'D2!2$!Z+[+Z&#:/.!\QZHGY!ZRI]+!C/!8TS! 1@/<<(*2!1(%!0/!$:6&%*2!'21!0/#D/D21Y!2$!/!%2)&(%1!/(K!./):*#21!^!6$/$+!J002!F*12!^!1;#$:6$*12%! (#!1(<2%F*12(%!)&%%2)$!</%!)&#1$%()$*&#Y!9(*!F2*002!^!)2!9(2!02!)&.<&%$2.2#$!'@(#!1;1$=.2!^! 6F6#2.2#$1! '*1)%2$1! %21$2! /'.*11*V02! F*1U^UF*1! '@(#2! 1<6)*4*)/$*&#+! C/! 1;#$:=12! %29(*2%$! 0/! .&'60*1/$*&#!'(!1;1$=.2!^!)&#$%L02%!2$!'2!0/!1<6)*4*)/$*&#Y!2$!#2!'&##2!9(@(#!.&'=02!<&(%! 0/!)&../#'2Y!9(@&#!/<<2002!!1(<2%F*12(%+!C/!1<6)*4*)/$*&#!<2($!_$%2!'2!$;<2!4&#)$*&##20!&(! #&#U4&#)$*&##20!N</%!2K2.<02!'21!<%&<%*6$61!'2!16)(%*$6U*##&)(*$6O+!

C2! 1;1$=.2! ^! )&#$%L02%! /! '21! /)$*&##2(%1! 2$! '21! )/<$2(%1+! C/! 1<6)*4*)/$*&#! %21$%2*#$! 021! <&11*V*0*$61! 2#! *#$2%'*1/#$! )2%$/*#21! 169(2#)21! '@/)$*&#1W&V12%F/$*&#1+! T&..2! (#2! &V12%F/$*&#!<%&F*2#$!'2!!0@2#F*%&##2.2#$Y!02!1(<2%F*12(%!#2!<2($!</1!0@*#$2%'*%2Y!*0!#2!<2($! *#:*V2%! 9(2! '21! /)$*&#1+! 8/! )&#)2<$*&#! #6)211*$2! '&#)! 0/! )&##/*11/#)2! '@(#! .&'=02! '(! 1;1$=.2+!C/!%2):2%):2!'21!/)$*&#1!^!*#$2%'*%2!21$!4/*$2!/($&./$*9(2.2#$!</%!(#!/0D&%*$:.2! '2!1;#$:=12+!

C2!1(<2%F*12(%!#2!'&*$!</1!_$%2!)&#4&#'(!/F2)!02!)&#$%L02(%+!`#!1(<2%F*12(%!21$!*)*!(#!&Va2$! $:6&%*9(2Y! 9(*! <2($! *#:*V2%Y! *#$2%'*%2! '21! /)$*&#1Y! ./*1! #2! <%2#'! </1! 0@*#*$*/$*F2! '2! 021! '6)02#):2%+! C2! 1(<2%F*12(%! #@21$! '&#)! </1! '*%2)$2.2#$! *.<06.2#$/V02!b! *0! <2($! _$%2! )&#1*'6%6!)&..2!(#2!1<6)*4*)/$*&#!&(!(#!1&(1U2#12.V02!'(!)&#$%L02(%!9(*Y!0(*Y!/!0@*#*$*/$*F2! '21!)&../#'21+! ! T2!'&)(.2#$!/!<&(%!V($!'@2K<&12%!021!<%*#)*<21!$:6&%*9(21!'2!0/!1;#$:=12!'2!1(<2%F*12(%Y!2$! '2!'&##2%!'21!<*1$21!2#!F(2!'2!0@*.<06.2#$/$*&#!'(!)&#$%L02(%+!!

C2! )/'%2! $:6&%*9(2! 21$! '64*#*! '/#1! 0/! 12)$*&#! 7+! C/! 12)$*&#! >! 2K<&12! 021! <%*#)*<21! '2! 0/! 1;#$:=12+!521!2K2.<021!1&#$!$%/*$61!2#!12)$*&#!>Y!#&$/..2#$!2#!($*0*1/#$!0@&($*0!'2!1;#$:=12! STS!\ZRI]+!C/!12)$*&#!I!1@*#$6%2112!^!0@*.<06.2#$/$*&#!'(!1(<2%F*12(%!'2!Z&#:/.+!

/ 0"&#$1%2#'(

c(209(21! 606.2#$1! $:6&%*9(21! 1&#$! #6)211/*%21! <&(%! )&.<%2#'%2! 02! .6)/#*1.2! '2! 0/! 1;#$:=12!'2!1(<2%F*12(%+!

/3/ 4-+"#$+'(5%*%(

/3/3/ 675%*%+%"*(

d#!'64*#*$!(#!/($&./$2!4*#*!</%!02!9(*#$(<02!NcY!!Y!"Y!9RY!c.O!/F2)!

U c!0@2#12.V02!4*#*!'21!6$/$1!

U !!0@2#12.V02!4*#*!'21!6F=#2.2#$1Y!&(!/0<:/V2$+!`#!6F6#2.2#$!6$/#$!(#!1;.V&02+! U "!0/!4&#)$*&#!$%/#1*$*&#!

U 9R!0@6$/$!*#*$*/0Y!606.2#$!'2!c!

U c.!0@2#12.V02!'21!6$/$1!./%9(61!&(!./%9(/D2!N'64*#*!)*U/<%=1O!

d#! '64*#*$!!e! 0@2#12.V02! '21! 169(2#)21! 4*#*21! '21! 606.2#$1! '2! !Y! )+U^U'+! 0@2#12.V02! '21! .&$1!4/*1/V021!/F2)!0@/0<:/V2$!!+!!!e!)&#$*2#$!0/!169(2#)2!F*'2Y!#&$62!#+(

C/!4&#)$*&#!$%/#1*$*&#!21$!'64*#*2!</%!!

! 7! ! ! !"#$%&'()''*+&,-.&'/01$23,12&' JK2.<02!A!8(%!0@/($&./$2!'2!0/!-*D(%2!,Y!"N9RY!$Of9,!! C/!4&#)$*&#!$%/#1*$*&#!21$!</%$*2002Y!2002!#@21$!</1!'64*#*2!<&(%!$&($!606.2#$!'2!c!K!!+!C21! 6$/$1!#@&#$!</1!(#2!$%/#1*$*&#!1&%$/#$2!<&(%!):/9(2!6F6#2.2#$+!J#!'@/($%21!$2%.21Y! )2%$/*#21!169(2#)21!#2!1&#$!</1!%6/0*1/V021!'/#1!0@/($&./$2+!

JK2.<02!A!8(%!0@/($&./$2!'2!0/!-*D(%2!,Y!"N9RY!%O!2$!"N9,Y!$O!#2!1&#$!</1!'64*#*1+!

C2!4/*$!9(2!021!$%/#1*$*&#1!1&*2#$!'64*#*21!</%!(#2!4&#)$*&#Y!*.<0*9(2!9(@&#!#2!1@*#$6%2112!*)*! 9(@/(K! /($&./$21! '6$2%.*#*1$21+! J$/#$! '&##6! (#! 6$/$! '2! '6</%$! 2$! (#! 6F6#2.2#$Y! *0! #@;! /! 9(@(#2!$%/#1*$*&#!1&%$/#$2Y!2$!'&#)!9(@(#!12(0!6$/$!'@/%%*F62+! d#!6$2#'!0/!'64*#*$*&#!'2!"!</%!! "!A!c!K!!eUg!c! JK2.<02!A!8(%!0@/($&./$2!'2!0/!-*D(%2!,Y!"N9RY!$%&Of9>! ! C2!4/*$!'2!./%9(2%!&(!#&#!(#!6$/$!21$!(#!):&*K!'2!.&'60*1/$*&#+!`#!6$/$!./%9(6!%2<%612#$2! (#!6$/$!&h!(#2!$/):2!1@/):=F2Y!&h!(#!&Va2)$*4!21$!/$$2*#$+!C21!6$/$1!./%9(61!<2(F2#$!_$%2!F(1! )&..2! '21! 6$/$1! 1$/V021Y! /0&%1! 9(2! 021! 6$/$1! #&#U./%9(61! 1&#$! '21! 6$/$1! *#$2%.6'*/*%21Y! $%/#1*$&*%21! '(%/#$! 0@/))&.<0*112.2#$! '21! $/):21+! ?/%! 2K2.<02! <&(%! (#2! $/):2! );)0*9(2Y! 0@6$/$! *#*$*/0! 21$! D6#6%/02.2#$! ./%9(6+! C21! 6$/$1! ./%9(61! 1&#$! </%4&*1! /<<2061! 6$/$1! 4*#/(K! &(!6$/$1!'@/))2<$/$*&#+! ! i&$/$*&#1!A!d#!#&$2%/!(#!6F6#2.2#$!9(20)&#9(2!'!(!!Y!2$!(#2!169(2#)2!1!(!!e+! C21!6$/$1!./%9(61!1&#$!#&$61!</%!(#!'&(V02!)2%)02!N&(!</%4&*1!(#2!40=):2!1&%$/#$2O+! C@6$/$!*#*$*/0!21$!%2<%612#$6!2#!V02(!N&(!D%*1O!'/#1!0/!1(*$2!N&(!#(.6%&$6!R!/F2)!STSO! ! /3/38 !7#$*+%9-'('+(:;<"+:=2'2(

5/#1! 02! )/'%2! '2! 0/! $:6&%*2! '21! 0/#D/D21Y! 0/! 16./#$*9(2! '21! /($&./$21! 21$! $2002! 9(2Y! /(! '6</%$! '@(#! 6$/$Y! 1*! /()(#2! $%/#1*$*&#! #@21$! 6$*9(2$62! 'Y! /0&%1! *0! 21$! *.<&11*V02! 9(2! 0@6F=#2.2#$!'!/'F*2##2+!

JK2.<02!A! d#! F2($! .&'60*12%! 0/! F*2! '@(#! ):/$+! 8/! ./*1&#! '*1<&12! '2! 7! ):/$*=%21Y! (#2! <&(%! 0@2#$%62Y!(#2!<&(%!0/!1&%$*2+!8(%!):/)(#2!'21!):/$*=%21Y!(#!)/<$2(%!2#F&*2!(#!4%&#$!.&#$/#$!^! ):/9(2!&(F2%$(%2+!d#!<2($!.&'60*12%!)2!1;1$=.2!</%!0@/($&./$2!'2!0/!-*D(%2!7+! ! !"#$%&'4)'5"&'/6$7'8912' q0 ! q1 # q2 " q3 dedans dormir croquettes dehors sortie entrée dormir

! >! c(/#'!02!):/$!21$!^!0@*#$6%*2(%Y!*0!#@21$!</1!<&11*V02!9(2!0/!):/$*=%2!'@2#$%62!1@&(F%2Y!/*#1*!*0! #@;!/!</1!'2!$%/#1*$*&#!6$*9(2$62!j2#$%62@!/(!'6</%$!'2!0@6$/$!j'2'/#1@+!C2!):/$!<2($!'&%.*%! </%$&($Y!2#!%2F/#):2!*0!#2!<2($!./#D2%!'21!)%&9(2$$21!9(@^!0@*#$6%*2(%+!

d#!%2./%9(2!9(2!0@/V12#)2!'@(#!6F6#2.2#$!/(!'6</%$!'@(#!6$/$!21$!$%=1!<&%$2(12!'2!12#1+! J#! <%/$*9(2! &#! 0*$! 1(%! (#! /($&./$2! /($/#$! 021! $%/#1*$*&#1! <%612#$21! 9(@/V12#$21+! d#! <2($! %61(.2%!!)2$$2!16./#$*9(2!</%!k(#!6F6#2.2#$!#&#!.2#$*&##6!#l/'F*2#$!</1k+! ! d#!/11&)*2!^!0@/($&./$2!'21!:;<&$:=121!$2.<&%20021!)0/11*9(21!A! U 6F=#2.2#$1!*#1$/#$/#61! U 6F=#2.2#$1! /1;#):%&#21! N7! 6F6#2.2#$1! #2! <2(F2#$! </1! /'F2#*%! 1*.(0$/#6.2#$! '/#1!(#!._.2!/($&./$2O! ! /3/3> ?&"<&%7+7(,@-*($-+"#$+'(A(B#"*,7( ! d#!'64*#*$!0@2#12.V02!'21!6$/$1!/))211*V021!</%!! c%!f!m!9!(!c!n!)!1!(!!eY!"N9RY1O!f!9!o! J$!0@2#12.V02!'21!6$/$1!)&U/))211*V021!</%!! c)%!f!m!9!(!c!n!)!1!(!!eY!"N9Y1O!(!c.!o! ! `#!/($&./$2!21$!'*$!/))211*V02!1*!c%!f!cY!)+U^U'+!1*!$&(1!121!6$/$1!1&#$!/))211*V021+!

`#! /($&./$2! 21$! '*$! )&U/))211*V02! 1*! c)%! f! cY! )+U^U'+! 1*! &#! <2($! /$$2*#'%2! (#! 6$/$! ./%9(6!

'2<(*1! ):/9(2! 6$/$+! `#! /($&./$2! /))211*V02! 2$! )&U/))211*V02! 21$! '*$! 23)-42! N&(! .%'3! 2#! /#D0/*1O+!J#!<%/$*9(2!1*!(#!/($&./$2!21$!6.&#'6Y!*0!21$!'6V/%%/116!'2!$&($!)2!9(*!21$!*#($*02!A! 021!6$/$1!&h!*0!#2!</112%/!a/./*1Y!021!V%/#):21!9(*!#2!12%F2#$!</1!^!/))&.<0*%Y!^!/F/#)2%!(#2! $/):2+!! /38 C%'*('*+&'($-+"#$+'('+(1$*D$D'( `#!/($&./$2!<2($!_$%2!F(!)&..2!(#!.6)/#*1.2!'6)%*F/#$!(#!0/#D/D2+!`#!.&$!'(!0/#D/D2! 21$!/0&%1!(#2!169(2#)2!'@6F=#2.2#$1Y!</%$/#$!'2!0@6$/$!*#*$*/0+!! ! `#!/($&./$2!4*#*!21$!%2<%612#$6!</%!'2(K!0/#D/D21+!

8&*$! 0@/($&./$2! 3fNcY!!Y! "Y! 9RY! c.O+! C2! 0/#D/D2! CN3O! N</%4&*1! /<<206! 0/#D/D2! D6#6%6O! 21$!

0@2#12.V02!'21!169(2#)21!%6/0*1/V021!'/#1!0@/($&./$2+! CN3O!f!m1!(!!!en!"N9RY1O!21$!'64*#*o! C2!0/#D/D2!D6#6%6!%2<%612#$2!0/!1$%()$(%2!'21!6$/$1!2$!'21!$%/#1*$*&#1!6$*9(2$621+!"0!#2!<%2#'! </1! 2#! )&.<$2! 02! ./%9(/D2! '21! 6$/$1+! C2! 0/#D/D2! D6#6%6! #2! %2<%612#$2! 9(2! 0/! </%$*2! /))211*V02!'2!0@/($&./$2+! C2!0/#D/D2!./%9(6!21$!0@2#12.V02!'21!169(2#)21!12!$2%.*#/#$!'/#1!(#!6$/$!./%9(6+!! C.N3O!f!m1!(!CN3O!n!"N9RY1O!(!c.o! C2!0/#D/D2!./%9(6!$%/'(*$!02!./%9(/D2!'2!0@/($&./$2!N2#12.V02!'21!6$/$1!./%9(61O+!C2! 0/#D/D2!./%9(6!#2!'6<2#'!9(2!'2!0/!</%$*2!/))211*V02!2$!)&U/))211*V02!'2!0@/($&./$2!)+U^U'+! 9(@&#!<2($!%6'(*%2!0@/($&./$2!^!1/!</%$*2!6.&#'62!<&(%!)&#1$%(*%2!1&#!0/#D/D2!./%9(6+!! `#!/($&./$2!D6#=%2!(#!0/#D/D2!D6#6%6!(#*9(2!2$!(#!0/#D/D2!./%9(6!(#*9(2+! !

! I! `#!0/#D/D2!C!21$!'*$!%$5)--"!</%!(#!/($&./$2!3!1*!*0!21$!02!0/#D/D2!./%9(6!'2!3Y!)+U^U'+!1*! C.N3OfC+!C/!%2)&##/*11/#)2!'@(#!0/#D/D2!'6<2#'!'(!./%9(/D2!2$!'2!0/!1$%()$(%2!'2! 0@/($&./$2+!`#!0/#D/D2!<2($!_$%2!%2)&##(!</%!<0(1*2(%1!/($&./$21+!c(/#'!(#!0/#D/D2!21$! %2)&##(!</%!N/(!.&*#1O!(#!/($&./$2Y!*0!21$!'*$!%6D(0*2%!&(!%/$*&##20+!C21!0/#D/D21!'2!)2$$2! )0/112!<2(F2#$!_$%2!'6)%*$1!N'2!./#*=%2!#&#!(#*9(2O!</%!'21!2K<%211*&#1!%6D(0*=%21!N\d,R]O+! ! JK2.<02!A!J)%*$(%2!'@(#!0/#D/D2!</%!021!2#12.V021!2$!021!2K<%211*&#1!%6D(0*=%21! 8&*$!0@/($&./$2!3Y!-*D(%2!>! ! !"#$%&':)';$23,12&';' CN3O!f!m!*Y!&Y!&+Y!$Y!$%Y!$%,Y!$%,-Y!$%,-%Y!$%,-%,Y!$%,-%,-Y!po! C.N3O!f!m&+Y!$Y!$%,-Y!$%,-%,-Y!po! c(@&#!<2($!6)%*%2!</%!021!2K<%211*&#1!%6D(0*=%21!C.N3O!f!&+!q!$N%,-Oe! ! 675%*%+%"*(A(?&75%E'F.1"2( C@2#12.V02!'21!<%64*K21!'(!0/#D/D2!CY!21$!02!0/#D/D2 .C!f!m!1!(!!e!n!)!$!(!!eY!!1$!(!C!o! ?/%!'64*#*$*&#!'2!0@2#12.V02!'21!<%64*K21Y!&#!/!C!/!.C! C!21$!'*$!<%64*K2U)0&1!N&(!)0&1O!11*.CfC+! !

8*! C! 21$! D6#6%6! </%! (#! /($&./$2! 3! /0&%1! C! 21$! <%64*K2U)0&1Y! )+U^U'+!.CfC+! J#! 2442$! '/#1! (#! /($&./$2Y! 021! .&$1! '(! 0/#D/D2! 1@*#$2%<%=$2#$! )&..2! '21! 169(2#)21! '@6F=#2.2#$1+! 52(K! 6F=#2.2#$1!#2!<&(F/#$!</1!/F&*%!0*2(!1*.(0$/#6.2#$Y!(#2!169(2#)2!#2!<2($!2K*1$2%!9(2!1*! $&($21!021!6$/<21!*#$2%.6'*/*%21!2K*1$2#$Y!)+U^U'+!9(2!$&(1!021!<%64*K21!4&#$!</%$*2!'(!0/#D/D2+! ! JK2.<02!A!?%64*K2U)0&1! T&#1*'6%&#1!0@/0<:/V2$!!!f!m!$!Y!%!Y!&!Y!*!o! J$!02!0/#D/D2!C!f!m!$%&$!Y!$&*!o!! C@2#12.V02!'21!<%64*K21!'2!C!21$!.C!f!m!$!Y!$%!Y!$%&!Y!$%&$!Y!$&!Y!$&*!o! C!r.C!'&#)!C!#@21$!</1!)0&1+! ! `#!/($&./$2!)&U/))211*V02!21$!/(11*!'*$!#&#UV0&9(/#$Y!)2!9(*!1@2K<%*.2!</%!0@6D/0*$6!1(%!021! 0/#D/D21! CNsO!f!.C.NsO! A B ! F " C # D E $ % G & '

! E!

/3> ?&",-%+2(,@$-+"#$+'2(

d#! ($*0*12%/! '/#1! 0/! 1(*$2! '2(K! )&.<&1*$*&#1! N&(! <%&'(*$1! 1;#):%&#21O! '@/($&./$21! '*1$*#)$21!A!0/!)&.<&1*$*&#!</%/00=02Y!#&$62!nnY!2$!0/!)&.<&1*$*&#!</%!<%&'(*$Y!#&$62!_!+!5/#1! 021! '2(K! )&.<&1*$*&#1Y! 0@6$/$! *#*$*/0! 21$! 0/! )&.<&1*$*&#! '2! '2(K! 6$/$1! *#*$*/(K+! `#! 6$/$! 21$! ./%9(6!1*!*0!21$!0/!)&.<&1*$*&#!'2!'2(K!6$/$1!./%9(61+!

!

C/!)&.<&1*$*&#!</%!<%&'(*$!N&(!<%&'(*$O!21$!0/!1;#):%&#*1/$*&#!'21!/($&./$21Y!0@*#$2%12)$*&#! '21! 0/#D/D21+! `#2! 169(2#)2! #@21$! <&11*V02! '/#1! 02! <%&'(*$! 9(2! 1*! 2002! 21$! <&11*V02! '/#1! 021! '2(K!4/)$2(%1+!3*#1*!1*!*0!#@;!/()(#!6F6#2.2#$!2#!)&..(#Y!02!<%&'(*$!#@/!/()(#2!$%/#1*$*&#+! T2$$2!)&.<&1*$*&#!/.=#2!(#2!1;#):%&#*1/$*&#!)&#$%/*D#/#$2!2#$%2!021!'2(K!/($&./$21+!?/%! 2K2.<02!(#!/($&./$2!'2!)&#$%L02!<2($!2.<_):2%!0@&))(%%2#)2!'@(#!6F6#2.2#$+!

!

5/#1!0/!)&.<&1*$*&#!</%/00=02Y!&#!#2!1;#):%&#*12!9(2!021!6F=#2.2#$1!<%612#$1!'/#1!021!'2(K! /($&./$21Y! )&..(#! /(K! '2(K! /0<:/V2$1+! 8*! $&(1! 021! 6F=#2.2#$1! 1&#$! )&..(#1Y! 021! '2(K! )&.<&1*$*&#1! 1&#$! 69(*F/02#$21+! 3(! )&#$%/*%2Y! 1*! *0! #@;! /()(#! 6F6#2.2#$! 2#! )&..(#Y! 0/! )&.<&1*$*&#! </%/00=02! 12! %/.=#2! /(! <%&'(*$! 0*V%2! '@/($&./$21! &(! /(! <%&'(*$! )/%$61*2#! '2! D%/<:21+!T2$$2!)&.<&1*$*&#!<2%.2$!'2!.&'60*12%!(#!1;1$=.2!</%!'21!1&(1U1;1$=.21!9(*!#2! 1&#$!1;#):%&#*161!9(2!</%!9(209(21!6F=#2.2#$1+! ! JK2.<02!,!A!T&.<&1*$*&#1!</%/00=02!2$!</%!<%&'(*$! ! !"#$%&'<)'=(' ! !"#$%&'>)'=4' ! !"#$%&'?)'='-%3/$"2'@'=(!=4' !

3!</%$*%!'21!6$/$1!*#*$*/(KY!$!2$!%!1&#$!<&11*V021!'/#1!s,!2$!s7Y!'&#)!'/#1!s<%&'(*$+!

d#!&V12%F2!V*2#!*)*!9(2!02!<%&'(*$!21$!(#2!*#$2%12)$*&#+! ! A B ! C " # D E ! F " # AD BE ! CF "

! P! !

!"#$%&'A)'='-1%1..B.&'@'=(CC=4'

!

C21!6F=#2.2#$1!<%612#$1!'/#1!s,!2$!s7!1&#$!$!2$!%+!0!2$!"!#2!1&#$!</1!1;#):%&#*161Y!*0!1(44*$!

9(@*01!1&*2#$!<&11*V021!'/#1!s,!&(!s7!<&(%!_$%2!'/#1!02!<%&'(*$+!

! JK2.<02!7!A!?%&'(*$! ! !"#$%&'D)'=(' ! !"#$%&'E)'=4' ! !"#$%&'(F)'='@'=(!=4' ! JK2.<02!>!A!T&.<&1*$*&#!</%/00=02(G2K$%/*$!'2!\ZRI]O! ! !"#$%&'(()'=(' ! !"#$%&'(4)'=4' AD BE ! CF " CE # BF $ $ # A ! C B " " # D E ! F ! " AD ! BE ! BF " CD A B ! C " " D ! E "

! G! !

!"#$%&'(:)'='@'=(CC=4'

")*! 12(0! 0@6F6#2.2#$!%! 21$! 1;#):%&#*16+! $! N%21<+! 0O! <2($! 12! <%&'(*%2! ^! ):/9(2! 4&*1! 9(2! s,!

N%21<+!s7O!21$!2#!3!N%21<+!2#!JOY!*#'6<2#'/..2#$!'2!s7!N%21<+!'2!s,O+! !

8 C$(2;*+:=2'(,'(2-<'&H%2'-&(

C/!8TS!<2%.2$!'2!D6#6%2%!(#!1(<2%F*12(%Y!6$/#$!'&##6!(#!1;1$=.2!^!)&#$%L02%!N1&(1!4&%.2! '@/($&./$2O!2$!(#2!1<6)*4*)/$*&#!N1&(1!4&%.2!'2!0/#D/D2O+!d#!/<<2002!*)*!#%)5242!02!1;1$=.2! ^!)&#$%L02%Y!/(11*!/<<206!#/6-.+!d#!02!.&'60*12!</%!(#!/($&./$2+!T2!.&'=02!21$!'*$!#1*('7"$Y! *#'6<2#'/#$! '21! &Va2)$*41! '2! )&../#'2+! d#! /11&)*2! ^! 0@/($&./$2! '(! <%&)6'6! (#2! 16./#$*9(2! </%$*)(0*=%2!A! *0! D6#=%2! 1<&#$/#6.2#$! 021! 6F=#2.2#$1! 9(*! 02! 4&#$! 6F&0(2%+! C@/($&./$2!21$!/<<206!82-2%6.$"%+!!

34*#! '2! %21<2)$2%! 0/! 1<6)*4*)/$*&#Y! 02! 1(<2%F*12(%! <2($! N12(02.2#$O! *#:*V2%! 0@&))(%%2#)2! '21! 6F=#2.2#$1! )&#$%L0/V021! '/#1! 02! D6#6%/$2(%+! C21! 6F6#2.2#$1! )&#$%L0/V021! 1&#$! D6#6%/02.2#$! 021! )&../#'21! 2#F&;621! /(K! /)$*&##2(%1!b! 021! 6F=#2.2#$1! *#)&#$%L0/V021! <%&F*2##2#$!'(!<%&)6'6!&(!'2!0@2#F*%&##2.2#$Y!2$!1&#$!0*61!/(K!)/<$2(%1+! ! I-'(D7*7&$1'(,'(1$(#7+:",'( 1!"'2#$*4*)/$*&#!'(!.&'=02!'(!<%&)6'6Y!1&(1!0/!4&%.2!'@(#!/($&./$2!ND6#6%/$2(%O!sY!/F2)! 1&#!0/#D/D2!./%9(6!C.NsO+! 2!"'2#$*4*)/$*&#!'21!<%&<%*6$61!^!%21<2)$2%Y!1&(1!0/!4&%.2!'@(#!0/#D/D2!J+!

3! "'2#$*4*)/$*&#! '(! )&.<&%$2.2#$! '(! 1;1$=.2! 1(<2%F*16! 1&(1! 0/! 4&%.2! '@(#! 0/#D/D2! t)Y!

<:;1*9(2.2#$!<&11*V02Y!%21<2)$/#$!021!<%&<%*6$61!'2!JY!2$!$20!9(2!0@&))(%%2#)2!'@6F=#2.2#$1! *#)&#$%L0/V021!#2!<(*112!</1!)&#'(*%2!^!0/!F*&0/$*&#!'21!<%&<%*6$61!Nt)!21$!'*$!)&#$%L0/V02O+!C2! 0/#D/D2!t)!21$!6D/02.2#$!):&*1*!'2!4/u&#!^!*#:*V2%!02!.&*#1!<&11*V02!02!)&.<&%$2.2#$+! 4!JK$%/)$*&#!'2!0/!)/%$2!'2!)&#$%L02!^!</%$*%!'2!t)Y!)+U^U'+!'@(#2!$/V02!'&##/#$!<&(%!):/9(2! 169(2#)2!0@6F6#2.2#$!1(*F/#$!/($&%*16!N&(!0@2#12.V02!'21!6F=#2.2#$1!/($&%*161O+! ! 83/ ),'*+%5%.$+%"*(,-(#",=1'(,-(<&".7,7( ")*Y!02!.&'=02!'(!<%&)6'6!21$!1(<<&16!)&##(+!5/#1!0/!1(*$2Y!02! <%&)6'6!21$!.&'60*16!</%!02! D6#6%/$2(%! s! f! NcY!!Y! "Y! 9RY! c.OY! *0! 21$! 02! .&'=02! #1*('7"$Y! *#'6<2#'/#$! '21! &Va2)$*41! '2!

)&../#'2+! C@/0<:/V2$!'(!D6#6%/$2(%!21$!</%$*$*&##6!2#!!)Y!0@2#12.V02!'21!6F=#2.2#$1!)&#$%L0/V021!2$! !(Y!0@2#12.V02!'21!6F=#2.2#$1!*#)&#$%L0/V021+! !!f!!)!1!!(!!!2$!!!!)!2!!(!f!3! ! AD BD ! CE " CD # AE " # BE ! #

! H!

838 ),'*+%5%.$+%"*(,'2(<&"<&%7+72(

d#! 2K<%*.2! 021! <%&<%*6$61! ^! %21<2)$2%! </%! (#! 0/#D/D2! J+! J! 21$! (#! 0/#D/D2! ./%9(6Y! 9(*! #2! .2#$*&##2! 9(2! 021! 169(2#)21! )&.<0=$21Y! $2%.*#621+! i6/#.&*#1! $&(1! 021! 1$/'21! *#$2%.6'*/*%21!N9(*!4&%.2#$.JO!1&#$!6F*'2..2#$!/($&%*161+! ! 83> ),'*+%5%.$+%"*(,-(."#<"&+'#'*+(2-<'&H%27( C2!)&.<&%$2.2#$!1(<2%F*16!21$!(#!)&.<&%$2.2#$!<:;1*9(2.2#$!<&11*V02!<&(%!02!1;1$=.2Y! 2$!9(*!%21<2)$2!021!<%&<%*6$61!'2!J+!d#!02!.&'60*12!'&#)!</%! t!f!J!2!C.NsO!

T&..2! J! 2$! C.NsOY! t! #2! )&.<&%$2! 9(2! 021! 169(2#)21! $2%.*#621Y! ./%9(621+! C21! 6$/<21!

*#$2%.6'*/*%21! 6$/#$! 6D/02.2#$! <&11*V021! 2$! /($&%*1621Y! &#! ($*0*12%/! 1&(F2#$.t! '/#1! 02! )&#$%L02+!

!

?&(%!(#!<%&)6'6!'&##6Y!)2%$/*#21!<%&<%*6$61!#2!<&(%%&#$!</1!_$%2!%21<2)$621Y!9(20!9(2!1&*$! 02!1(<2%F*12(%Y!)/%!&#!#2!<2($!</1!*#:*V2%!021!6F=#2.2#$1!*#)&#$%L0/V021+!?/%!2K2.<02!1*!(#! 6F6#2.2#$! *#)&#$%L0/V02! 21$! *#'61*%/V02Y! &#! #2! <&(%%/! </1! 0@*#:*V2%+! C/! 4/*1/V*0*$6! '21! <%&<%*6$61!</%!%/<<&%$!/(K!/)$*&#1!2$!/(K!/06/1!'(!1;1$=.2!21$!%2406$62!</%!0/!<%&<%*6$6!'2! )&#$%L0/V*0*$6+! ! 675%*%+%"*(A(J"*+&K1$L%1%+7/( `#!0/#D/D2!t!21$!)&#$%L0/V02!11*! .t!!(!2!CNsO!/!.t! N&h! (#! 606.2#$! '2.t! !(! 21$! 0/! )&#)/$6#/$*&#! '@(#! 606.2#$! '2!.t! ! 2$! '@(#! 6F=#2.2#$! *#)&#$%L0/V02O+!S&($2!169(2#)2!'2!.tY!)+U^U'+!F6%*4*/#$!021!<%&<%*6$61Y!1(*F*2!'@(#!6F=#2.2#$! *#)&#$%L0/V02Y! '&*$! )&#$*#(2%! ^! F6%*4*2%! 021! <%&<%*6$61+! d#! #2! <%2#'! 2#! )&.<$2! 9(2! 021! 169(2#)21!/;/#$!'(!12#1!<&(%!sY!<:;1*9(2.2#$!<&11*V021Y!4/*1/#$!</%$*2!'2!CNsO+!d#!)&#1$/$2! 9(2!0/!)&#$%L0/V*0*$6!'2!t!#2!4/*$!</1!*#$2%F2#*%!t!./*1!12(02.2#$.t+!!

!

8*!t!#@21$!</1!)&#$%L0/V02Y!&#!<%2#'!(#!1&(1U0/#D/D2!)&#$%L0/V02+!3*#1*!021!<%&<%*6$61!12%&#$! $&(a&(%1! F6%*4*621+! d#! ):&*1*$! 02! <0(1! D%/#'! 1&(1U2#12.V02! )&#$%L0/V02! '2! tY! #&$6! t)Y! /4*#!

'@/a&($2%! (#! .*#*.(.! '2! %21$%*)$*&#1! 2#! <0(1! '2! )20021! 1<6)*4*621! </%! 021! <%&<%*6$61+! Nd#! /! t)!f!t!1*!t!21$!)&#$%L0/V02O+!d#!</%02!/0&%1!'2!1(<2%F*12(%!&<$*./0Y!02!.&*#1!%21$%*)$*4Y!02!<0(1!

<2%.*11*4+! !

"0!21$!*.<&%$/#$!'2!#&$2%!9(2!0/!%2):2%):2!'@(#!1&(1U0/#D/D2!)&#$%L0/V02!21$!02!<&*#$!)06!'2!0/! .6$:&'2+!C21!%21$%*)$*&#1!1(<<06.2#$/*%21!)&%%21<&#'2#$!^!0@/#$*)*</$*&#!</%!02!1(<2%F*12(%! '2! 1&#! *.<&11*V*0*$6! 4($(%2! N)+U^U'+! '/#1! (#! 6$/$! 1(*F/#$O! ^! *#:*V2%! )2%$/*#1! 6F=#2.2#$1! N)4! 2K2.<02!2#!>+>O+!

!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

,

! d#! '64*#*$! *)*! 0/! )&#$%L0/V*0*$6! '@(#! 0/#D/D2+! d#! #&$2%/! 9(2! 02! )/%/)$=%2! )&#$%L0/V02! '@(#! 6F6#2.2#$! 21$! (#! ):&*K!'2!.&'60*1/$*&#!/0&%1!9(2!0/!)&#$%L0/V*0*$6!'@(#!0/#D/D2!21$!(#2!<%&<%*6$6!4&%./0*162+!

! M!

83M NE+&$.+%"*(,'(1$(.$&+'(,'(."*+&K1'(

C2! 1(<2%F*12(%! /! <&(%! 12(02! /)$*&#! '@/($&%*12%! &(! #&#! (#! 6F6#2.2#$Y! 1&(1! )2%$/*#21! )&#'*$*&#1Y!2$!#&#!'2!021!'6)02#):2%!&(!</1+!C@2#12.V02!'21!6F=#2.2#$1!/($&%*161!^!0@*#1$/#$! $! 21$! #&..6! </$$2%#! '2! )&#$%L02! 2$! 21$! #&$6!0+! C21! 6F=#2.2#$1! *#)&#$%L0/V021! &#$! 0/! </%$*)(0/%*$6!'2!#2!</1!<&(F&*%!_$%2!*#$2%'*$1Y!)+U^U'+!9(2!0!4!!(+!Nd#!#&$2!5!0@2#12.V02!'21! </$$2%#1!<&11*V021!/F2)!!O! C2!1(<2%F*12(%!21$!'64*#*!</%!(#2!)/%$2!'2!)&#$%L02!v!936#!2#!/#D0/*1:+! v!A!CNsO!Ug!5! d#!'64*#*$!9(201!1&#$!021!6F=#2.2#$1!/($&%*161!<&(%!'21!169(2#)21!'2!s+! ! Q2./%9(2!A!

8*! &#! '64*#*11/*$! (#! </$$2%#! <&(%! ):/9(2! 6$/$! '2! sY! 0/! 1(<2%F*1*&#! %2F*2#'%/*$! ^! 1(<<%*.2%! 9(209(21! $%/#1*$*&#1! '/#1! s+! T&..2! &#! '64*#*$! (#! </$$2%#! <&(%! ):/9(2! 169(2#)2Y! 02! 1(<2%F*12(%!<&(%%/!/<<0*9(2%!'21!</$$2%#1!'*446%2#$1!^!(#!._.2!6$/$!2#!4&#)$*&#!'(!</116! '(! 1;1$=.2Y! '(! ):2.*#! 2.<%(#$6! N)2! 9(*! %2F*2#$! ^! '*%2! 9(2! 0/! %2<%612#$/$*&#! '21! 6$/$1! <:;1*9(21!'(!1;1$=.2!#@21$!</1!1(44*1/#$2!<&(%!0/!)&../#'2O! ! C2!1;1$=.2!1(<2%F*16!21$!02!)&(<0/D2!'(!D6#6%/$2(%!2$!'2!0/!)/%$2!'2!)&#$%L02Y!(#!6F6#2.2#$! #2!<&(F/#$!_$%2!D6#6%6!9(2!1*!*0!21$!/($&%*16+! ! J"*2+&-.+%"*(,'(1$(.$&+'(,'(."*+&K1'( 8&*$!t)!(#!0/#D/D2!)&#$%L0/V02!F*1U^UF*1!'2!s+! d#!'64*#*$!0/!)/%$2!'2!)&#$%L02!v!</%! 61!(.t)!!!!!vN1O!f!!(!1!m!! (!!)!n!1! (!.t)!o! C21!6F=#2.2#$1!*#)&#$%L0/V021!4&#$!'@&44*)2!</%$*2!'(!</$$2%#!'2!):/9(2!169(2#)2Y!)+U^U'+! 9(2!021!6F=#2.2#$1!*#)&#$%L0/V021!1&#$!$&(a&(%1!/($&%*161+!3!</%$*%!'2!1Y!#2!1&#$!/($&%*161! 9(2!021!6F=#2.2#$1!)&#$%L0/V021!9(*!#2!F*&02#$!</1!021!<%&<%*6$61+! ! 83O ?&".7,-&'(,'(1$(2;*+:=2'(,'(2-<'&H%2'-&(G"&%'*+7'(1$*D$D'P(

C/! .6$:&'2! F(2! </D2! G! <2($! _$%2! 4&%.(062! D%w)2! /(K! #&$*&#1! $:6&%*9(21! F(21! <%6)6'2..2#$+!

1![&'60*12%!02!1;1$=.2!^!)&#$%L02%!</%!(#!/($&./$2!s!

2! [&'60*12%! 021! <%&<%*6$61! ^! %21<2)$2%! 1&(1! 4&%.2! '@(#! 0/#D/D2! J! N</%! *#$2%12)$*&#! '21! 0/#D/D21!'21!'*446%2#$21!<%&<%*6$61O!

3!82!%/.2#2%!^!0@:;<&$:=12!t!/!C.NsO!/F2)!t!f!J!2!C.NsO!

?(*1!$%&(F2%!t)!02!<0(1!D%/#'!1&(1U0/#D/D2!)&#$%L0/V02!'2!t!Nt)!/!t!$20!9(2.t)!!(!2!CNsO!/.t)O!

4!T/0)(02%!0/!)/%$2!'2!)&#$%L02!/F2)!61!(!.t)!!!!!vN1O!f!!(!1!m!! (!!)!n!1! (!.t)!o!

! C2!1(<2%F*12(%!21$!%2<%612#$6!</%!0/!)/%$2!'2!)&#$%L02+!C2!1(<2%F*12(%!21$!&<$*./0!N02!.&*#1! %21$%*)$*4O+!52!<0(1!02!1(<2%F*12(%!21$!'*$!./%9(/#$!)/%!02!./%9(/D2!'2!J!<2($!%21$%2*#'%2!02! ./%9(/D2!'(!1;1$=.2!1(<2%F*16!</%!%/<<&%$!^!)20(*!'(!<%&)6'6!'2!'6</%$+!C2!1(<2%F*12(%!21$! '*$!#&#UV0&9(/#$Y!)+U^U'+!9(2!02!1;1$=.2!1(<2%F*16!21$!)&U/))211*V02Y!*0!<2($!/$$2*#'%2!(#!6$/$! ./%9(6!'2<(*1!):/)(#!'2!121!6$/$1+! C/!'6./%):2!21$!/<<0*9(62!1(%!(#!2K2.<02!2#!>+,+! ! !

! ,R! 83Q R'<&72'*+$+%"*(,-(2-<'&H%2'-&(2-&(-*($-+"#$+'(( C2!1(<2%F*12(%!21$!$&$/02.2#$!1<6)*4*6!</%!1/!)/%$2!'2!)&#$%L02+!T2<2#'/#$!<&(%!'21!%/*1&#1! '2!)&.<%6:2#1*&#!2$!'@*.<06.2#$/$*&#Y!&#!02!%2<%612#$2!1&(F2#$!</%!(#!/($&./$2!8+! 8f!NxY!!Y!7Y!KRY!x.O! 8!2$!s!&#$!2#!)&..(#!0@/0<:/V2$!'21!6F=#2.2#$1!'2!!+!C@2#12.V02!'21!6$/$1!x!21$!'*446%2#$! '2! cY! 0@2#12.V02! '21! 6$/$1! '2! s+! C/! )/%$2! '2! )&#$%L02! '64*#*$! $&($21! 021! 169(2#)21! <2%$*#2#$21Y!)21!169(2#)21!'&##2#$!021!6$/$1!x!'2!8+!S;<*9(2.2#$!02!1(<2%F*12(%!21$!)/</V02! '2!'*1$*#D(2%!<0(1*2(%1!1&(1U6$/$1!/(!12*#!'@(#!6$/$!'2!s!120&#!02!):2.*#!</%!029(20!&#!;!21$! /%%*F6Y!2$!'@/<<0*9(2%!'21!</$$2%#1!'*446%2#$1+!x!)&#$*2#$!)21!1&(1U6$/$1+!N)4!2K2.<02!>+,+EO! !

?0(1*2(%1! /($&./$21! 1&#$! <&11*V021! <&(%! %2)&##/y$%2! (#! 0/#D/D2! 2$! '&#)! %2<%612#$2%! (#! 1(<2%F*12(%+! d#! ):&*1*$! <&(%! 02! 1(<2%F*12(%! (#! /($&./$2! $%*.Y! &#! '*$! /0&%1! '(! 1(<2%F*12(%! 9(@*0!21$!1$%*)$+! ! C@6$/$!'(!1;1$=.2!1(<2%F*16!21$!%2<%612#$6!^!0/!4&*1!</%!(#!6$/$!'2!s!2$!</%!(#!6$/$!'2!8+!3! ):/9(2!*#1$/#$Y!021!6F6#2.2#$1!<&(F/#$!_$%2!D6#6%61!1&#$!<%612#$1!^!0/!4&*1!'/#1!0@6$/$!'2!s! 2$!'/#1!0@6$/$!'2!8+!C2!1;1$=.2!1(<2%F*16!21$!'&#)!&V$2#(!</%!02!<%&'(*$!'2!s!2$!8Y!)&#1*'6%6! )&..2!(#!D6#6%/$2(%+! ! C@/)$*&#!'@(#!1(<2%F*12(%!<2($!_$%2!'64*#*2!</%!1/!)/%$2!'2!)&#$%L02!./*1!02!1(<2%F*12(%!21$! D6#6%/02.2#$!*.<06.2#$6!1&(1!0/!4&%.2!'@(#!/($&./$2+!d#!/!6F*'2..2#$!*#$6%_$!^!%6'(*%2! 0/! $/*002! '2! 0@/($&./$2+! d#! ($*0*12! (#! /0D&%*$:.2! '2! %6'()$*&#! 9(*! ):2%):2! ^! .*#*.*12%! 02! #&.V%2!'@6$/$1!'2!0@/($&./$2!2#!)&#12%F/#$!0/!._.2!)/%$2!'2!)&#$%L02!N)4!2K2.<02!>+7+EO+! !

T2$$2!/<<%&):2!'*1<&12!'@(#!&($*0!A!STS!\ZRI]Y!'6F20&<<6!^!0@(#*F2%1*$6!'2!S&%&#$&Y!D%/$(*$! 2$!'*1<&#*V02!^!\Z,>]+!STS!<2%.2$!'2!1/*1*%!2$!./#*<(02%!'21!/($&./$21+!"0!*.<06.2#$2!021! /0D&%*$:.21! '2! 0/! 8TS! )&..2! 0/! %2):2%):2! '(! <0(1! D%/#'! 1&(1U0/#D/D2! )&#$%L0/V02+! C2! 1(<2%F*12(%!21$!F*1(/0*1/V02!</%!0/!)/%$2!'2!)&#$%L02!2$!</%!0@/($&./$2+!STS!'&##2!0/!)/%$2!'2! )&#$%L02! 1&(1! 0/! 4&%.2! '2! 0/! 0*1$2! '21! 6F=#2.2#$1! *#$2%'*$1! 2#! 4&#)$*&#! '2! 0@6$/$! '2! 0@/($&./$2! '(! 1(<2%F*12(%+! 82(01! 021! 6F=#2.2#$1! *#$2%'*$1! 2$! <&11*V021! <:;1*9(2.2#$! 1&#$! .2#$*&##61+!

!

d#!%6U6)%*$!0/!.6$:&'2!2#!($*0*1/#$!021!4&#)$*&#1!'2!STS+!d#!/a&($2!0@6$/<2!'2!%6'()$*&#+! 1! [&'60*12%! 02! 1;1$=.2! ^! )&#$%L02%! </%! (#! /($&./$2! s! N6F2#$(2002.2#$! </%! (#2! )&.<&1*$*&#!</%/00=02!N2;*.P!2#$%2!<0(1*2(%1!/($&./$21!'2!1&(1U1;1$=.21O!

2![&'60*12%!!021!<%&<%*6$61!1&(1!0/!4&%.2!'@(#!/($&./$2!?!N6F2#$(2002.2#$!</%!(#!<%&'(*$! N#''+P!'2!<0(1*2(%1!/($&./$21!'2!<%&<%*6$61O!

3S%&(F2%! 02! <0(1! D%/#'! 1&(1U/($&./$2! 8! )&#$%L0/V02! '2! ?! N9(*! 1&*$! /(11*! (#! $%*.O! 8f2-<."*NsY?O!

4!T/0)(02%!0/!)/%$2!'2!)&#$%L02!vf."*,$+NsY8O!<&(%!*#4&%./$*&#!&(!%6'()$*&#! 5!JF2#$(2002.2#$Y!%6'(*%2!02!1(<2%F*12(%!8%2'f2-<&',-.'NsY8Y%2'YvO!

d#!<2($!/F&*%!(#!.&'=02!'(!1;1$=.2!1(<2%F*16!</%!#''+NsY8%2'O+!

"0!%21$2!^!*.<06.2#$2%!8!&(!8%2'+!

C/!'6./%):2!21$!/<<0*9(62!1(%!(#!2K2.<02!2#!>+7+! !

! ,,!

> 4<<1%.$+%"*2('+('E'#<1'2(

>3/ 4<<1%.$+%"*(G"&%'*+7'(1$*D$D'P( C2!<%&)6'6!^!1(<2%F*12%!21$!)&#1$*$(6!'2!'2(K!./):*#21Y!9(*!<2(F2#$!'64/*00*%+!"0!4/($!%6</%2%! 021!./):*#21Y!2#!%21<2)$/#$!0/!<%&<%*6$6!A!z!021!./):*#21!'&*F2#$!_$%2!%6</%621!'/#1!0@&%'%2! '/#1!029(20!20021!&#$!'64/*00*!{! ! 1(S",=1'(,-(<&".7,7( C/!./):*#2!,!21$!.&'60*162!</%!0@/($&./$2![,!N-*D(%2!,IO! ! !"#$%&'(<)'G(' /F2)!*,Y!'64/*00/#)2!N6F6#2.2#$!*#)&#$%L0/V02O!2$!µ,Y!%6</%/$*&#!N6F6#2.2#$!)&#$%L0/V02O+!C/! ./):*#2!7!/!(#!)&.<&%$2.2#$!1*.*0/*%2!/F2)!021!6F=#2.2#$1!*7!2$!µ7+!821!6$/$1!1&#$!#&$61!/! 2$!V+! C2!<%&)6'6!)&.<02$!21$!.&'60*16!</%!02!<%&'(*$!1;#):%&#2!s!f![,nn[7!N-*D(%2!,EO+!T&..2!

/()(#! 6F6#2.2#$! #@21$! )&..(#! ^! [,! 2$! [7Y! 02! <%&'(*$! 1;#):%&#2! 21$! *)*! *'2#$*9(2! ^! (#!

<%&'(*$!)/%$61*2#+! ! !"#$%&'(>)'=' ! 2(S",=1'(,'(1$(<&"<&%7+7( C/!<%&<%*6$6!21$!.&'60*162!</%!0@/($&./$2!?!N-*D(%2!,PO! ! !"#$%&'(?)'H' d#!#@/!*)*!9(@(#2!12(02!<%&<%*6$6+!d#!0@2K<%*.2!</%!02!0/#D/D2!./%9(6!'2!0@/($&./$2!?! J!f!C.N?O!f!N!!*,N*7µ,*,µ7OeN!µ,!q!*7µ,µ7O!q!*7N*,µ7*7µ7OeN!µ7!q!*,µ7µ,O!!Oe!

!

Q2./%9(2!A! C2! <%&)6'6! 2$! 0/! <%&<%*6$6! 1&#$! 1;.6$%*9(21Y! 021! 7! ./):*#21! 1&#$! *#$2%):/#D2/V021+!d#!<2($!*#$2%):/#D2%!021!)&(<021!N*,Yµ,O!2$!N*7Yµ7O+!

!

3C'(<1-2(D&$*,(2"-2F1$*D$D'(."*+&K1$L1'((

d#! )&#1$/$2! 9(2! $&($21! 021! 169(2#)21! '2! J! 1&#$! <&11*V021! '/#1! sY! &#! /! '&#)! J!8!C.NsOY! 2$!

<(*19(2!tfJ!2!C.NsOY!&#!/!t!f!J+! A !1 B "1 Aa Ab !2 Ba !1 "2 Bb !1 "1 !2 "1 "2 c d !2 f !1 "2 e !1 "2 "1 g !2 "1

! ,7! S2#$&#1! '2! .&#$%2%! 9(2! t! 21$! )&#$%L0/V02+! T&..2! t! /! (#! #&.V%2! *#4*#*! '2! .&$1Y! &#! 12! <%&<&12!'2!F6%*4*2%!'/#1!02!S/V02/(!,!0/!)&#$%L0/V*0*$6!'2!$%&*1!.&$1!a(D61!%2<%612#$/$*41!'(! )&.<&%$2.2#$!A!*,µ,!2$!*,*7µ,µ7!N)2!9(*!#2!'6.&#$%2!%*2#!./*1!<2%.2$!'2!)&.<%2#'%2!02! <%*#)*<2O+! JK/.*#&#1!$&(1!02(%1!<%64*K21Y!2$!/a&($&#1!):/9(2!6F6#2.2#$!*#)&#$%L0/V02+!?&(%!F6%*4*2%!0/! )&#$%L0/V*0*$6!02!.&$!%61(0$/#$!'&*$Y!1&*$!#2!</1!/<</%$2#*%!^!CNsOY!1&*$!/<</%$2#*%!^!.t+! 564*#*$*&#!'2!0/! )&#$%L0/V*0*$6!A! t!!(!! 2!CNsO! /!.t!

[&$!'2!t! T&#)/$6#/$*&#!1!! 1!!9CNsO!

! 1!!*.<&11*V02! <:;1*9(2.2#$! 1! (.t! ! 1!!1/$*14/*$!021! <%&<%*6$61! 1!(!.t! ?%64*K21!'(!.&$! '2!t! ! (!!_(! BF=#2.2#$! *#)&#$%L0/V02! #! #! *,! ! "! *7! ! "! *,µ,! *,! *,! "! ! *7! ! "! *,µ,! *,! "! ! *7! ! "! *,*7µ,µ7! *,! *,! "! ! *7! ! "! *,*7! *,! "! ! *7! "! ! *,*7µ,! *,! "! ! *7! "! ! *,*7µ,µ7! *,! "! ! *7! "! ! I1J.&1$'()'K372%3.1J"."2L'/&'M' Q/<<200&#1!#!21$!0/!169(2#)2!F*'2Y!/(!'6</%$!'2!0l6$/$!*#*$*/0Y!)2!9(*!)&%%21<&#'!'&#)!^!0l6$/$! *#*$*/0+! 5@/<%=1!)2!$/V02/(Y!<&(%!021!>!.&$1!):&*1*1Y!1&*$!0@/a&($!'@(#!6F=#2.2#$!*#)&#$%L0/V02!.=#2! ^! (#2! 169(2#)2! *.<&11*V02Y! 1&*$! 0/! 169(2#)2! %21<2)$2! 021! <%&<%*6$61+! T21! .&$1! 1&#$! '&#)! )&#$%L0/V021+!T&#1*'6%&#1!9(2!$&(1!021!.&$1!'2!t!1&#$!)&#$%L0/V021Y!/0&%1!t!21$!)&#$%L0/V02! N2$!12%/!'&%6#/F/#$!#&$6!t)O+!

!

S&(1! 021! .&$1! 1&#$! )&#$%L0/V021! N2$! 02! 1;1$=.2! 6$/#$! 1;.6$%*9(2Y! &#! 1/*$! /(11*! 9(2!*7µ7! 2$!

*7*,µ7µ,! 1&#$! )&#$%L0/V021O+! t! 21$! '&#)! )&#1*'6%6! )&..2! )&#$%L0/V02! N&#! 02! #&$2%/!

'&%6#/F/#$!t)O+!

!

4J$&+'(,'(."*+&K1'(

T&..2!'/#1!_{3Y!&#!*00(1$%2!02!)/0)(0!'2!)/%$2!'2!)&#$%L02!12(02.2#$!1(%!9(209(21!169(2#)21!} '/#1! 02! S/V02/(! 7+! JK/.*#&#1! <&(%! ):/9(2! 169(2#)2Y! ):/9(2! 6F6#2.2#$! )&#$%L0/V02+! NC21! 6F=#2.2#$1!*#)&#$%L0/V021!4&#$!</%$*2!'2!$&(1!021!</$$2%#1!'2!)&#$%L02+O!

! ,>! ! m!! (!!)! !!!n!1! (!.t)!o!!!!1!!!!!!!!!!!!!(!!!!!!!!!!!!f!!!!!!!!!!!!!!!vN1O! ! ! T&#)/$6#/$*&#!'2!1!! 1! (!.t)! 1!!1/$*14/*$!021! <%&<%*6$61! N'&#)!! (!vN1OO! !(! J#12.V02!'21! 6F=#2.2#$1! *#)&#$%L0/V021! vN1O! ?/$$2%#Y!2#12.V02! '21!6F=#2.2#$1! /($&%*161! ! 1! 9! CNsO! 1!(!.t)! 869(2#)2! '2!'6</%$! ! (!!_)! JF=#2.2#$! )&#$%L0/V02! #! µ,! ! m*,!b*7o! m*,!b*7o! ! "! µ7! ! ! "! *,! µ,! "! m*,!b*7o! m*,!b*7!bµ,o! ! ! µ7! ! ! "! *,µ,! µ,! ! m*,!b*7o! m*,!b*7o! ! "! µ7! ! ! "! *,*7! µ,! "! m*,!b*7o! m*,!b*7!bµ,o! µ8(%*+'&,%+( ! ! µ7! ! ! ! *,*7µ,! µ,! ! m*,!b*7o! m*,!b*7!bµ7o! ! "! µ7! "! ! ! *,*7µ,µ7! µ,! ! m*,!b*7o! m*,!b*7o! ! "! µ7! ! ! "! I1J.&1$'4)'K1.8$.'/&'.1'81%2&'/&'8372%N.&' d#! %2./%9(2! 9(2! 0/! <0(</%$! '21! 6F=#2.2#$1! /V12#$1! '21! </$$2%#1Y! )&..2! µ7! '/#1! 02!

'2(K*=.2! </$$2%#! vN*,OY! 1&#$! 2#! 4/*$! *.<&11*V021! <:;1*9(2.2#$Y! )+U^U'+! 9(@*01!

#@/<</%$*2##2#$! </1! ^! CNsO+! C2! 1(<2%F*12(%! #2! 021! /($&%*12! </1! ./*1! *01! 1&#$! '2! $&($2! 4/u&#! *.<&11*V021! <&(%! 02! <%&)6'6+! 5/#1! )2! $/V02/(! 02! 1(<2%F*12(%! #@*#$2%'*$! 9(@(#! 12(0! 6F6#2.2#$!F*1U^UF*1!'2!CNsO!A!<&(%!1f*,*7!2$!!fµ7Y!&#!/!*,*7µ7!9.t)!!./*1!*,*7µ7!(!CNsOY!)+U^U

'+!9(@(#2!4&*1!9(2!0/!169(2#)2!*,*7!1@21$!<%&'(*$2Y!µ7!21$!*#$2%'*$!)2!9(*!)&%%21<&#'!V*2#!^!0/!

<%&<%*6$6+! !

d#! /! '&##6! 0/! )/%$2! '2! )&#$%L02! 1&(1! 0/! 4&%.2! '@(#! 2#12.V02! '21! 6F=#2.2#$1! /($&%*161+! 5@/($%21!%2<%612#$/$*&#1!1&#$!<&11*V021+!C2!S/V02/(!>!%2<%2#'!02!S/V02/(!7!2#!#&$/#$!,!<&(%! 021!6F=#2.2#$1!/($&%*161!2$!R!<&(%!021!6F=#2.2#$1!*#$2%'*$1+!5@/($%2!</%$!&#!/a&($2!0@6$/$!'2! s!)&%%21<&#'/#$!^!0/!169(2#)2!1+! 1!(!.t! J$/$! )&%%21<&#'/#$! ^!1!'/#1!s! ?/$$2%#!vN1O! *,! *7! µ,! µ7! #! 3/! ,! ,! R! R! *,! X/! ,! ,! ,! R! *,µ,! 3/! ,! ,! R! R! *,*7! XV! ,! ,! ,! T( *,*7µ,! 3V! ,! ,! R! ,! *,*7µ,µ7! 3/! ,! ,! R! R! I1J.&1$':)'K1%2&'/&'8372%N.&'&2'83%%&O-37/178&'&72%&'OLP$&78&O'&2'L212O'/&'='Q(R'-1%2"&S' ?/%!1;.6$%*2!'(!S/V02/(!>!&#!&V$*2#$!02!S/V02/(!I+!

! ,I! 1!(!.t! J$/$! )&%%21<&#'/#$! ^!1!'/#1!s! ?/$$2%#!vN1O! *7! *,! µ7! µ,! #! 3/! ,! ,! R! R! *7! 3V! ,! ,! ,! R! *7µ7! 3/! ,! ,! R! R! *7*,! XV! ,! ,! ,! T( *7*,µ7! X/! ,! ,! R! ,! *7*,µ7µ,! 3/! ,! ,! R! R! I1J.&1$'<)'K1%2&'/&'8372%N.&'&2'83%%&O-37/178&'&72%&'OLP$&78&O'&2'L212O'/&'='Q4R'-1%2"&S' 3!):/9(2!6$/$!'2!sY!&#!/!02!._.2!</$$2%#Y!1/(4!<&(%!XV+!J#!2442$Y!F*1U^UF*1!'(!<%&)6'6!021! 169(2#)21!*,*7! 2$!*7*,! 1&#$! 69(*F/02#$21Y! ./*1! <&(%! .2$$%2! 2#! |(F%2! 0/! <%&<%*6$6! &#! /!

V21&*#!'2!021!'*446%2#)*2%Y!'2!1)*#'2%!0@6$/$!XV!2#!7!<&(%!)&#1$%(*%2!0@/($&./$2!%2<%612#$/#$! 02! 1(<2%F*12(%+! T&..2! C.N?O! f! J! f! t! f! t)Y! 02! 1(<2%F*12(%! 21$! %2<%612#$6! </%! 0@/($&./$2! ?Y!

0@6$/$!XV!6$/#$!1)*#'6!2#!2!2$!D+! !

C@2#12.V02! '21! </$$2%#1! 4&%.2! 0/! )/%$2! '2! )&#$%L02+! i&(1! /F&#1! 1;#$:6$*16! (#! 1(<2%F*12(%! &<$*./0!N02!.&*#1!%21$%*)$*4OY!#&#UV0&9(/#$+!

!

>38 4<<1%.$+%"*($H'.("-+%1(UJU(G"&%'*+7'($-+"#$+'P(

5/#1! STSY! $&(1! 021! 606.2#$1! N6$/$1! 2$! 6F=#2.2#$1O! 1&#$! #(.6%&$61+! C21! 6F=#2.2#$1! )&#$%L0/V021! 1&#$! *.</*%1Y! 021! 6F=#2.2#$1! *#)&#$%L0/V021! 1&#$! </*%1+! C@/0<:/V2$Y! )+U^U'+! 0/! #(.6%&$/$*&#! '21! 6F6#2.2#$1Y! 21$! )&..(#! ^! $&(1! 021! /($&./$21+! J#! %2F/#):2! 021! 6$/$1! 1&#$! #(.6%&$61! /06/$&*%2.2#$! N^! </%$! 0@6$/$! *#*$*/0! #&$6! RO+! C21! )&%%21<&#'/#)21! 2#$%2! 021! 6$/$1! '21! '*446%2#$1! /($&./$21! '&*F2#$! _$%2! 4/*$21! ^! </%$*%! '21! 169(2#)21! '@6F=#2.2#$1! ;! .2#/#$Y!2$!#&#!'21!#(.6%&1!'@6$/$1+! ! d#! $%/*$2! *)*! 02! ._.2! 2K2.<02! 9(2! <%6)6'2..2#$! /F2)! STS+! C/! )&%%21<&#'/#)2! '21! 6F=#2.2#$1!21$!'&##62!2#!S/V02/(!E+! i&.!(1(20! *,! µ,! *7! µ7! i&.!'/#1!STS! R! ,! 7! >! I1J.&1$'>)'K3%%&O-37/178&'/&O'73,O'/6LTB7&,&72' 1(S",=1'(,-(<&".7,7(( C21!./):*#21!1&#$!%2<%612#$621!</%!021!/($&./$21!021!-*D(%2!,G!2$!-*D(%2!,H+![,!)&%%21<&#'! ^!0/!-*D(%2!,I+! ! !"#$%&'(A)'G3/B.&'/&'.1',189"7&'('1T&8'IKI'U';$23,12&'G(' ! !"#$%&'(D)'G4'

! ,E! C2!<%&)6'6!)&.<02$!21$!)/0)(06!</%!V(W(2;*.(GS/X(S8P!N-*D(%2!,MO+!s!)&%%21<&#'!^!0/!-*D(%2! ,E+! ! !"#$%&'(E)'=' ! 2(S",=1'(,'(1$(<&"<&%7+7( C/!<%&<%*6$6!21$!.&'60*162!</%!0@/($&./$2!?!N-*D(%2!7RO+! ! !"#$%&'4F)'H' 3(C'(<1-2(D&$*,(2"-2F1$*D$D'(."*+&K1$L1'( d#!):2%):2!02!<0(1!D%/#'!1&(1U0/#D/D2!)&#$%L0/V02!'2!?!</%!!(W(2-<."*GVX?P(N-*D(%2!7,O! ! !"#$%&'4()'V'

d#! %2./%9(2! 9(2! !! f! ?Y! &#! 02! F6%*4*2! /F2)! %2"#"&<:G?X!P+! ?! 21$! '&#)! )&#$%L0/V02Y! )&..2! #&$%2!<%6)6'2#$!%/*1&##2.2#$!12.V0/*$!0@*#'*9(2%+! ! 4(J$1.-1(,'(1$(.$&+'(,'(."*+&K1'( d#!)/0)(02!0/!)/%$2!'2!)&#$%L02!</%!I(W(."*,$+GVX!P!N-*D(%2!77O! ! !"#$%&'44)'5'

! ,P! 5/#1!0@6$/$!I!'2!8Y!0@6F6#2.2#$!,!21$!*#$2%'*$!N2$!'/#1!0@6$/$!>Y!0@6F6#2.2#$!>!21$!*#$2%'*$O+!C2! µ,! 21$! *#$2%'*$! /<%=1! 0/! 169(2#)2!*7*,Y! 2$! µ7! 21$! *#$2%'*$! /<%=1!*,*7Y! 2#! 12! %2<&%$/#$! /(!

</%/D%/<:2! <%6)6'2#$+! d#! )&#1$/$2! '&#)! 9(2! ."*,$+! #2! '&##2! </1! $&(1! 021! 6F=#2.2#$1! /V12#$1! '(! </$$2%#Y! ./*1! 12(02.2#$! )2(K! 9(*! 12%/*2#$! <&11*V021! <:;1*9(2.2#$Y! 2$! 9(@*0! 21$! ($*02!'@*#$2%'*%2+! ( C2!.&'=02!'(!1;1$=.2!1(<2%F*16!21$!&V$2#(!</%!#''+GVX!P(N-*D(%2!7>O! ! !"#$%&'4:)';$23,12&'/$'OWO2B,&'O$-&%T"OL' ! d#! %2./%9(2! 9(2! 0@/($&./$2! '(! 1;1$=.2! )&.<02$! 21$! *'2#$*9(2! ^! 8! 9(*! %2<%612#$2! 02! 1(<2%F*12(%+! ! 5(R7,-.+%"*(

8! 21$! 0@/($&./$2! 9(*! '2F%/! _$%2! *.<06.2#$6! <&(%! &V$2#*%! 0/! 1(<2%F*1*&#!b! &#! 1&(:/*$2! 6F*'2..2#$!%6'(*%2!1/!$/*002!1*!<&11*V02+!")*!*0!21$!/112}!D%&1Y!*0!)&#$*2#$!<0(1!'@6$/$1!9(2!s+! T&..2! 02! 1;1$=.2! 4*#/0! 21$! 02! <%&'(*$! '(! <%&)6'6! 2$! '(! 1(<2%F*12(%! 02! 1(<2%F*12(%! #@/! V21&*#! '2! )&#$2#*%! /()(#2! *#4&%./$*&#! N2$! #&$/..2#$! /()(#2! 0*.*$/$*&#O! '(! <%&)6'6+! ?/%! 2K2.<02! 8! *#$2%'*$! 0/! 169(2#)2!*,*,! NTTO! /0&%1! 9(@2002! 21$! '2! $&($2! 4/u&#! *#$2%'*$2! </%! 02!

<%&)6'6+!3*#1*!&#!<2($!%6'(*%2!02!#&.V%2!'@6$/$1!'2!0l/($&./$2!%2<%612#$/#$!02!1(<2%F*12(%Y! $&($!2#!D/%'/#$!0/!._.2!)/%$2!'2!)&#$%L02Y!'&#)!02!._.2!2442$!1(%!02!<%&)6'6+!!

!

"0!<2($!_$%2!'*44*)*02!'2!)&#)2F&*%!(#!1(<2%F*12(%!2#!1@/44%/#):*11/#$!'2!0/!)&##/*11/#)2!9(@&#! /!'(!<%&)6'6+!

STS! /! (#! /0D&%*$:.2! '2! %6'()$*&#+! d#! %6'(*$! 02! 1(<2%F*12(%! </%! RN6( W( 2-<&',-.'GVX!XIP( N-*D(%2! 7IO+! T2$$2! <%&)6'(%2! '&##2! (#2! V&%#2! *#46%*2(%2! '(! #&.V%2! '@6$/$1Y! *)*! >+! T&..2! QJ5!/!>!6$/$1!*0!21$!.*#*./0+!

!

! ,G! T&#$%/*%2.2#$!/(K!/($%21Y!)2$!/($&./$2!#@21$!</1!0*1*V02!4/)*02.2#$+!C/!%6'()$*&#!/V&($*$!^! #2!%2<%612#$2%!9(2!021!6$/$1!($*021!/(!)&#$%L02!1/#1!$2#*%!)&.<$2!'2!0@6$/$!'(!<%&)6'6Y!)2!9(*! 21$!/112}!)&#$%2U*#$(*$*4+! C@6$/$! R! %2<%612#$2! j/()(#2! ./):*#2! '64/*00/#$2@! &(! j[,! <(*1! [7! &#$! '64/*00*@+! C@6$/$! ,! )&%%21<&#'! ^! j,! ./):*#2! '64/*00/#$2@+! C@6$/$! 7! %2<%612#$2! j[7! <(*1! [,! &#$! '64/*00*@+! d#! %2./%9(2! </%! 2K2.<02! 9(2! 1*! (#2! 12(02! ./):*#2! 21$! '64/*00/#$2Y! 02! 1(<2%F*12(%! #@/! /()(#! V21&*#!'2!1/F&*%!'2!0/9(2002!*0!1@/D*$+!"0!#@*#$2%'*$!</1!0/!%6</%/$*&#!'2!0/!./):*#2!2#!V&#!6$/$! <(*19(2! 02! <%&)6'6! #2! 02! <2%.2$! '2! $&($2! 4/u&#! </1+! 52! ._.2! 0/! 169(2#)2! TT! 21$! *)*! <&11*V02+!

!

!"#$%&'4>)'K1%2&'/&'8372%N.&'1OO38"L&'Z'X*Y'

C/!)/%$2!'2!)&#$%L02!/11&)*62!N-*D(%2!7EO!21$!0/!._.2!9(2!<%6)6'2..2#$Y!/(!#&../D2!'21! 6$/$1!<%=1+!!

C21! 6$/$1! %2D%&(<2#$! *)*! 021! 169(2#)21! 1(*F/#$! 021! </$$2%#1! 9(*! 02(%! 1&#$! /11&)*61+! C21! 169(2#)21! *.<&11*V021! 1&#$! *#'*446%2..2#$! %6</%$*21! '/#1! 021! 6$/$1! /4*#! '2! %6'(*%2! 02! #&.V%2!'l6$/$1+! ! C2! 1;1$=.2! /F2)! 02! 1(<2%F*12(%! %6'(*$! 21$! &V$2#(! </%! #''+GVXRN6P! N-*D(%2! 7PO+! "0! 21$! *'2#$*9(2!/(!1;1$=.2!1(<2%F*16!</%!8!N-*D(%2!7>O+! ! !"#$%&'4?)';$23,12&'/$'OWO2B,&'O$-&%T"OL'-1%'X*Y' ! >3> NE'#<1'(A(1'(<1-2(D&$*,(2"-2F1$*D$D'(."*+&K1$L1'( 8&*$!(#!1;1$=.2!s!N-*D(%2!7GO+! ! ! !"#$%&'4A)'=' S&(1!021!6F=#2.2#$1!1&#$!)&#$%L0/V021Y!1/(4!T!9(*!21$!*#)&#$%L0/V02!2$!#64/1$2+! d#!1&(:/*$2!6F*$2%!9(2!T!/%%*F2Y!)2!9(*!21$!4&%./0*16!</%!0@/($&./$2!?!N-*D(%2!7HO+!

! ,H! ! !"#$%&'4D)'H' T/0)(0&#1!0/!)/%$2!'2!)&#$%L02!'2!?!<&(%!s!."*,$+GVX?P!!N-*D(%2!7MO+! ! !"#$%&'4E)'K1%2&'/&'8372%3.&'/&'H'T"O[Z[T"O'/&'=' C@*#$2%'*)$*&#!'@(#!6F6#2.2#$!*#)&#$%L0/V02!#@21$!6F*'2..2#$!</1!<&11*V02+!8/$*14/*%2!)2$$2! <%&<%*6$6!#@21$!'&#)!</1!<&11*V02+! ! ?!#@6$/#$!</1!)&#$%L0/V02Y!&#!):2%):2!02!<0(1!D%/#'!1&(1U0/#D/D2!)&#$%L0/V02! 2-<."*GVX?P(W(?J!N-*D(%2!>RO!2$!1/!)/%$2!'2!)&#$%L02!."*,$+GVX?JP(N-*D(%2!>,O+! ! ! !"#$%&':F)'HK' ! !"#$%&':()'K1%2&'/&'8372%N.&'/&'HK'T"O[Z[T"O'/&'=' !

C2! 12(0! .&;2#! '@2.<_):2%! T! 21$! '@*#$2%'*%2! 0@6F6#2.2#$! )&#$%L0/V02! /Y! 2$! '&#)! '@*#$2%'*%2! /(! <%&)6'6! '@6F&0(2%+! T2$$2! 1&0($*&#! #@21$! </1! 1/$*14/*1/#$2Y! 2002! %6F=02! (#! <%&V0=.2! '2! )&#)2<$*&#!'2!s+!d#!.&'*4*2!02!<%&)6'6Y!2$!'&#)!1&#!.&'=02!<&(%!&V$2#*%!s,!N-*D(%2!>7O+!d#! %24&%.(02!0/!<%&<%*6$6!?!2#!?,!N-*D(%2!>>O! ! !"#$%&':4)'=(' ! !"#$%&'::)'H('

! ,M! s,! #@21$! $&(a&(%1! </1! )&#$%L0/V02! F*1U^UF*1! '2! ?,+! d#! ):2%):2! 02! <0(1! D%/#'! 1&(1U0/#D/D2! )&#$%L0/V02! 2-<."*GV/X?/P( W( ?JY/! N-*D(%2! >IO! 2$! 1/! )/%$2! '2! )&#$%L02! ."*,$+GV/X?JY/P( N-*D(%2!>EO+! ! !"#$%&':<)'HK\(' ! !"#$%&':>)'K1%2&'/&'8372%N.&'/&'HK\('T"O[Z[T"O'/&'=(' !C2!1(<2%F*12(%!/#$*)*<2!0@&))(%%2#)2!'2!TY!*0!*#$2%'*$!>Y!9(*Y!0(*Y!21$!)&#$%L0/V02Y!2$!'&#)!?JY/! 21$! )&#$%L0/V02+! 2-<."*! *#$%&'(*$! (#2! %21$%*)$*&#! #&#U1<6)*4*62! <&(%! <&(F&*%! %2.<0*%! 0/! <%&<%*6$6+!

! !

! 7R!

M )#<17#'*+$+%"*(,-(2-<'&H%2'-&(

3<%=1! /F&*%! 1;#$:6$*16! (#! 1(<2%F*12(%! 1&(1! 0/! 4&%.2! '@(#! /($&./$2Y! &#! F2($! ($*0*12%! )2! 1(<2%F*12(%!<&(%!)&../#'2%!(#!<%&)6'6!%620Y!)+U^U'+!&V$2#*%!(#!)&#$%L02(%+!

!

C/! $:6&%*2! <&1$(02! '21! :;<&$:=121! /1;#):%&#21! 4&%$21! N)&..2! 02! )/%/)$=%2! *#1$/#$/#6! '21! 6F=#2.2#$1OY! 0/! 16./#$*9(2! '21! /($&./$21! Nz!(#! 6F6#2.2#$! #&#! .2#$*&##6! #l/'F*2#$! </1!{O!2$!0l/%):*$2)$(%2!'2!0/!-*D(%2!>P+!! ! !"#$%&':?)';%89"2&82$%&'29L3%"P$&'/&']3791,' C2!'6)02#):2.2#$!'21!6F=#2.2#$1!)&#$%L0/V021!2$!*#)&#$%L0/V021!21$!%6/0*16!</%!02!.&'=02! '(!<%&)6'6!N9(*!21$!'&#)!(#!D6#6%/$2(%O+!! C/! .*12! 2#! |(F%2! '(! 1(<2%F*12(%! <2($! 12! 4/*%2! 2#! 1(V1$*$(/#$! 1*.<02.2#$! /(! .&'=02! '(! <%&)6'6! 02! <%&)6'6! %620+! T2<2#'/#$Y! 2#! <%/$*9(2Y! 021! <%&)6'61! #2! D6#=%2#$! 9(2! 021! 6F=#2.2#$1!*#)&#$%L0/V021Y!)+U^U'+!021!&V12%F/$*&#1!F2#/#$!'21!)/<$2(%1+!T@21$!<&(%9(&*!021! 1;1$=.21!)&../#'61!<%612#$2#$!(1(2002.2#$!0@/%):*$2)$(%2!'2!0/!-*D(%2!>G!'/#1!0/9(2002!02! )&#$%L02(%!D6#=%2!021!6F=#2.2#$1!)&#$%L0/V021!2$!02!<%&)6'6!021!6F=#2.2#$1!*#)&#$%L0/V021+!! ! !"#$%&':A)';%89"2&82$%&'/&'8372%N.&' M3/ 6%55%.-1+72(,@%#<17#'*+$+%"*(

?&(%! &V$2#*%! (#! )&#$%L02(%! &#! '&*$! '&#)! /'/<$2%! 0@/%):*$2)$(%2! $:6&%*9(2! <&(%! 0/! 4/*%2! %2#$%2%!'/#1!0@/%):*$2)$(%2!'2!)&#$%L02!($*0*162!2#!<%/$*9(2Y!$&($!2#!D6%/#$!021!:;<&$:=121!'2! '6</%$Y! $%=1! $:6&%*9(21+! Cl*.<06.2#$/$*&#! '(! )&#$%L02(%! <&12! '&#)! (#! )2%$/*#! #&.V%2! '2! <%&V0=.21![GP04].!

/O C/! .&'60*1/$*&#! '(! <%&)6'6! 2$! '21! 1<6)*4*)/$*&#1! 21$! 1(Va2)$*F2+! C/! a(1$2112! '21! .&'=021!21$!'6$2%.*#/#$2!<&(%!/F&*%!(#!1(<2%F*12(%!<2%4&%./#$+!

VO J$/#$! '&##6! 02! #*F2/(! '@/V1$%/)$*&#! '21! .&'=021Y! 0@*#$2%4/)2! 2#$%2! 02! .&#'2! <:;1*9(2!2$!021!.&'=021!:/($!#*F2/(!%29(*2%$!(#!D%&1!244&%$+! Superviseur Automate Procédé Générateur Evènements (!) Patterns de contrôle Contrôleur Procédé Réel Observations (!_u) Commandes (!_c)

! 7,! )O C21! :;<&$:=121! $2.<&%20021! '(! )/'%2! $:6&%*9(2! #2! <2(F2#$! </1! _$%2! 1/$*14/*$21! </%! 0@*.<06.2#$/$*&#+! ?/%! 2K2.<02Y! 02! 1;1$=.2! '2! )&../#'2! 1@2K6)($/#$! </1! ^! </1Y! *0! <2($! /'F2#*%! 7! 6F=#2.2#$1! *#)&#$%L0/V021! 2#$%2! 7! $&<1! '@:&%0&D2Y! )2! 9(*! F*&02! 0@:;<&$:=12! '@/1;#):%&#*1.2! N)4! ,+,O+! 5/#1! \cTR7]Y! )20/! &V0*D2! ^! 4/*%2! 0@:;<&$:=12! '@*#12#1*V*0*$6! /(K! 2#$%20/)2.2#$1! N'-.$%/$6&$+ '-($-('.'&'.*O! 1(%! 02! )&(<02! 1(<2%F*12(%W<%&)6'6+!

'O C/! .&'60*1/$*&#! '2! 1;1$=.21! *.<&%$/#$1! 12! 4/*$! D6#6%/02.2#$! </%! 02! <%&'(*$! '21! /($&./$21! '21! 1&(1U1;1$=.21Y! )2! 9(*! 2#$%/*#2! (#! /))%&*112.2#$! 2K<&#2#$*20! '(! #&.V%2! '@6$/$1+! [_.2! 1*! 021! /0D&%*$:.21! '2! 0/! 8TS! 1&#$! <&0;#&.*/(KY! 02! )&($! '2! )/0)(0! '2F*2#$! $%=1! *.<&%$/#$+! 521! 2K$2#1*&#1! $:6&%*9(21! )&..2! 0/! .&'(0/%*$6! &#$! 6$6!<%&<&1621!<&(%!%6'(*%2!)2!<%&V0=.2+!"0!1@/D*$!'@/F&*%!<0(1*2(%1!1(<2%F*12(%1Y!</%! 2K2.<02!(#!</%!<%&<%*6$6!^!%21<2)$2%+!

2O S20! 9(@2K<&16! '/#1! 0/! $:6&%*2! 02! 1(<2%F*12(%! 21$! </11*4Y! *0! #@/! </1! 0@*#*$*/$*F2! '2! '6)02#):2%!'21!/)$*&#1+!d%!021!1;1$=.21!&#$!D6#6%/02.2#$!V21&*#!'@(#2!)&../#'2Y! 2$! </1! 12(02.2#$! '@(#2! 1(<2%F*1*&#+! ?&(%! 0@*.<06.2#$/$*&#! &#! '&*$! $%/#14&%.2%! 02! 1(<2%F*12(%!2#!(#!)&#$%L02(%Y!9(*!<2($!'6)02#):2%!'21!/)$*&#1Y!2$!#&#!021!*#:*V2%+! 4O "0! 21$! D6#6%/02.2#$! 1&(:/*$/V02! 9(2! 02! )&#$%L02(%! 1&*$! '6$2%.*#*1$2+! 8*! <0(1*2(%1!

)&../#'21! 1&#$! <:;1*9(2.2#$! <&11*V021! 2$! /($&%*161Y! 02! )&#$%L02(%! '&*$! 4/*%2! (#! ):&*K+!521!.6)/#*1.21!'2!<%*&%*$6!&(!'@&<$*.*1/$*&#!1&#$!D6#6%/02.2#$!.*1!2#!<0/)2! <&(%!%61&('%2!)2!<%&V0=.2!\3T[QR>]+! d#!2K<&12!'/#1!0/!1(*$2!9(209(21!1&0($*&#1!<&(%!%61&('%2!02!<%&V0=.2!'2!0@*#*$*/$*F2+! M38 NE'#<1'2(,@%#<17#'*+$+%"*( d#!1@*#$6%211/!<0(1!</%$*)(0*=%2.2#$!^!0/!%6<&#12!/(!<%&V0=.2!'2!0@*#*$*/$*F2!N2OY!)+U^U'+!^!0/! .*12!2#!<0/)2!'@(#!1(<2%F*12(%!/)$*4+! M383/ )*+'&<&7+$+%"*(N*+&7'Z!"&+%'( !5/#1!\X~sZM>]Y!021!/($2(%1!<%&<&12#$!'@/'&<$2%!(#2!F*1*&#!J#$%62W8&%$*2!'(!1(<2%F*12(%+! ! !"#$%&':D)'V$-&%T"O&$%'/&']3791,'QZ'#1$89&S'&2'V$-&%T"O&$%'^_`'QZ'/%3"2&S'Q&+2%1"2'/&'abc=]E:dS' d#! %/<<2002! 9(2!!)! '61*D#2! 0l2#12.V02! '21! 6F=#2.2#$1! )&#$%L0/V021! 2$!!(! 0l2#12.V02! '21! 6F=#2.2#$1!*#)&#$%L0/V021+! C@*'62! 21$! '2! 1;.6$%*12%! 0/! V&()02! 42%.62! $2002! 9(@2002! 21$! '64*#*2! </%! Z&#:/.! N^! D/():2! '/#1!0/!4*D(%2O+!3(!0*2(!9(2!02!<%&)6'6!D6#=%2!$&(1!021!6F=#2.2#$1Y!*0!#2!D6#=%2!<0(1!9(2!021! 6F=#2.2#$1! *#)&#$%L0/V021Y! 2$! 02! 1(<2%F*12(%! "Wd! D6#=%2! 021! 6F=#2.2#$1! )&#$%L0/V021Y! 2$! '2F*2#$! '&#)! )2! 9(2! #&(1! /<<20&#1! *)*! (#! )&#$%L02(%+! C21! :;<&$:=121! 1(%! 02! <%&)6'6! )&%%21<&#'2#$!'&#)!<0(1!^!0/!%6/0*$6!'@(#!1;1$=.2!<:;1*9(2!9(*!D6#=%2!'21!&V12%F/$*&#1!2$! 1(V*$!'21!)&../#'21+!

! 77! T2$$2! .&'*4*)/$*&#! '21! :;<&$:=121! '2! V/12! /! '21! )&#169(2#)21! 1(%! 0/! 1;#$:=12! '(! 1(<2%F*12(%+!5/#1!0/!$:6&%*2!'2!Z&#:/.Y!0@/($&./$2!'(!1(<2%F*12(%!21$!'*$!)&#$%L0/V02Y!)+U^U '+! 9(@^! ):/9(2! 6$/$Y! *0! /))2<$2! $&(1! 021! 6F=#2.2#$1! *#)&#$%L0/V021! <&11*V021+! 52! ._.2! 02! <%&)6'6! "Wd! '&*$! /))2<$2%! 021! )&../#'21Y! 021! 6F=#2.2#$1! )&#$%L0/V021+! d#! /! '&#)! (#2! '2(K*=.2!:;<&$:=12!^!1/$*14/*%2!<&(%!4/*%2!0/!1;#$:=12!'(!1(<2%F*12(%+!5/#1!02!)/1!D6#6%/0Y!*0! 1(44*$! '2! 1;#$:6$*12%! 02! 1(<2%F*12(%! '2! Z&#:/.! <(*1! '2! 4/*%2! 02! <%&'(*$! 1;#):%&#2! /F2)! 0@/($&./$2!'(!<%&)6'6!<&(%!/F&*%!02!1(<2%F*12(%!"Wd+!

C2! '6)02#):2.2#$! '21! 6F=#2.2#$1! 21$! 4/*$! </%! 0@/($&./$2U<%&'(*$+! 8*! &#! /! <0(1*2(%1! 1(<2%F*12(%1! "Wd! N*.<06.2#$/#$! <0(1*2(%1! <%&<%*6$61O! *0! 1(44*$! 9(@(#! 12(0! 1(<2%F*12(%! "Wd! '6)02#):2! (#! 6F6#2.2#$! <&(%! 9(@*0! /*$! 0*2(+! T2$! 6F6#2.2#$! F*&02! <2($U_$%2! 021! <%&<%*6$61! '21!/($%21!1(<2%F*12(%1+!T2$$2!*#$2%<%6$/$*&#!#2!<2%.2$!'&#)!</1!'2!4/*%2!'21!1(<2%F*12(%1! .&'(0/*%21+!

M3838 !7<$&$+%"*(,-(."*+&K1'('+(,'(1$(2-<'&H%2%"*(

5/#1! \T35ME]Y! 021! /($2(%1! &#$! /'&<$6! (#2! /($%2! /<<%&):2+! `#! z!)&#$%L02(%! 0&D*9(2!{! 21$! /a&($6!/(!<%&)6'6!<&(%!4&%.2%!(#!D6#6%/$2(%!2#!/'69(/$*&#!/F2)!0/!$:6&%*2+!C2!)&#$%L02(%! 0&D*9(2! #2! <2($! '6)02#):2%! 9(2! 021! 6F=#2.2#$1! /($&%*161+! C21! /($2(%1! #&..2#$! 02(%! /<<%&):2!5)-.%;/$+("#$%&'(2!N("#$%&'($4+5)-.%)/+5)-5$#.O+!! ! !"#$%&':E)'V$-&%T"O&$%'OL-1%L'/$'8372%N.&'Q&+2%1"2'/&'aK;YE>dS' !)&!'61*D#2!0l2#12.V02!'21!6F=#2.2#$1!9(*!1&#$!*#$2%'*$1!/(!.&*#1!(#2!4&*1!</%!0/!)/%$2!'2! )&#$%L02Y! 2$! !<%! 021! /($%21! 6F=#2.2#$1+! 5/#1! 02! )/1! D6#6%/0! ! !)&! 21$! 0l2#12.V02! '21! 6F=#2.2#$1!)&#$%L0/V021Y!2$!!<%!0l2#12.V02!'21!6F=#2.2#$1!*#)&#$%L0/V021+!

C2! )&#$%L02(%! )&#$*2#$! 02! .&'=02! '(! <%&)6'6! 2$! (#! .6)/#*1.2! <2%.2$$/#$! '2! 02! 1;#):%&#*12%!/F2)!02!1(<2%F*12(%+!C@*.<06.2#$/$*&#!12!4/*1/#$!2#!s%/4)2$Y!02!'6)02#):2.2#$! 21$! *.<0*)*$2! '/#1! 0/! 16./#$*9(2! '(! 0/#D/D2+! T2$$2! /<<%&):2! 16</%2! 0/! 1(<2%F*1*&#! N/($&%*1/$*&#O! '(! )&#$%L02! N'6)02#):2.2#$OY! 2$! <2%.2$! 0/! .&'(0/%*$6+! "0! 1(44*$! '2! <%2#'%2! 0@*#$2%12)$*&#!'21!</$$2%#1!'2!)&#$%L02!'21!'*446%2#$1!1(<2%F*12(%1+!

!

M3> 6%2.-22%"*(

"0! 1@/D*$! '/#1! )2! </%/D%/<:2! '2! '*1)($2%! 021! '2(K! 1&0($*&#1! '&##621! 2#! I+7+,! 2$! I+7+7! <&(%! /00*2%! 0@/%):*$2)$(%2! '2! )&#$%L02! 2$! 02! 1(<2%F*12(%! 1;#$:6$*16! 1&(1! 4&%.2! '@/($&./$2Y! )+U^U'+! <&(%!4/*%2!)&:/V*$2%!(#!1(<2%F*12(%!1;#$:6$*16!1&(1!)2%$/*#21!:;<&$:=121!2$!(#!<%&)6'6!9(*! #2!021!%21<2)$2!</1+!

!

?&(%! %6<&#'%2! /(! <%&V0=.2! '2! 0@*#*$*/$*F2Y! *0! 4/($! (#! .6)/#*1.2! N*)*! /<<206! )&#$%L02(%O! 9(*! '6)02#):2!021!)&../#'21+!T21!)&../#'21!'&*F2#$!_$%2!A!

U 3($&%*1621! <&(%! 9(2! 02! 1;1$=.2! %21<2)$2! 021! <%&<%*6$61+! "0! 1(44*$! 9(2! 02! )&#$%L02(%! <%2##2!2#!)&.<$2!02!</$$2%#!'2!)&#$%L02!F2#/#$!'(!1(<2%F*12(%!

! 7>! U ?&11*V021! <:;1*9(2.2#$Y! )2! 9(*! 21$! '6$2%.*#6! </%! (#! .&'=02! '(! <%&)6'6+! d#! %2./%9(2!9(2!'/#1!021!'2(K!1&0($*&#1Y!02!.&'=02!'(!<%&)6'6Y!'@/V&%'!($*0*16!<&(%!0/! 1;#$:=12Y!21$!%6($*0*16!<&(%!0/!)&../#'2+!

d#!%24&%.(02!021!'2(K!1&0($*&#1!'/#1!0/!-*D(%2!IR+!

' !"#$%&'<F)';--%389&'^_`'Q<)4)(S'&2'1--%389&'-1%'OL-1%12"37'Q<)4)4S'

X*2#! 9(2! 021! 7! *.<06.2#$/$*&#1! 1&*2#$! *11(21! '2! '6./%):21! '*446%2#$21Y! 2$! #@/*2#$! </1! 021! ._.21! <&11*V*0*$61! N#&$/..2#$! <&(%! 0/! .&'(0/%*$6OY! 20021! 12! %/.=#2#$! ^! *.<06.2#$2%! 02! .&'=02! '(! <%&)6'6! 2#! <0(1! '(! 1(<2%F*12(%+! d#! %2$%&(F2! )2$$2! /<<%&):2! '/#1! \cTR7]+! J#! 2442$!(#!)&#$%L02(%!'&*$!#&#!12(02.2#$!4/*%2!%21<2)$2%!021!<%&<%*6$61!1<6)*4*621Y!./*1!/(11*! #2! </1! D6#6%2%! '21! )&../#'21! *#/))2<$/V021! <:;1*9(2.2#$Y! )2! 9(*! %*19(2%/*$! '@2#'&../D2%!02!<%&)6'6+! ! T&..2! 0/! 1;#$:=12! 21$! 4/*$2! ^! (#! :/($! #*F2/(! '@/V1$%/)$*&#! 2$! 1@/<<(*2! 1(%! 021! ./):*#21! '@6$/$1Y!(#!.&'=02!1*.<02!2$!)&(%/#$Y!021!):&*K!'2!$2):#*9(21!'@*.<06.2#$/$*&#!1&#$!F/%*61!A! </%!2K2.<02!'(!T!1&(1!C*#(K!\X~sZM>]Y!'(!C355JQ!\cTR7]Y!'(!s%/4)2$!\T35ME]+!

J"*.1-2%"*(

C/!1;#$:=12!'2!1(<2%F*12(%!%29(*2%$!0/!.&'60*1/$*&#!'(!1;1$=.2!^!)&#$%L02%+!C/!.&'60*1/$*&#! 12! V/12! 1(%! (#2! 0*1$2! 'l6F=#2.2#$1! )&#$%L0/V021! 2$! *#)&#$%L0/V021! 2$! <%2#'! 0/! 4&%.2! 'l(#! /($&./$2! /11&)*6! ^! 0/! 16./#$*9(2! z!(#! 6F6#2.2#$! #&#! .2#$*&##6! #l/'F*2#$! </1!{+! C2! 1(<2%F*12(%! )&#$%/*#$! 02! )&.<&%$2.2#$! '(! 1;1$=.2! ^! %21<2)$2%! '21! <%&<%*6$61! N'2! )&../#'21! &(! #&#U4&#)$*&##20021Y! %2<%612#$/V021! </%! (#! 0/#D/D2! %6D(0*2%O+! C2! 1(<2%F*12(%! 21$!'&#)!</11*4Y!*0!*.<&12!'21!0*.*$21!./*1!#2!D=%2!</1!0l6F&0($*&#!'(!1;1$=.2!^!0l*#$6%*2(%!'2! )21!0*.*$21+!C/!%2):2%):2!'(!<0(1!D%/#'!1&(1U0/#D/D2!)&#$%L0/V02!21$!02!)|(%!'2!0/!1;#$:=12+! J002! %2F*2#$! ^! /'/<$2%! 02! <%2.*2%! .&'=02! '(! <%&)6'6! <&(%! 2#! 4/*%2! (#! .&'=02! '(! <%&)6'6! /'/<$6! ^! 0/! 1(<2%F*1*&#! '21! <%&<%*6$61! ^! %21<2)$2%+! d#! '6'(*$! '2! )2! .&'=02! 0/! )/%$2! '2! )&#$%L02!9(*Y!^!):/9(2!169(2#)2Y!/11&)*2!(#!2#12.V02!'l6F=#2.2#$1!*#$2%'*$1+!

?&(%! 0l*.<06.2#$/$*&#Y! &#! $%/'(*$! 0/! )/%$2! '2! )&#$%L02! </%! (#! /($&./$2+! "0! 2K*1$2! <0(1*2(%1! ./#*=%21! 'l*.<06.2#$2%! (#! 1(<2%F*12(%+! d#! %2$*2#'%/! 9(2! 0/! )&../#'2! #6)211*$2! '2! %6($*0*12%! 02! .&'=02! '(! <%&)6'6! /4*#! '2! #2! </1! D6#6%2%! '2! )&../#'21! *.<&11*V021! 2$! '&../D2/V021!<&(%!02!<%&)6'6+! Superviseur Automate Contrôleur Evènements (!) Patterns de contrôle Procédé Réel Observations (!_u) Commandes (!_c) Modèle du procédé Superviseur I/O = Contrôleur Procédé Réel Observations (!_u) Commandes (!_c) Modèle du procédé Superviseur Automate

! 7I! C/! 1;#$:=12! '2! 1(<2%F*12(%! D6#=%2! /($&./$*9(2.2#$! (#! 1(<2%F*12(%! )&%%2)$! </%! )&#1$%()$*&#+! J002! <2%.2$! '&#)! '2! %2)&#4*D(%2%! (#! )&#$%L02(%! %/<*'2.2#$Y! 2#! 6)&#&.*1/#$! '(!$2.<1!'2!)&#)2<$*&#!'2!F6%*4*)/$*&#!2$!'2!F/0*'/$*&#+!T2<2#'/#$!0l2K<0&1*&#!)&.V*#/$&*%2! '21!6$/$1!<&(%!021!D%&1!1;1$=.21!'2./#'2!V2/()&(<!'2!%211&(%)21!<&(%!0/!1;#$:=12+!

!

?/%/00=02.2#$! /(K! 2K$2#1*&#1! '2! 0/! $:6&%*2! '2! V/12Y! '@/($%21! /<<%&):21! '2! 1;#$:=12! '2! )&#$%L02(%! &#$! 6$6! '6F20&<<621+! J0021! 1(*F2#$! 0/! ._.2! '6./%):2Y! </%$/#$! '@(#! .&'=02! '(! <%&)6'6!2$!'2!<%&<%*6$61!2$!<%&'(*1/#$!(#!1(<2%F*12(%!N1&(1!0/!4&%.2!'@(#!X557!</%!2K2.<02! \?"RI]O! &(! '*%2)$2.2#$! (#! )&#$%L02(%+! T2<2#'/#$! )21! /<<%&):21! #2! 1@/<<(*2#$! <0(1! 1(%! 0/! $:6&%*2! '21! 0/#D/D21Y! 2$! 02! <%&)6'6! 21$! '*446%2#$!A! '/#1! \[XCCRR]! 02! <%&)6'6! 21$! 1;#):%&#2! N)+U^U'+!/F2)!(#2!:&%0&D2OY!'/#1!\v?,,]!*0!21$!#&#U'6$2%.*#*1$2+! ! ! ! ! ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 7_{!<'-6%*+=$5'(')-+='68%63!}

! 7E!

[%L1%"D&$<:%'(

!

\3T[QR>]! t+! 30$*12#Y! 3+! T0&'*)Y! -+! [/%/#*#):*! /#'! J+! Q($$2#+! `1*#D! )&#$%&002%! 1;#$:21*1! $&! V(*0'!<%&<2%$;U2#4&%)*#D!0/;2%1Y!>"%)#$6-+!*3#)('"3+)-+?%)8%633'-8+9>!@?:A+7RR>+!!

!

\X~sZM>]! 8+! X/02.*Y! s++! ~&44./##Y! ?+! s;(D;*Y! ~+! Z&#DUS&*Y! 2$! s+-+! -%/#€0*#+! 8(<2%F*1&%;! )&#$%&0! &4! /! %/<*'! $:2%./0! .(0$*<%&)211&%Y+ B>>>+ 0%6-(65.')-(+ )-! C".)36.'5+ ,)-.%)/Y! F&0+>HY! #&+GY!<<+,RIRU,REMY!(0!,MM>+! ! \T35ME]!-+!T:/%V&##*2%Y!~+!300/!2$!Q+!5/F*'+!S:2!1(<2%F*12'!)&#$%&0!&4!'*1)%2$2!2F2#$!';#/.*)! 1;1$2.1A!/!#2!/<<%&/):Y+?%)5$$4'-8(+)D+.1$+EF.1+B>>>+,)-D$%$-5$+)-!=$5'(')-+6-4+,)-.%)/Y! F&0+,Y!#&+GY!<<+M,>UM7RY!,>U,EY!,MME+! ! \s?RI]!5+!s&(;&#Y!U-!?2$*#!2$!3+!s&(*#+!3!<%/D./$*)!/<<%&/):!4&%!.&'(0/%!)&#$%&0!1;#$:21*1! /#'!*.<02.2#$/$*&#Y!B-.$%-6.')-6/+G)"%-6/+)D+?%)4"5.')-+H$($6%51Y!F&0+!I7Y!#&+,IY!7RRI+! !

\[XCCRR]! ~+! [/%):/#'Y! ?+! X&(%#/*Y! [+! C2! X&%D#2! 2$! ?+! C2! s(2%#*)+! 8;#$:21*1! &4! 5*1)%2$2U JF2#$! T&#$%&002%1! V/12'! &#! $:2! 8*D#/0! J#F*%&#.2#$Y! ='(5%$.$+ >&$-.+ =*-63'56/+ !*(.$3+ I+ 01$)%*+6-4+C##/'56.')-(Y!F&0+!,RY!#&+!IY!</D21!>7E‚>IPY!7RRR+!!

!

\d,R]! T+! d%*/$+! T&.<*0/$*&#! "+I+! membres-liglab.imag.fr/oriat/Compil/Cours/Y! F*1*$6! 02! ,7W7W7R,>+! ! \?"RI]!-+!?;Y!-+!"#D%/#'+!52<2#'/V02!2K2)($*&#!)&#$%&0!4&%!/($&#&.&(1!%&V&$1Y+?%)5$$4'-8(+ )D+ B>>>JH!G+ B-.$%-6.')-6/+ ,)-D$%$-5$+ )-! B-.$//'8$-.+ H)K).(+ 6-4+ !*(.$3(+ 9BH@!+ LMMF:Y! F&0+7Y! <<+!,,>PU!,,I,Y!7RRI+! !

\cTR7]! [+~+! '2! c(2*%&}! 2$! +J+Q+! T(%;+! 8;#$:21*1! /#'! *.<02.2#$/$*&#! &4! 0&)/0! .&'(0/%! 1(<2%F*1&%;!)&#$%&0!4&%!/!./#(4/)$(%*#D!)200Y!?%)5$$4'-8+)D+!'N.1+B-.$%-6.')-6/+O)%P(1)#+)-+ ='(5%$.$+>&$-.+!*(.$3(Y!<<+!>GGU!>H7Y!7RR7+!

!

\QZHG]! ?+! +! Q/./'D2! 2$! Z+! [+! Z&#:/.+! 8(<2%F*1&%;! )&#$%&0! &4! /! )0/11! &4! '*1)%2$2! 2F2#$! <%&)21121Y!!BCQ+G)"%-6/+)D+,)-.%)/+6-4+@#.'3'R6.')-Y!F&0+7EY!7RP‚7>RY!,MHG+! ! \v?,,]!s+!v2%4/*00*2Y!T+!?%/02$+!T&#1$%/*#$!?%&D%/..*#D!4&%!T&#$%&002%!8;#$:21*1Y!?%'-5'#/$+6-4+ #%65.'5$+)D+5)-(.%6'-.+#%)8%633'-8A!CiT8Y!F&0+PHGPY!<<+!,RRU,,IY!7R,,+! ! \Z,>]!?/D2!<2%1&##2002!'2!Z+![+!Z&:/.! www.control.toronto.edu/people/profs/wonham/wonham.htmlY!F*1*$6!02!,7W7W7R,>+! !

\ZRI]! Z+! [+! Z&#:/.+!!"#$%&'()%*+ 5)-.%)/+ )D+ 4'(5%$.$S$&$-.+ (*(.$3(Y!52<$+! J02)$+! T&.<+! J#D+Y!`#*F+!S&%&#$&Y!7RRI+!