Control of Systems with Incomplete Information and Finite Memory Controllers

Texte intégral

(1)Control of Systems with Incomplete Information and Finite Memory Controllers Pablo Lotito, Roberto L.V. González. To cite this version: Pablo Lotito, Roberto L.V. González. Control of Systems with Incomplete Information and Finite Memory Controllers. [Research Report] RR-3121, INRIA. 1997. �inria-00073569�. HAL Id: inria-00073569 https://hal.inria.fr/inria-00073569 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Control of systems with incomplete information and finite memory controllers Pablo A. Lotito , Roberto L.V. González. N˚ 3121 Mars 1997. THÈME 4. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5) "!#%$& '( )*"

(6) +,- '.,/"0 1 &)23!# . '4 5-687 9;:=<?>A@#:CB*DEBF:HGAIJ:C7LKNMFBF:O@/>QPR>TS&:CUV(6XW 9;KNV Y/Z[ ced fNg \^\i]_h c\d `bf ]ka jlh Z m jlnon fpd hrqo\ d \^s Z \ d s Z \utvCwCxNyXx?a{z|j d } x~~a x"njp \ } RL^NNo| \ } h'q h Z \_s f t8h d*ff s f t } \ d' jlh' \qo } s d \ih'\"h']_\_qtjp]_s+j #} } h'\^] } d Z } \^t }Jh Z Efp\ d d \|Z j d \|} tos f ]_fn \ih'\O} t fp d ]kjlh' f tZ jptoq} tofh' \O]_\^] fpd s f } t8fh d f \ d }^ Z \ } h jlh'} \ f\ th t¢h'\qoh ]_\\^j t } C f]_tAno¦ h h'\"s h \_jl¡jp t¥¢h£\F §jpt]_hn \ \_ s+j Z \ \ d \"¢h¨ to} ¢h'\&]&qon f]k}'} \^¢t¡ \© h tf jp to\iq¤hjt¥} h ]&\_noh s+f j h'\s } h jl¡ ¢h£ ªO«8¬ '®"¯ N°± ² } C]_noh f h's } h jl¡ ¢h£¦±s f t } \ d' jlh' \ } } h'\^] } ¦(s f tXh d f ¢h Z f h d \^ d \ih^¦ tos f ]&n \ih'\©t fpd ]jlh' f t¦to¢h'\¨]k\^] fpd Rs f t8h d f \ d } ¦oqo } s d \ih'\©h']_\ } } h'\^] }^ ³ ´b¶£µ ·¹¸+º ¶4µ »T¼¢·¹½¿¾^À Äî(ä¹Ù*ÙFÚrÜèÁ/ÕÝÒ*Ð±ÂÉpÒ Ã±Ù'î éoÄ±Ë¹çNëNÅ;ÐeÂÐeêTÆÂÇ ÒiÒ^Ê¿ÒFÙ*È©Ñä;ÐÕæÅEÒä¹ÉlÙ'ÖÊEË¿êLËÍÕæÌÏÒFÒFÉ¨Ê¿Î Ù*ïÐä;ÑNÕæä¿ÒNÒ*ÑÖXðÒÐßãLË±ÓXä¿Åá*ÐÄ±ÐÔ^É^ÕêTÖXË¿Å;Õæ×(ÉlãÐFÑÈ^ÌAË¹ÅEÒNÉlÇ ÌrÊEëË¿Ø¨ÕQÕÝË¹ÊLíNÙ'ÑpË¹Ë¹ÒÙ ÐÑÚRçNÐÐ#Ù äAÛ Ë¿Ø¨ÕìÕÝÊAÜÙ'Ù+ÕæË¹ÖÉpÐÜ£ÞÚRéæÙ*ípÙ Ü*ÛçË¿Ì/ÐÍÕÝÜçÂ Ù4ÊßÕæÉ©Î ÌÏÐË¹ÆÑlëlàÑÐÌQÒ4ÖCÙFÓCÅÜèÉlË¿ÐÕÝáÔ^Ô^Ì-ÕÕQË¿ÖpâÕæÂÐÍÊ±Ò^ãLÒFçá*ä¹ÐäçÔiÌQÕæÖCÐßÉléæåLÙÒ*Ë¹ÑÉNÒFÐÍÕæä¹ÔiçÊAÐä¹ÕæÒ É©ÊEî ÕÝçlË¹Ë¹Ù*ëlëlç ÐÐ Ñlä¿Ò ðEÐßËÍñÆAÌlêTÒ î Ú/Ù*ÉÈiêÌpò±ÒFÉNóCÙ Û éæÐó. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) Téléphone : (33 1) 39 63 55 11 – Télécopie : (33 1) 39 63 53 30.

(7) 0& e, e!) "

(8) +2,- *"!#%$& ( ( !# '& 0& 4 2* 1 & f } [ d f d f «

