introduction à la synthèse de superviseur

28
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. Introduction à la synthèse de superviseur 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

Upload: others

Post on 23-Jun-2022

13 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Introduction à la synthèse de superviseur

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

Submitted on 26 Mar 2013

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Introduction à la synthèse de superviseurMathilde 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 desuperviseur. [Rapport de recherche] 13067, LAAS-CNRS. 2013. �hal-00804879�

Page 2: Introduction à la synthèse de superviseur

!

!!

"#$%&'()$*&#!+!,-!./#$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<:;

Page 3: Introduction à la synthèse de superviseur

!

!"##$%&'("#$%&'()$*&#!+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++!,!,! -&%./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!!!

Page 4: Introduction à la synthèse de superviseur

!

! ,!

)*+&",-.+%"*(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!</%!!

"!A!c!K!!!!!c!

Page 5: Introduction à la synthèse de superviseur

!

! 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

dehorssortie

entrée

dormir

Page 6: Introduction à la synthèse de superviseur

!

! >!

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+!!

Page 7: Introduction à la synthèse de superviseur

!

! 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&

'

Page 8: Introduction à la synthèse de superviseur

!

! 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

"

Page 9: Introduction à la synthèse de superviseur

!

! 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!

"

Page 10: Introduction à la synthèse de superviseur

!

! 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!

#

Page 11: Introduction à la synthèse de superviseur

!

! 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+!

Page 12: Introduction à la synthèse de superviseur

!

! 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#!>+,+!! !

Page 13: Introduction à la synthèse de superviseur

!

! ,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+!!

Page 14: Introduction à la synthèse de superviseur

!

! ,,!

> 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 B!1

"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

Page 15: Introduction à la synthèse de superviseur

!

! ,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!

Page 16: Introduction à la synthèse de superviseur

!

! ,>!

! 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+!

Page 17: Introduction à la synthèse de superviseur

!

! ,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'

Page 18: Introduction à la synthèse de superviseur

!

! ,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'

Page 19: Introduction à la synthèse de superviseur

!

! ,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+!

!!"#$%&'4<)'X*Y!

Page 20: Introduction à la synthèse de superviseur

!

! ,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+!

Page 21: Introduction à la synthèse de superviseur

!

! ,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('

Page 22: Introduction à la synthèse de superviseur

!

! ,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+!!!3!#&$2%!A!C2!%61(0$/$!'2!2-<."*!21$!$&(a&(%1!(#!$%*.+!

Page 23: Introduction à la synthèse de superviseur

!

! 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&%$+!

SuperviseurAutomate

ProcédéGénérateur

Evènements

(!)Patterns de

contrôle

Contrôleur

ProcédéRéel

Observations

(!u)

Commandes

(!c)

Page 24: Introduction à la synthèse de superviseur

!

! 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+!

Page 25: Introduction à la synthèse de superviseur

!

! 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(%!

Page 26: Introduction à la synthèse de superviseur

!

! 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+!

SuperviseurAutomate

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é

SuperviseurAutomate

Page 27: Introduction à la synthèse de superviseur

!

! 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!

Page 28: Introduction à la synthèse de superviseur

!

! 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$2UJF2#$! 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+!