(9) « } }[ } } fpd } } [j h'\^]&n } qo } s d \itbh } s \ith#j q \^\ sr\-q\ s^}L f \¡ }s \ d'tX h jlh' f \-t q } Qotot s f ]&n h \^ \i[]kh'\ \-} qo¦ Cf t[ jp ]k\ } sXf t8\ h djpf t \^ jpd ] }±f t8h'h( ]\^\^ ]_] \^f tX d h^\ ¦ to\ } f t \i h jl¡ h Co}Ï\ Co\ }} d \ } h jlh } } } f d? j } h jl¡ f ¢h \| jd } }]&noh f h'Xo\|qjpt }?f \ [ s+ j } qo} \ q]_} \^t f}' } t" to\ f jpt d/ \/s+} j qo\ q]_} \^t t_f tt\p ¦ tkn \ \^t8h'\ot\F§\^]&n \ ? t Q\ h nj n ¢¡ \q ¡h'\^to j h jl¡ ¢!h \J j ]&noh h' Co\ " ¯ $ # « % } f } } [ }&} } fpd }'} f d f } } d \^ d \ih } ¦ f ¡ } \ d jlh'h jlf ¡t } ¢h to\ s jf ]&n]& \ino[ h'h \ } h'¦o Xs of t8\ph¦ d f \^h \^d ]_} \j \^sJjpt &] \^ ]jp] f d \Jh' to\^]_\p¦ \^} t8 h^} ¦eh \^[ s ]_tX\ h } jb[ \ h'\^]&jpnt } q } s d \ih }^ ] f h }(' s \ .

(10)

(11) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3. w. 5 6(7 N ¯ °

(12) L98 ¯ 7 : ; < 8 7 8 «

(13) ° 8 « 7 =8 ¯ 7 #4o « : y x > f t8h d fT} CtXh Z \ } } J J ¨ J ¨ J J ¨ J J ¨ J J ¨ J J ¨ J J ¨ J ¨ J J ` y y ² } ]&noh f }2 h's } h Jjl ¨¡ J hè J J ¨ ¨ J J ¨ ¨ J J J J ¨ ¨ J J J J ¨ ¨ J J J J ¨ ¨ J J J J ¨ ¨ J J J J ¨ ¨ J J ¨ ¨ J J J J y w ?e§jp]_n \ x=@ : 6(7BA7 8 «

(14) ° 8 « 7 = 8 ¯ 7 #-o « 55 w x f\ } s d ¢nod h'' f t f j& s f t }} \ dd' jlh' f \ } J} h' ¨\^]) jp JtoqO ¨¢ Jh } Js ¨f t8 Jh d*f J ¨ ¨ J J J J ¨ ¨ J J ¨ ¨ J J J J xx J w y > ot8h'\ \F§jp]&n \Jqo\ s ¢noh' t xNy C D 0 "!± ' E \ d \ \"s f t } qo\ d s f t } \ d' jlh' \ } } h'\^] G } F Zf d Z Z d dj \ f t j jp jl¡ \¨nj d h'j t Efpd ]kjlh' f tOjpto q=\ to ¢h'¢h\¨]_\^h] tfpjld =h' s fj t8h qd jpf]& \ nd }^to I Y/H*¦ Z \ f \^¡ tOg \^h sih'\ \\ f h Z } njln \ d } h f jptj K J^\©h Z \Js f tXh d fAf h Z \ } \ } } h'\^] } ¦¡ f h Z tRh Z \¨s+j } \ f t¢h'\ fpd tto ¢h'\d qo]k\^ t } f t } f\qZ \+j Z f t Z Z ¢h Z } h Z \Jd s+j } \ f qo f} s d } \ih'\©}'} h'f ]_\ } } h'\^] Z }^ Z f d f f t f t¥ qjpt]&j n\^jpq ]2} } h'\^h ] }*F¿ Efpd j d h© \bh q\ ]_\ \^t \ } \ f t ]kfpd ¢h jlth' tXt h'\qoj ]_\^s^t jl} h' f\^qt } ¢} h h'\^] h } \kH s Y/t8Z h \ } \ ]_¢h jlh' f t } Z j \|¡\^\^t d \^s f toL J^\^qth Z \ ¢h'\ d jlh' d \ F¿} \^\|\ N M 'M dZ \ \ h f jptj P J^\©¢h } n d \ } \^tos^\©t?h Z \©s+j } \ f s f t } \ d' jlh' \©qo } s d \ih'\9y h'O]kI` \ OHk} jp} th'\^q ] }$\ F¿ \ihÏjptXh} ]k\^t8h' f t=h Z jlh }'f ]_\ d \ jlh'\^q d \ } h } j d \¨n d \ } \^tXh'\^q=t M "w OH Q R &Í 0_*2" '",/ O!#,r \ A} h'oqo Z \ d \h Z \ } n\^s^j s+j } \ Z \ d \h Z \ } } h'\^] } h jlh'\& } qo\ } s d ¢¡\^q ¡X|jkn f tXh fT>VS UXW Y Z \¨\ f h' f tO } \^t ¡C?h Z \J\ Cjlh' f t YY ZP["\T]_â`bZc[Xd+eI[ fg^ x h*cy h'W'W'Wh YY F 9x H YY Z \ d \ ` } j&oto¢h j d. Y ZKiV^kj h mlonpl%]jlh d `q^sr. êLê É_}~='. § ¦ ¢h Z h Z \ E ff to Efpd ] @. x. t9u UVv ]xwzy u U{v x] w W @ |. F yH.

(15) `. )'

(16) V3 V") . ofpd \+jps Z qo } s d \ih'\©h']_\ \ t f h Z \ f ¡ } \ d jlh' f t . . [ ^!#" h Z %[ $ h. ". >S U h. & " &. [ > S h ^ x h. F w H. } Z \ d Z\ (' h f' $ qo\^t f f h'\ } h Z \¨toto\ d n }'fd f qoosihrt > S U h \ e h*) $ ^,+ -U . ] e - ' ) - \ j }'f \©h \¨t h jlh' t e/{^1e30 2 h jptoq e h*) $ ^ e/ ) W Y/Z \bs f t8h d f j jp jl¡ \bjlh©\+jps Z h']_\b } jpt8 \^sih fpd e4 >{S U F jptoq }'f ¦h Z \ } } h'\^] } f ¡ f }' |s f t8h d*f jl¡ \=H*¦±¡h¨h Z \_s f t8h d*f \ d Z j } toh'\&]_\^] fpd ¦( \ h Z \_s f tXh d f \ d } t jl¡ \h fd \^]_f \^]d*f¡ \ d Z h Z \bZ nj } h } f ¡ } \ d f jlh' f t } ¦Ajpto} q t s Z f t } \ d X} \^tos^\pf ¦ } \bd' s+jpt f f t Ojlnon j \^\^q¡jp5s s t8h s ]b hr¡\¨s ]&nh'\^qO to bh \©n \ \^tXh ¡ \ jlh' t « ¤7 6 598 $#% pK0)"%) 3_GP);:"G=</," ,K*Km!)"'14 G" # 0?> 1"?< _)03G )"G)"%) 3!)"@3G) '!)" !,;< '" )BAC>xz#b01"D. « ¤76 ;FE P)G:" )"%) H=,m 3)'JI ^ > S U 13$#% 0K{#'' ) " #4#K' !K" '!( "K3LK7 M?< K!)(I ÔN U 3)"P3 =</," ,m)"%) 5QIG<c 23G )"< R. STVU. WYX[Z]\;^X[_a`cbZ]\Ddef`;gh`. fpd qo\ d h f qo\ } tbj \^\^q¡jps5s f t8h d f h Z jlh } h jl¡ J^\ } h Z \ } } h'\^]=¦jptq\ \^tXh'j ¦ } h'\^\ d } h4j } ]&noh f h's+j bh f J^\ d f ¦ \ } \rh Z \@i %P;< VQ 4(j F¿} \^\ Mlk OH#]_\ih Z f q ff p m \ih n F e h Z H ^ & `bZXd e &o F ÌH ¡\©h Z \¨s f} h tosih' f t¦ Z \ d \Y& ' & } h Z \¨\ôs qo\+jpt t fpd ] t > S UXW Sß } jpt f ¡ } \ d' jlh' f t¦h Z \ } \ih f n f}'} ¢¡ \ } h jlh'\ } h Z jlhrn d f qoos^\h Z }Ïf ¡ } \ d jlh' f tO } St. p. . ^rq'ZYst#" h Z $ ^. uW. ¡ f }' ¦C¡C d h'o\ f F w H*¦h Z \ } \¨\ \^]k\^t8h } Z j \h Z \ ff to fpd ]. Efpd }'f ]k\. v4x"y. h \. . Z1^ V" h v $. "{dwv. Fhk H. ^ @PW. ÅEÄ±êTÅ;ã.

(17)

(18) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3 d} fCf Efpd f d f Z Z , =3 *). } ¦ h \ js tXh n s n F e h Z H F @Ph Z H Z p F x9H/jptoq F ÌH*¦¢h/]b } h/¡\ \ d ¢\^q=h Z jlh. od f ] h Z } to\ Cj h'¢h£ \J \ih. &. `bZXd e & o &. `bZ. & o . "!( P)"b, "3Qm%I3Q. k. ¦h Z jlh. W. @ W. . y m \ `Z h e $ d & e &o @ h jptq }'f ¦ d f ] Fhk H/jptq h d j } n f} t ` h \ \ih F H y m \

(19) ( " h ` e

(20) d y m \ v h ` e

(21) d & e &o @ v M#" h v $ ^ @PW S fpd d Z F Z f } } Efpd Z } } fs tqot ¢h' f t qo\ h Z jlh h_jl h }" \ H d ¢\^qq ¦T ¢h` ]b e ^h¨¡\ " =vEfpdkh ` }' f e ]_$ \ ^ @ > S jptXE \^v tos^\=t h h Z \ \ } \ih¡ njpfs^ \ t "Df y t h Z j d ] s f t8h d f} } S hy m \ " h ` e d & e & o @ W F H ^Pe s e*^ ` " ¦ >$ f dg df Z Z } f d f} f Z f t Efpd ]k jlh'\ f t=toqjl¡ h f o\©hr]kh jNZ §\ ]bd \+onj ]A} h n jlh'\ \ ofqo hs^Z \ n \ n } }qoh'o\^s^] \^q n Y/¡X_Z jlh h \ } ¦\© s \Jt8\ h j jlqoh'o\ \h h \ jps5 F e H ^ ]kjN§ F e h Z H F @Ph Z H !#" fpd ¦h 7j Ct _tXh f jps^s f ot8h Fhk Hrjptoq F H*¦h Z \¨\ Co j \^t8h/\F§n d \ } } f t n F e H ^ ]kjN§ y m

(22) \ " h ` e

(23) d & e & o*) W $ y&%(' ² } h Z }r j } h \F§n d \ }'} f t } toq\in \^tqo\^t8h f v h \ Z j \ n F e H ^ y m \ " h ]" $ d,+ -+ o& " &o ^ y m \ F 0 H d.+/+ o

(24) W tj \bs Z fCf} \"0 t h Z \s f tXh d f e Z s Z ]_to]_L J^\ } h Z \b]kjN§]bo] n d \ g qos^\p¦ h Z jlh } n F e H ^ ]_t y m \ F 0 H d.+ -+ o5) W 13n 2 % 4 ' Y/Z } ]_to]o] Z j } h Z \ j o\ F e H ^6 7+ + o jptoqR } jlhÍh jpto\^q Z \^t b^6 Vh Z \^tos^\ h Z \¨]_to]bo] d \^ d \ihs f t8h d f } ^6 `" eG. êLê É_}~='. 6 ^ ` "V". hZ $ W. F98 H.

(25) . )'

(26) V3 V") . f ¦ fpd h Z \Js f t8h d*f jlh/h Z \ f ' h Z h']_\ } h'\inT¦ \ Z j \ %. e[ ^ `. " #". h Z [$. jptq h Z ¨\ \ f h' f t=\ Xjlh' f t f h Z \¨s f} \^q fCf n } } h'\^] } Z [\T] ^ ` F t . "D" /. HZ [ W. F ~ H. \itto bh Z \ f n\ d jlh fpd F =x @ H â` F t @"" / H3h d f ] F w Hr¢h/ } \+j } Rh f s Z \^s5 h Z jlh & & xW s f d } \p¦ } tos^\ \bj d \bt8h'\ d \ } h'\^q t h Z \"j } ]&noh f h's } h jl¡ ¢hè f h Z \ } } h'\^] ¦ \ jptXh/h Z \ Eff to d \ jlh' f t=h f Z f q ] & j & ^ @ j4 > S U W F x9x H . ST=S. C`cb

(27) \GX \DgC`c\ g _hg#\Hb. \+j d ¦ & & x¨h Z \^t F xx9H/ }r \ d ¢\^q¦¡hr \^to\ d j ?h/ } & & ^ xW \ } Z f Z \ d \¨h Z jlh F xx9H Z f q } U xW f ' } F xx9H ¡ U x S t h Z \ f h Z \ dJ} \^t } \p¦L U ^ x&h Z \ d \&\F§ } h } Z } s Z h Z jlh U Z ^ & Z & ^ xW d f ] Z \ d \¨¢h/\+j } Rh f s Z \^s5 h Z jlh& Z & ^ x ^ @Ph'W'W'W9hlgW d f F Z Y/Z d f F } Z } d \ jl] h' f t =x @ fpH d ¡ \ q } \iF xh&9x h HÏh jlf h Z f qZ ^s` Z W \^t ] yH"¢h& U Z ^ Z h jptoq h \ n d \ } \^tXh4¡\ f jt\^s^\ }'} j d Rjptoq } ks^\^tXhÏs f toqo¢h' f t Efpd h Z \ j q¢hè f h Z \ d \ jlh' f !t U x cd \ f }' ¦ \¨n d f \¨h Z \ Eff to h'\^s Z tos+j Ad \ } h s >. "#. «X¯ « . 5 U % x $. " h ` " h'W'W'W(h F ` H U{v ] " )"G )" %,Iz# %,I'V. ÅEÄ±êTÅ;ã.

(28)

(29) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3. . ¯¯ H m i\ h }¨} non f} \ U ^ xhAh Z \^t¤¢h¨] } hJ\F§ } h } j \^sih fpd Z ¢h Z t fpd ] x } os Z h Z jlh U Z ^ xW h/h Z } ]k \+jpt } h Z jlh U Z ^ x h U{v ] Z ^ xh'W'W'W=h & Z & ^ x jptq ¡XRs f t } qo\ d to h Z jl{h t "D" } j '!( "

(30) #K4) " \Js+jpt|j d ] h Z jlh fpd h d j } n f} to . V". h Z $ ^ @Ph. V". h `XZ $ ^ @Ph'W'W'W=h

(31) " h ` UVv ] Z ^ @Ph. `. S. #". h Z $ ^ @Ph ` " h Z ^ @Ph'W'W'W9h F ` H U{v ] " h Z ^ @PW. h Z \ \^sih fpd } F xNyH " h ` " h'W'W'W(h F ` H U{v ] " \ d \ to\+j d |tqo\in\^toqo\^tXh^¦Ah Z \^t \ f q Z j \h Z jlh Z ^ @Ph Z s Z s f t8h d jpqsih } h Z \ j } } o]&noh' f tw& Z & ^ xW % f ¦o¢h/ } t\^s^\ }'} j d U xW H m \ih( }T} non f} \(h Z jlh %" h ` " h'W'W'W'h F ` H U{v ]" ¨j d \ to\+j d qo\in\^toqo\^tXh^¦Nh Z \^t Z^ @ } os Z h Z jlh #" h Z $ ^ @Ph! ` " h Z_^ @Ph'W'W'W9h F ` H U{v ] " h Z ^ @Ph fpd ¦ot=jptO\ Co j \^tXh fpd ] V". h Z $ ^ @Ph. Y Z }-d \ jlh' f tO]&n \ } h Z lj h jptq=t s f t } \ Co\^tos^\. h `XZ $ ^ @Ph'W'W'W=h " h ` UVv ] Z ^ @PW. 1 Z â` Z. Y Z } s f 8t h d jpqosih' f t ]&n \ } h Z lj h. êLê É_}~='. V". ^x. ^ @Ph h'W'W'W. x. U ^ W " h ` " h'W'W'W(h F ` H { U v ] ". j d \ to\+j d toqo\in\^toqo\^tXh .

(32) )'

(33) V3 V") 8. \ \4t f js f tqo¢h' f t Z s Z j }'} d \ } h Z \ to\+j d toqo\in\^toq\^tos^\ f h Z \ \^sih fpd } t m \i h > S U ¦ \Jq\ito\©h Z \ \^sih fpd > S U } os Z h Z jlh fpd ^ xh'W'W'W=hlgh ^ " h ` v ] W F x w H Y 7j to &tXh f jps^s f otXh F y H*¦ \ Z j \ F xNyH. ^ U Z d Z } ds^ s^ \ j \d h s f \ t of ] h' f t d f " 0 x F. -.. ]. " -. '. U ` v ] )- ^ . -.. ^ " 0 VW. f ¦ \" } \h Z \ } s d \ih'\ of d \ d Y d jpt }'Efpd ] q\ito¢h' f t f Y tRh Z } s+j } \ } Z \d\.

(34) ^ v ] W . . \ v ]. } Z otoqF¿} \ d } h M fCf q j } h Z ' \?] f q F f H jpqqo¢h' f t%H /Y Z ^\ t } h Z \ ¢h \^\ OAnn ww ww H*¦ \. . " . ]. " - -. U{v ] ^

(35) -. i. - " -. \T] h. F . Y H m \ih } d \^]k\^]¡\ d h Z jlh©h Z \. ^ @Ph'W'W'W=hl x h. Rh Z \©n d f n\ d h'\ }rf Y ¦ \ Z j \ ^ " ' Kh. Z \ d \©h Z \©n d*f qosihÏ } otoqo\ d*} h fXf q j } h Z \©n d f qosih/s f ]&n f to\^tXhr¡X s f ]&n f to\^tXh^¦o \ ^ " ' h Efpd ^ @Ph'W'W'W=hl xW f d*f+ Z Eff }'} d } f f f } ' fh h's } h jl¡ \¢hès+ jp tkn \h \ to to\^s^\ j ?jptoq ks^\^tXhs toqoh' t_h \ih/j C]_n "# «X¯ « ; ' " > S U )" , " B;<K ' ! #K" %? 8 bKB:"!( "3 " h ` " h'W'W'W(h F ` H U{v ] " . )4 )" %,Iz# %,I' )"%,2" m " ^ @Ph '" ^ @Ph'W'W'W=hl . x ÅEÄ±êTÅ;ã.

(36)

(37) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3. ¯¯. H m. ~. \ih }r} non f} \h Z jlh " Á ^ @Phoh Z \^t=q\itoto ^ F Y H v ] F @Ph W'W'W(h!@Ph^xh!@Ph'W'W'W h!@ H jlh/h Z \ / n f} ¢h' f t . . \ Z j \¨h Z jlh ^ " ' ^ @ ^ @ d \ jlh' f tRh Z jlh ]&n \ } h Z \ to\+j d qo\in\^toqo\^ts^\ f h Z \ \^sih fpd } " h ` " h'W'W'W(h F ` H U{v ] " W H m \ihT }A} non f} \±h Z jlhh Z \ \^sih fpd } " h ` " h'W'W'W'h F ` H U{v ] " j d \ to\+j d q\in \^tqo\^t8h^¦ h Z \^t h Z \ d \¨\F§ } h } > S U h ^ @C¦ } s Z h Z jlh #". h. $. ^ @Ph ` " h _^ @Ph W'W'W=h F ` H UVv ] " h ^ @PW. Y Z \ d \ Efpd \p¦o } t h Z \Jqo\itoh' f t F x w H*¦ \ Z j \ ^ @ Efpd j ^ xh'W'W'W=hlgW S ts f t } \ Co\^tos^\p¦ ^ @C¦jptq }'f ¦ ^ @PW E \^tos^\ " ' ^ @Ph fpd ^ @Ph'W'W'W9hl xh¡h } to h Z \ Z Xn f h Z \ } } " ^ @Ph Efpd ^ @Ph'W'W'W=hl xh \ Z j \ ^ @Ph Efpd ^ @Ph'W'W'W9hl x jptq }'f ^ @PW Y/Z } s f tXh d jpqosih' f tO]&n \ } h Z jlh/h Z \ \^sih fpd*} " h ` " h'W'W'W(h F ` H U{v ]5" j d \ to\+j d toqo\in\^toqo\^tXh d f ] Y Z \ fpd \^] xjptqOyX¦ \ \ih h Z \ d \ } h \ \ d \ fXf to Efpd s ¯ ¯ # #E ¬ : 8 K( (,2 (# 9 * )3"$#% !) 2 )( " ^ @ ^ @Ph'W'W'W9hl x W « ¤7 6 : X PG<GQb_*K);:"#4;:, P)K # 4) " 0)" # 3) . . .

(38). )3' & QP ' ) K 4) ! :"'=QP%g3)",!x:"'3 " K' lgh Kpx#P) 3 ,0/3 " %(4!)'? E P) "3' ?:{ '"V)$31) l TK 4) V!" :#Qc'%3 !)" !V,"31) 1 " ( '*'%;<DQ"p G. êLê É_}~='.

(39) x=@. )'

(40) V3 V") . ST.

(41) _Vet`. . ff d } #} Z f }'f Z d d } }f Z f f f Z s f} \^q \ fCf n } t} h' \^] nsi h' Z \^\ tRh Z \ \ jl¡ f+ \n d \ } \^tX]_h'\^\qOs q\ j } jp sit h'\ ]_ \ihh'Zs f q ff h p \_ \} jlnon h' \^qRt tRh h f \ s+j } \ } Z \ d \Xl ^ x=@PW. S t¥h Z. S Z d} } f d t \ d h s \f \ ks^h\^s+tXj h } \ f \ " . Z j \&s Z f} \^t d jptoq f ] j o\ }fpd j pj toq j d \ j d j j+ d*f ] @C¦ } \^\¨ d \ M x'O . Spectrum of theta. Observator (theta). Initial state(n = 0) 10. 1 0.5. 5. 0.75. 0. 0.5. 0. -0.5. 0.25. -5. -1. 1. 4. 7. 10. n=1. 10. 0. 1. 4. 7. 10. n=3. 10. -10. 5. 5. 5. 0. 0. -5. -5. -5. 1. 4. 7. 10. n = 10. 10. -10. 5. 0. 0. -5. -5. -10. -10. . 4. 7. 10. 4. 7. 10. -10. 1. 4. 4. 7. 10. 7. 10. n=5. 1. 4. Norm variation. n = 20. 10. 5. 1. 1. 1. 10. 0. -10. } s+j } &\ j h Z \. W S t h Z ". 7. 10. 14 12 10 8 6 4 2 0. 20. 40. 60. d \bx s ? f h' f t Z \^t=j h Z \¨s f \ ks^\^tXh } j d \ j d j j+ d f ] @ . 80. 100. ÅEÄ±êTÅ;ã.

(42) xx.

(43) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3. . } \^s f toq¤s+j } \ \ Z j \&s Z f} \^t " ¢h Z f to\ o f d \ d s f \ ks^\^t8hJto\+j d h f C@ ¦ } \^\. S t|h Z \ d \ M y9O . Spectrum of theta. Observator (theta). Initial state(n = 0) 10. 1 0.5. 0.5 0. 5 0. 0.25. -5. -0.5 -1. 1. 4. 7. n=1. 10. 4. 7. 10. n = 10. 10. 5. -10. 0. 0. 0. -5. -5. 4. 7. 10. n = 50. 10. -10. 5. 0. 0. -5. -5. -10. 1. 4. . D. 1. 7. 10. -10. 4. 7. 10. -10. 7. 10. 7. 10. n = 20. 1. 4. 1. 4. Norm variation. n = 100. 10. 5. 4. 5. -5 1. 1. 10. 5. -10.

(44) TVU. 1. 10. 7. 10. 14 12 10 8 6 4 2 0. 20. 40. 60. d \y s ? f o h' f t Z ^\ t h Z \ d \¨ } j of d \ d s f \ ks^\^tXh s f} \Jh f @ . 80. 100. 1 & 0_ " ",/ !#,r @ef` ^g

(45) \GghX[Z X X]Z`7e ^ \Gg[e `Hb`c\Ge. Z g#\D` X[Z]\G^DX[_. \Z ihr} } s I f t } qo\ d Ft F f jptRS toto¢h'\/Z q]_\^}t } d f tj o} } h'\^]f Z \ f d \/h } Z \ } h jlh'\ } j d \©\ \^]k\^t8h }rf h \ \ih ^ o @Ph^x9H

(46) > HÏjptoq h \Jq s \ih'\©h']k\¨\ h' t= \^t=¡C YY ZP[\T] ^ ` ZP[d+ec[ fg^ @Ph^x h*cy h'W'W'W9h YY F x+I` H YY Y Z i ^ j h EfpZ d \ d \ eI[ } jpI tj d ¡¢h d j d \ \^]_\^tXh f I jptoq ` } jpt f n\ d jlh fpdL \ d Cto -h Z jlh & `Xj & ^ & j & jptX j4 W m. êLê É_}~='.

(47) xNy. )'

(48) V3 V") . Y/Z \ f ¡ } \ d jlh' f tx [ > S } \^tO¡XY [*^ #" h ZP[ $ Z \ d \ " I h

(49) & " & ^ xjptoq *' h ' $ q\^t f h'\¨h Z \¨tto\ d n d f qoosihrt I W ofpd Z }Jf Z } I } Z Eff d d } f F Z } } \^sih' f t h \ \" \ \^ ]_ \^} tX\©h h Z \Jt h f h \ jlh' \if h t ¦^ \ x H \h \ to \in \ \^t8h jlh' t t h j F H ^ [ o [ h [. i ¢h Z [ >$S W ¢h Z h Z }Ïd \in d \ } \^tXh jlh' f t¦ \ } \¨h Z \ f n\ d jlh fpd ` qo\ito\^qR¡X F `j H F H ^ o u ["\T]xw u z \ = w ^ o [ u z\ =w h [ [v ] [. i [. ] Z \ d \

(50) } jpt= d'd jlh' f tj tCo]¡\ d+ S t h Z } s+j } \p¦j } tRh Z \¨n d \ f }rf to\p¦ \ Z j \ s h Z \ f noh']kj i ')" VQ'j s f tXh d f } s Fxk H e [ ^6 `"#" h Z [ $ h Z \Js f} \^q fCf n=\ f h' f t f n\ d jlh fpd } â` F t @"D"D/ H3h & & x W f u \_ \_jpt¤\F§ojp]&n \ Z \ d \p¦Tt } n¢h'\ f h Z \ jpsihh Z jlhj h Z \ of d \ d s f \ ' s^\^t8h }/f " j d \t f t/J^\ d f ¦oh Z \ f n\ d jlh fpd } t f h j } ]&noh f h's+j } h jl¡ \ S t fpd qo\ d h f q f h Z jlh^¦ \ 4} Z f h Z \ \F§ } h'\^tos^\ f jpt to¢h'j 4} h jlh'\ j F H } os Z h Z jlh & Z [ & ^ & [ j & @Ph Efpd j f tjlh' d j ¿

(51) T=S WYX Z]\Ge ^? e

(52) _Ve ef` ^g

(53) \DgVX[Z m \ih @ x h h Z \ f ¡ } \ d' \ d " F H ^ x o + [ o [ . . . [ i. ÅEÄ±êTÅ;ã.

(54)

(55) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3. xw. Z \¨to¢h'j } h jlh'\ j F H ^ o Z \ d \ } jpt=tXh'\^ \ d d \+jlh'\ d h Z jpt¥x h S h/ } \+j } ?h f s Z \^s h Z jlh& j & ^ & " & ^ xW od f ] F x k H jptoq F x+I` H \ Z j \ Z [ â`Z [ v ] `" " h Z [ v ] ph. Z \ d \ #" h j $ ^ i ] " 0 F H j F H ^ + . " 0 [ j [ ¦4jptoq " [ ¦ j [ j d \h Z \ d \ } n\^sih' \ o f d \ d [ i s f \ ks^\^tXh }^ S \Jq\ito\ ^ o [ hh Z \^t q s f S u } j"¡j } \ f I [ [ m \ih ZP- [ ¡\h Z \ ' h Z s f ]&n f to\^tXh f ZP[ t h Z } ¡j } \p¦oh Z \^t ZP- [ ^!ZP[ h - $ W \qo\ito\¨t f h Z \ otosih' f t } [ s. [. ^ Z [ Z "[[ \ "[ \ h. Z \ d \ O } h Z \JtXh'\^ \ d tRh Z \Jq\ito¢h' f t f Y Z \¨\ f h' f tO\ Xjlh' f t fpd h Z \Jto\ } h jlh'\. [. h Z \¨t¢h'j } h jlh'\ j F H } h Z \ ff to f t \. ^. `XZ [ v ] " h Z [ v ] `" bZ ["[ \ ["\ . ^. ` F [ v ] d Z "[[ \ v ] v ] [ \ v ] H " h [ v ] d+Z [[ \ v ] v [ v ] d Z [ v ] o u [\ w Z [ v ] ["\ [\ ["\ v ] ["\ v ] [ v ] d Z [ v ] o u [\ w bZ [ ) [\ ["\ ' ["\ v ] j \ } \^q h Z \©n d f n\ d hè ` [ ^ o [ [\T] W. ^ ^. . . " Z [ "[ \ [ \ ] [\ v ] `. v ] ` " bZ ["[ \ "[ \ . Z [[ \ v ] v ] [\ v ] `. Z \d\ \ Z S t fpd qo\ d h f_} \^\J\F§n d \ }'} f t F x H h Z ] pf d J \ qo\ih jp ¦ \ih/ } d ¢ h'\ Z [ â`XZ [ v ] `. " ". hZ [ v ] h. h Z \^t h Z \ ' h Z s f ]&n f to\^tXh f Zc[ +s jpt ¡\¨s+j s^ jlh'\^q|j } Z [ h . êLê É_}~='. - $. ^ `XZ [ v ] h - `" h - $ " h Z [ v ] W. ". h. F x H.

(56) x+` } t h Z \ f n\ d jlh fpd. )'

(57) V3 V") . d f ] h Z \¨n d f n\ d h£ `/ - ^ - v ] v o [ h \ Z j \ F xNH Z - [ ^ Z - [ v ] ] o - - v ] o - " h Z [ v ] {W v od f ] F xNH jptoq \ihÍh'to ^ fmd \ Z j \ [ ^ [ v ] d+Z [[ \v ] v ] o u [\ w ["\ Z [[ \v ] v ] [\ v ] ` " u u Z [ v ] o ["\ w [\ v ] o [\ w " h Z [ v ] ) [\ ' [\ v ] ^ [ v ] d ["\ v ] o u ["\ w " h Z [ v ] ["\ Z [[ \ v ] v ] [\ v ] ` " W f d} } Z d d Z fpd f f Z f ¡ h jps t ]&nh't =h \Rt ] ¡ h ]_\^]¡\ jptq to Oh Y \?h jptoY j t\ Xj ¢hè \ & [ & [ v ] d [\ v ] d [\ v ] YY Z [ v ] YY W [\ v ] Y Z \^t & [ & [ v ] d y [\ v ] W Rs f t } q\ d to bh Z jl h & & x \ Z j \ & [ & [ v ] d y ["\ v ] * d f r } d ' d d d f E f f } Z jptq ] h \^s^ \^tXh \ jlh' t ¢h h Z jlh [ x [ W & [ & y \ - v ] ^ y x -. ] m \ih' d toto bh f Z [ h \ Z j \ Y Y Y Y Fx8 H & Z [ & YY & [ & Z [ YY YY Z [ YY & [ & W [\ [\ [\ od f ] h Z \¨\ Cjlh' f t F xN H*¦¢h d \ } h } h Z jlh Z [[ \ ^ Z ["[ \ v o v o u [\ v ]xw [\ v o o u [\ v ]xw " h Z [ v o ) o u [\ w o ' u [\ v ] o [\ w " h Z [ v ] ^ Z i o u \T]xw o u \T]xw " h Z i 'R'R' ["\ v ] o u ["\ w " h Z [ v ] W `/ h. ÅEÄ±êTÅ;ã.

(58)

(59) !"$#% &'( '"*) "+)"%,$-./01"23"4 &3. Y Z \ d \ Efpd \. xk. F x~ H x [ v ] W . tj _¡C } ¡ } h'¢h'oh'to F x~ H-t Z j\ i x [ & Z [ & x w x jpftq } }'f ¦s Z fpfXd f} to } ]j \^t f o Z ¦ \Js+jptOj d ] h Z jlh& Z [ & } d \+jlh'\ d h Z jpt=j&n f} ¢h' \ s t h jpt8h j f "!e " " \ Z j \ } \^\^t=tRh Z \Jn d \ f }r} \^sih' f t } h Z jlh Y/Z \¨ } } o\ }rf s nj d h'j t fpd ]kjlh' f t f t h Z \ } h jlh'\ f h Z \ } } h'\^] h Z jlh ] } hr¡\ } h jl¡ J^\^q to¢h' \ ]_f \^] d fpfd d f h Z \} j d jp jlZ ¡ \ } s f tXh d f \ d } F jpfptd q?jptX d \+j } h's fpd ]&n \^]_\^t ' h jl¡ \¨s tXh \ to\^s^\ j j j"to¢h'\©]_\^] H n d f qo} of s^\ Z \+Z j Z ]_d ¢h jlh'} f t f }f t h d Z \" s f tXh d f#f } } h'\^] } ¢h Z j d \ f toto¢h'\qo ' ]_\^t t \^tRh \ \ t tjlh' j qjp]&nto Y/Z \]_\ih Z f q ff p f i 3"4 XP;< .VQ 4(j \^tjl¡ \ } } h f qo\ } t F otqo\ d-} o ' h Zjl¡ \¨s f d toq¢h'f f t Z } H-s } f tX} h d f \ d } h Z jlh } h jl¡ L J^\h Z \ } } h'\^] jptoqRh Z jlh t\ \ d tos d \+j } \ h \J\^to\ p h \ h'\^] Y/Z \ d \rj d \rs f tqo¢h' f t } h Z jlhj } } d \-h Z \ } h jl¡ L J+jlh' f t f h Z \ } } h'\^] F t }'f ]_\ } \^t } \p¦ h Z \ } \Js f tqo¢h' f t } ]k\+jpt h Z jlh/h Z \ } } h'\^] } s f tXh d f jl¡ \¨jptoq f ¡ } \ d jl¡ \=H Y/Z \ } \s f toqoh' f t } fpd ?th Z \©s+j } \ f toh'\ qo]k\^t } f t¦X¡hrj d \t f h } ks^\^tXhÏt h Z \Js+j } \ f tto¢h'\qo]k\^t } f t¦j } } } Z f tR¡X=jpt=\F§\^]&n \©n d \ } \^tXh'\^q . . êLê É_}~='. YY Z [ YY Y [\ Y Fx8 H \.

(60) x. )'

(61) V3 V") .

(62) + "!#e M x'Obz o j j } ¦ 3,!) * 3"4 V { #( 09 ¦ S ? ?_? Y d jpt }^ Tf t ² > ¦ ² > ' ypwC¦ non pw ' p~C¦±x~ 8C M y9Obz o j j } ¦ 8 , 1 )"=QP x#P) 3 </(=<K4 !"% KK!" K " ,IB,"4!)"*

(63) ,I P#K ¦ S ? ?_? Y d jpt }^ of t ² > ¦ ² > ' yX¦nn fk yy '(k w k ¦±x~ 8 y M w Obz o j j } ¦ ,"0 " ) T,"(V) ,I)#% :"G! I '" ,"(4(?> 0(-./?> ,"0' 3 "%)

(64) !)"X9* o z jlh Z ² tj ¿ ² nn ¿ ~C¦onon x k w ' xNXx¦±x~~ kX M `"O mJ - >Ï d h jpt¦ E j d h^¦ $ 4(,;</=" =-./?>4,"0' 3 "%) % !)" K" ¦ % n d to \ d ' \ d jp ¦ \ fpd ¦Ax~~ kX Mlk O 'hme m f t } ¦ "% & )G1" ,"4$VQ 4(X,c 0,"#R< ¦ > Qm ² s+jpq % s^ c j d } ¦wCx k ¦ } \ d \ S ¦x~~yX¦non xNy k w ' xNy k M O E o }'} ¡jpo]_\ d ¦ B) BG<P * ) '" )"%,g!" :" <K " ) QI"c ¦ % n d to \ d \ d jp ¦ E \^qo\ ¡ \ d ¦x~ 8 x . . . . . . . .

(65) . . . . . . ÅEÄ±êTÅ;ã.

(66) Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l'Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. Éditeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399.

(67)