55

LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

������������ ������������������������! " �$# " �%&�'%&�'(*)���+ -,�� " �.�/0�1�2%&��3��%4 �������

576�8:9<; =?>A@CB D

EGF�HJILKLKLM+NPO.QSRLT QSRVUXWLYZ�[]\ >^9�_7`bacaCd

Page 2: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

e � " �

f g >Ah.iC9$> \ >kj�l�_7DVlnmbo�hb;qp�@rl�_ts$i�9 \ lbBuB l�_v w >kx?ylb9G; z{mn>rD|; i{h}s<iC9 \ lbBuB l~jCl \ i�jA�lbB l�_� �}�n�A���k�$���

w l��^9Xi���l�D �}�n�A���k�$���w l�B >Ahr��>.�cl �}�n�A���k�$��� �>~D�9$>rx^lb9�_�@�h.l�yl�DS@^jClkj�l�mn>._

� w�� >Ah^>�B �^_Ll*j � @Ah \ i�jA�lbB l �}�n�A���k�$���w >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l�_w >k_1��hrD+o^�l�_Llkj�l*mPi{hrDS9��i�B lc@�9�_��; _S; \ @CB >.D|; i{h}l�D�_S; \ @�B >.DL; i{hr_

� � i{h.m^B-@r_S; i{h

Page 3: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

e � " �

f g >Ah.iC9$> \ >kj�l�_7DVlnmbo�hb;qp�@rl�_ts$i�9 \ lbBuB l�_v w >kx?ylb9G; z{mn>rD|; i{h}s<iC9 \ lbBuB l~jCl \ i�jA�lbB l�_� �}�n�A���k�$���

w l��^9Xi���l�D �}�n�A���k�$���w l�B >Ahr��>.�cl �}�n�A���k�$��� �>~D�9$>rx^lb9�_�@�h.l�yl�DS@^jClkj�l�mn>._

� w�� >Ah^>�B �^_Ll*j � @Ah \ i�jA�lbB l �}�n�A���k�$���w >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l�_w >k_1��hrD+o^�l�_Llkj�l*mPi{hrDS9��i�B lc@�9�_��; _S; \ @CB >.D|; i{h}l�D�_S; \ @�B >.DL; i{hr_

� � i{h.m^B-@r_S; i{h

Page 4: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����������������.����)���)��� " /��

�J  �¡lnmPDL; s:l�D \ in��lchg i{@nx.iA;�9�9$>c; _Li{hAhrlb9&_�@C9:B l�_�B ic�A; mr; lbB _�l�D¢B l�_7_1�._LDL�l \ l�_¢>.z�h*j�lmPi{h�h^>|� £ DS9�l¤B lc@C9�_¢mPi \ �Ci�9�D¡l \ lchrDV_7l�D¢B l�_tmPi{h.D�9��i�B lb9¡6w l�_t_1�._LDL�l \ l�_�_Li{hrD�j�l�_�i   �¡l�D¡_ \ >.D+o�yl \ >.D|; p�@.l�_n6

g 9�i�mPl�_L_�@r_�¥  DVlchb;�9�@�h \ i�j��lbB l*s$i�9 \ lbB�j�@�B ic�A; mr; lbB�i{@~j�@*_1�^_LDL�l \ lC6w�� >Ahb>CB �._Llb9¦�c>^9�@Ahrl�DVlnmbo�hc; p�@.l�s<iC9 \ lbBuB lC6§ 9<>�h._P�Cic_Llb9:B l�_*9Pyl�_�@CB DL>.D¡_tj�l�_ \ i�j��lbB l�_¥>A@�¨k_1�^_LDL�l \ l�_�9�yl�lbB _n6

w l�_��b9�i   B �l \ l�_w l \ i�j��lbB lkl�_LD�©V;-B�z{j��lbB l0ª¬«P­b®u¯�°C­�±²¯u³C´A6g lc@�¨µD�©²i{h~D¡i{@.D¦x?ylb9<; z�lb9Aªµ°�¶·n¸ ¯-°C­b¹�¯u®�¯�±�¶· 6w >kDS9$>Ahr_P�Cic_S; D|; i{h~l�_LD�©²lbB�B lkDVi{@V�¡i{@�9�_��Cic_L_S;   B lªµ­b¹^ºn±²»²­ ¸ ±G¯u³C´

Page 5: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w l�_tj&yl \ i{hr_LDS9$>.DVlc@C9�_tj�l�D+o�yl�iC9<�l \ l�_À�B _�s²>   9<;qp�@rlch.D�jCl�_��b9�[email protected]�_�Á�Â{Ã�Ä+ÅCÃ.6Ʀh��^9Xic��9$> \k\ l�l�_LD4xA@kmPi \~\ lµ@�hrlJs<i{h.mPD|; i{hµjClkmn>CB mb@CB�ÇÈ D¡lb9 \ ;�hb>b; _Li{h�Ç?9�yl�_�@�B DL>rD�mn>�B mb@�B<yl~l�_LD   ; lch}mPlbB-@b;�>rDVDVlch.j�@cÉ+6

Page 6: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w�� ;�h.D¡lb9²�b9�yl�DL>.DL; i{h¬>   _LD�9<>b; D¡l§ 9<>�h._1s$i�9 \ lb9&@Ah}�b9�i   B �l \ l*mPi{h.m^9Xl�D4j�>�h._t@Ah \ i�j��lbB l*>   _LDS9$>c; D��AB�@r__S; \ �AB lcÇ�_�@�9¦B lnp�@rlbB�B l�_7Ê�» ·.Ë « · º7_Llb9�i{h.D¥��B�@._�sG>^mr;-B l�_*�>~lP=�lnmPD+@rlb9¡6Ʀhkl+¨^l \ ��B l*j � ;�hrDVlb9²�b9�yl�DL>rD|; i{h¤>   _LD�9$>c; DVl�l�_LD¥B >��b9�lc@nx^l��b>b9Ì�6À \ �AB ; mn>.DL; i{h}j�>Ahr_�@�hk_Llc@CB�_Llchr_n6

Page 7: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w l�_�B >Ah.��>r�cl�_¥j&ylnj�;�yl�_Ʀh�B >Ahr��>.�clk>rx.lnm�j�l�_��b9<; \ ; D|; x.l�_¥jylnj�;�yl�l�_~�b>b9�D<���Cl*j � >�����Bq; mn>.DL; i{h�6Ʀh~mPi \ �C;-B >.D¡lc@�9�x^lb9�_�@�h�B >Ahr��>.�cl*�ylch�ylb9<>CBq; _LD¡l È ��Í 57Î5�É+6

Page 8: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w l�_�x?ylb9G; z{mn>rDVlc@C9X_¢jCl \ i�j��lbB l�_Îkylnmr; jClb90_S;�@Ah \ i�j��lbB lkj � @�h~_1�._LDL�l \ l�_�>.DL; _1sG>c; D�i{@�h.i{h~j�l�_�^9Xi��^9G;²yl�DCyl�_}B ic�A; p�@rl�_JmPi \ �Ci�9�DVl \ lch.D1>�B l�_n6��l�_LiA;�h}jCl�ÏGxc>CBq; jClb9�Ð2B l \ i�jA�lbB lC6g 9�i   B �l \ l}jCl�ÏLB � l+¨A��B ic_S; i{h¤mPi \   ;�hb>.D¡iA;-9Xl�Ð�6

Page 9: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w lµ9$>.ÑÒhrl \ lchrDg lb9 \ l�D+Ç�lch¬@�h¤hri \   9Xl*j � yl�DL>C�Cl�_���B�@._7i{@ \ iA;�h._¢; \ �Ci�9�DL>�h.D4j�l�b>._L_Llb9�j � @Ahrl�_P�?ylnmr; z{mn>rD|; i{hÓ�>¤@�h.l~; \ ��B >Ah.D1>.D|; i{hklch¤�b9Pyl�_Llb9Ôxb>Ah.D¥�>mbo^>^p�@.l�yl�D1>��ClµB l�_��^9Xi��^9G;²yl�DCyl�_�l�_L_LlchrD|; lbBuB l�_Jj�@*_1�^_LDL�l \ lC6Æ�D|;-B ; _Llk_Li{@nx^lchrDJ@�h~jyl \ i{h._LD�9<>rDVlc@C9&jCl�D+o�yl�i�9$�l \ l�_n6

Page 10: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w l�_7�ylch�ylb9$>.DVlc@C9�_JjCl*D¡l�_LDV_8Jylch�ylb9�lb9:jCl�_7_�ylnp�@rlch.mPl�_¥jCl�DVl�_LDV_¥�>¤�c>^9�D|;-9j � @�h \ i�j��lbB l~jCl}B >_P��ylnmr; z{mn>.DL; i{h._n6§ l�_LDV_�9�lbB >rD|; s<_��>}jCl�_�i   ��lnmPD|; s<_¢j�l�D¡l�_LDV_�_P�?ylnmr; z{p�@rl�_n6g lb9 \ l�D�j�l�ÏGxb>�B ; j�lb9�ÐÕB l*_1�._LDL�l \ l}9�yl�lbB{_�>Ahr_JB l�x.iA;-9V6

Page 11: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����%4 �¼½)��1�����.�����.����¾0� �¿�/��������¦���3�����-���

w >k_S; \ @CB >.D|; i{h}_LD¡i�mbo^>._LD|; p�@.lw l�_��^9Xi�mPl�_L_�@._7_LD¡i�mbo^>._LD|; p�@.l�_¢>1�¡i{@rDVlchrD�jA>Ahr_JB >}j�l�_|m^9<;-�^DL; i{hµj�l�__1�._LDL�l \ l�_tj�l�_���9$>Ah.jClc@�9�_��b9�i   >   ;-B ; _LDVl�_n6� >�B mb@�B lb9&j�l�_��b9�i   >   ;-B ; DCyl�_k9XlbB >.DL; x^l�_��>}jCl�_J�b9�i��b9<;�yl�DCyl�_n6Î0i \ >c;�h.l}�b9<; xc;�B<yl��A;²yl�l¤j�l}B >~_n�@C9�l�DCylkj�l�s$i{h^mPDL; i{h�hrl \ lchrDP6

Page 12: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

��Ö?�?�-�'%&�×(& -�'���]�^����¾0� Ø¿�/����������������������

Ù�Ú Û Ü Ý Þàß Ý áØâ Û Ú Þ ã Ý áä�å Ü ã Ý æ â Ý áçè éê

Ù-ë æ â Ý ì í Ü ë æGÚ Þ â Û Ü í Ý â í î Þ Ýï ë ßqðÝ ñ ÝÔò ë Þ ó$Ý ñô ìØõÝ â Ü ö â Ú í Ü ë æ<ñ ë ã Ü ÷ î Ýçè éê

Ù-ë æqâ Ý ì í Ü ë æGß�õÝ í Ú Ü ñ ñ õÝ Ýï ë ßuðÝ ñ ÝÔò ë Þ óXÝ ñø ë æ æØõÝ Ý áØÚ ù á í Þ Ú Ü í Ý áçè éê

ú ó$ì ñ õÝ ó$Ý æ í Ú í Ü ë æá ë î Þ â Ý�Ùàû ü ø üâ ë ß ÝXâ Ý Þ í Ü öØõÝçè éê

ý Ý á í á�î æ Ü í Ú Ü Þ Ý áçè éê

ý Ý á í áØÜ æ í õÝ ã Þ Ú í Ü ë æá õÝ ÷ î Ý æ â Ý á�ß ÝÔí Ý á í áçè éê

þ Ý â Ý í í Ýø ë â î ó$Ý æ í áÙ-ë æ ö Ú æ â Ýçè éê

Ù-ë æqâ Ý ì í Ü ë æGÿ ë Þ óXÝ ñ ñ Ý� � � � ���

þ Ú �Xæ Ý óXÝ æ í� � � � ���

�� �� õÝ Þ Ü ö â Ú í Ü ë æGß Ý�óXë ßqðÝ ñ Ý á

� Ú æ ã Ú ã Ý áØß�õÝ ß Ü õÝ á�õÝ æàõÝ Þ Ú í Ü ë æ<ß Ý�â ë ß Ý á� � � � ����� ú æ í Ý Þ ì Þ õÝ í Ú í Ü ë æGüØù á í Þ Ú Ü í Ý Þ Ý î � Ý á

� � �� ���

� � �� ���

� � � � ���

��õÝ æØõÝ Þ Ú í Ü ë æ<ß Ý�í Ý á í á

Page 13: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

e � " �

f g >Ah.iC9$> \ >kj�l�_7DVlnmbo�hb;qp�@rl�_ts$i�9 \ lbBuB l�_v w >kx?ylb9G; z{mn>rD|; i{h}s<iC9 \ lbBuB l~jCl \ i�jA�lbB l�_� �}�n�A���k�$���

w l��^9Xi���l�D �}�n�A���k�$���w l�B >Ahr��>.�cl �}�n�A���k�$��� �>~D�9$>rx^lb9�_�@�h.l�yl�DS@^jClkj�l�mn>._

� w�� >Ah^>�B �^_Ll*j � @Ah \ i�jA�lbB l �}�n�A���k�$���w >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l�_w >k_1��hrD+o^�l�_Llkj�l*mPi{hrDS9��i�B lc@�9�_��; _S; \ @CB >.D|; i{h}l�D�_S; \ @�B >.DL; i{hr_

� � i{h.m^B-@r_S; i{h

Page 14: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� " (*)���+ -,�� " �� ����'���¦���3���X���'%&� ���4%� ���-���

w lµ�b9<;�h^mr;-�Clw l*_1�._LDL�l \ l�l�_LD¢9�lb�b9Pyl�_LlchrDCyl¤�c>^9�@Ah \ i�j��lbB l���Çw l�_tl+¨C; �clch^mPl�_¢_Li{h.D4j&ylnm^9G; D¡l�_k�b>b9�@�h.l}�b9�i��b9<;²yl�DCyl���ÇƦh*x�ylb9<; z{mn>.D¡lc@�9&j�l \ i�j��lbB l�_��b9�lch.j¤lch~lchrDS9Pyl�lkj � @Ahrlµ�c>^9�D��½Çj � >A@rDS9�lµ�c>^9�D��Õl�D¥9�ylb�Ci{h^j��{Â�Ä�������Ä�� ��Â�Å!�¬Å!"�Ä¢�>¤B >}p�@.l�_LDL; i{h�$# %&��ª�Î0l}��B-@r_�Ç�;-B��Clc@rD�s<i{@C9�hc;-9�@Ahrl�l+¨���B ; mn>.D|; i{hÒB i�9�_|p�@.l�B >9Pylb�Ci{hr_Ll*l�_LD¥h�yl���>.D|; x.lC6

' h.i \   9�lc@n¨}i{@.DL;�B _¥>^mn>^j&yl \ ; p�@.l�_¢j�; _P�Ci{hb;   B l�_n6

Page 15: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� " (*)���+ -,�� " �� ����'���¦���3���X���'%&� ���4%� ���-���

w l�_�B ; \ ; DVl�_tD+o�yl�i�9<; p�@.l�_w l�_tmPi{@���B l�_ È m^B >._L_LlkjCl \ i�jA�lbB l�_�Ç?B ic�A; p�@.l.É��Ci{@�9:B l�_|p�@rlbB _*B l��b9�i   B �l \ ll�_LD�j&ylnmr; j�>   B lC6

( �._LDL�l \ l�_�z�hb; _*)�D¡i{@.D¡l�_�B l�_�B ic�A; p�@rl�_JmPi \ �Ci�9�DVl \ lch.D1>�B l�_7_Li{h.Djylnmr; jA>   B l�_n6( �._LDL�l \ l�_¢;�h.z�hb; _+)��^9Xl�_|p�@rl�9<; lch¬h � l�_LD�j&ylnmr; j�>   B l ' yl�[email protected]�_¢jCl_1�._LDL�l \ l�_¥;�h.z�hb; _��c>^9�D|; mb@CBq; lb9�_ È-, j g Ç�>rx.lnm�mPi \ �.DVlc@C9X_�Ç/.�À0. � ÇD¡l \ �CiC9<; _Ayl�_SÉJ�Ci{@C9�B l�_|p�@.lbB _¢j�l�_�s¡9$>.� \ lchrDV_7jClµB ic�A; p�@.l�_¢_Li{h.Djylnmr; jA>   B l�_n6

' h.i \   9�lc@n¨}DS9$>rxb>A@n¨}jCl}9Xlnmborlb9Xmbo.l�_tD+o�yl�iC9<;qp�@rl�_n6

Page 16: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� " (*)���+ -,�� " �� ����'���¦���3���X���'%&� ���4%� ���-���

w l�_�B ; \ ; DVl�_��b9$>.D|; p�@.l�_w l�_ \ >^mbob;Øhrl�_�l�D¥�b>^9¦B l�_tDVlnmbo�hc; p�@.l�_�@rD|;-B ; _�yl�l�_~�Ci{@C9mPi�j�lb9�B l��9$>��Aorl*lch \ yl \ iA;-9Xl È l+¨A�AB ; mr; DVlcÇ0�:Î7Î�Ç{i�9Xj{9�l��b>^9XDL; lbB-Ç�Î7�21 6�6n6�É+65:[email protected] l \ lchrD7j�l}B � iC9Xj�9�l}jCl Z aca�xb>^9<;u>   B l�_   i�i�B<yl�lch�h.l�_n6w >*xc>CBq; j�; DCylµj�@ \ i�jA�lbB l��36w >~j�; ѵmb@CB DCyl}j�l}B � ylnm^9<; D+@C9�lµj�l3�6

' h.i \   9�lc@n¨}DS9$>rxb>A@n¨}jCl}9Xlnmborlb9Xmbo.l�_¥>�B �ciC9G; DSo \ ;qp�@rl�_¥l�D\ yl�DSo.i�j�i�B ic�A; p�@.l�_n6

Page 17: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

e � " �

f g >Ah.iC9$> \ >kj�l�_7DVlnmbo�hb;qp�@rl�_ts$i�9 \ lbBuB l�_v w >kx?ylb9G; z{mn>rD|; i{h}s<iC9 \ lbBuB l~jCl \ i�jA�lbB l�_� �}�n�A���k�$���

w l��^9Xi���l�D �}�n�A���k�$���w l�B >Ahr��>.�cl �}�n�A���k�$��� �>~D�9$>rx^lb9�_�@�h.l�yl�DS@^jClkj�l�mn>._

� w�� >Ah^>�B �^_Ll*j � @Ah \ i�jA�lbB l �}�n�A���k�$���w >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l�_w >k_1��hrD+o^�l�_Llkj�l*mPi{hrDS9��i�B lc@�9�_��; _S; \ @CB >.D|; i{h}l�D�_S; \ @�B >.DL; i{hr_

� � i{h.m^B-@r_S; i{h

Page 18: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � ��1�54n���76&8:9<;�=?>�@�;

w l�_7i   ��lnmPD|; s<_

node aComponentflow ...state ...trans ...

edon

AB CDEF

G<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<GG<G<G<G<G<G<G

H<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<HH<H<H<H<H<H<H

Petri Nets

AltaRica Descriptions

Transition Systems

Boolean Formulae

f

re

Page 19: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � ��1�54n���76&8:9<;�=?>�@�;

w l�_Òyl�DL>C�Cl�_ÌcdJIbÌcÌK){j&yl�z�hc; DL; i{h�Ç�mPi{hr_Li�B ; j�>.DL; i{h¤j�@�B >�h.��>.�cl*l�D4i{@rD|;-BuB >.�clC65�@V�¡i{@C9$j � o�@c;�Ç�p�@^>.DS9�l}B ; �{h.l�_¢j � i{@.DL;�B _tl�D�jCl�_¢mPi�BuB >   iC9$>.D|; i{hr_L)� � 5 ( �}�n�����*�<��� Φ>._L_�>�@�B D È _S; \ @�B >.DL; i{hAÇ�>^9   9XlkjCl�j&ylPsG>c;-BuB >�h^mPl.É( À01M.�Àq5ON4` 5�;�9   @._ È _S; \ @�B >.DL; i{h�Ç�>b9   9�lkj�l*j&ylPs²>b;�BuB >Ah.mPl.É�~�r�����k�$��� ÎP. 576 , >A@RQ+� È _LDVi�mbob>._LDL; p�@rlcÇ�>^9   9�l*j�l*j&ylPs²>b;�BuB >Ah.mPl.É

>^9XmbÇ \ lnm w >�� , À È _Ayl \ >AhrD|; p�@rl�l�D4x?ylb9<; z�mn>.D|; i{hbÉ+6§ �~�r�����k�$��� È À , �� �5S0É+6�~�r�����k�$���UT w @._LD�9�l È �2V , § � S V , 5�É+6�~�r�����k�$���XW § �A�Cl�_75   _LDS9$>c; DV_ È 5 � À g 9�i��¡l�D g lb9�_Ayl�l.É+6

Page 20: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � �3��%� ����� %&�'� " �-��/&��6&8:9Y;Z=?>�@[;

B l�_¥>�@.D¡i \ >.D¡l�_J�>}mPi{h.D�9$>c;�h.D¡l@�h*lch._Ll \   B lkj�lJxb>^9G;q>   B l�_3\ºCÇ@�h*lch._Ll \   B lkj � ylPx�ylchrl \ lchrDV_*]�Ç@�h*lch._Ll \   B lkj�l�D�9<>�h._S; D|; i{hM)

^ È \º^É _` ' \º*)a%cb È \ºcÉ^ È \º^É�l�_LDJ@Ah È l.É4��>^9$jCl È m+©L�>r©�j�@�h.l�l+¨A�b9�l�_L_S; i{h   i�i�B<yl�lch�h.l.É�l�D·+d ]�Ç@�hrl~>r_L_Llb9XDL; i{hLe È \ºbÉSÇjCl�_��b9<; i�9<; DCyl�_ È @Ah*i�9Xj{9�l��b>^9XDL; lbBqÉ�_�@�9f]76

Page 21: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� ����������������.��������% " �3����� " /�� %�/ � " ��� " �&�c6&8:9<;�=?>�@�;

1}i�j�@�B >^9<; DCylkl�D�mPi \ �Cic_S; DL; i{h�h^>   ;-B ; DCylw >¤oc;²ylb9$>^9Xmboc; lC6w l�_J;�hrDVlb9Ôs²>.mPl�_ È xc; _S;   ;-B ; DCyl.ÉJjCl�_7mPi \ �Cic_�>AhrDV_n6Î0l�_|m^9<;-�^DL; i{hµj � @�h¬hri�[email protected])

gihkjml npoqlartsuoql vwryx�h{z|l h~}~� �Pjw�p���o�h�oq��xthiz�l h~}~� �<jR�y�����m�gt��nUouz0h~r�nul oql vJr�n��gt��n�h�n�n��iz�oql vJr�ny�������[�-o���-o�h�opn��

Î0l�_|m^9<;-�^DL; i{hµj�l�_¥;�hrDVlb9$>^mPD|; i{hr_¢lchrDS9�l*mPi \ �Cic_�>�h.D¡_�)gt��n�h�n�n��iz�oql vJr�ny�������������o�h�opn���o2lar�op�iz���hts-��nUxil nula}R� ��n��gt��nUx���s-op�i�~z�n2jR�ynp�~r�si�Rz�vJr{l n�h�oql vwry����ir���{z�h~� l n����n��gt��nY�iz�l v�z�l oR���nU�ir�ouz������x���ir��i�f�{r�opn��

��; _S; \ @CB >.D|; i{hA6

Page 22: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� �'���������t �4�-�'%�/ � �(�� " / %7#¡/0���'��/�(��

w l*mn>Aob; lb9&j�l�_7mbo^>^9��cl�_w l�_1�^_LDL�l \ l*p�@.lµB � i{h~_Li{@�o^>c; DVl*mPi{h^mPlPx.iA;-9:l�_LD�mPi \ �Cic_�yl�)

j � @�h¤9�yl�_Llb9Ôx^iA;-9:mPi{hrDVlch^>AhrD�Ä���ÂnÁu��Â�¡¡Ãt_�@.Ñ}_�> \~\ lchrD¦j � lr>�@¤�Ci{@C9>CBq; \ lch.D¡lb9�B � l+¨A�AB iA; DL>.DL; i{hAÇj � @�h.l*mb@nx^lcÇjCl*j�lc@�¨}mn>Ahb>CBq; _�>.DL; i{h._¥> \ i{hrD¢9�lbB ;q>AhrD¥B l�9Pyl�_Llb9Ôx.iA;�94�>¤B >}[email protected]Ç�l�D�Clb9 \ l�DVDL>�h.D�j � > \ lchrlb9¦B � lr>A@¤�>¤B >[email protected]Çj � @�h.l*mn>Ah^>�B ; _�>.D|; i{h�>rxb>�B��Clb9 \ l�D¡DL>AhrD4jCl�xC; jClb9�B � lr>A@}j�l}B >}mb@nx^lcÇmbo^>^p�@.l*mn>Ah^>�B ; _�>.D|; i{h}l�_LD�ylnp�@b;-�?yl�l}j � @Ahrl�xc>Ah�hrl�mPi \~\ >�h^jA>   B lcÇ>rz�h~jCl}9�yl��{@CB lb9�B � >�B ; \ lchrDL>rD|; i{h}l�D¥B >kxc;qjA>Ahr�cl*j�lµB >~mb@nx^lcÇj � @�h}mPi{hrDS9��i�B lc@�9¡6

Page 23: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� �'���������t �4�-�'%�/ � �(�� " / %7#¡/0���'��/�(��

w l�_7_P�?ylnmr; z�mn>.D|; i{hr_¢ w l�hb; x^lr>�@}jCl�B >[email protected]; DJ9�l�_LDVlb9j�>Ahr_¥B l�_£QPi{h.l�_¢;�hrDVlb9 \ ylnj�;q>c;-9�l�_n6¤ V hks<i{h.mPD|; i{h~j�@¤h.i \   9�lkjClJxb>AhAhrl�_�lch¤�b>Ah�h.lcÇ�l�D�>��b9<�l�_*@Ahrl

ylPx.lchrD+@rlbB�B l��?ylb9G; i�j�l};�hc; D|;q>�B l�B >���B-@r_7mPi{@C9XD¡l}�Cic_L_S;   B lcÇ�B l�j&yl   ; D�jCl}B >xb>Ah�h.l*>nxc>�B�jCiA; D7�l�DS9�l�B lµ��B�@._7��9$>Ah.jÕ�Cic_L_S;   B lC6

Page 24: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

¥ ���×( " �0���

w >~jCl�_|m^9<;��.D|; i{hµD¡lnmboAhb; p�@rl§ 9XiA; _*hc; x.lr>A@�¨�jCl�j&yl   ; DV_3)�a�Ç Z l�D�`�6Î0lc@�¨}_S; �{h^>A@�¨�jClkmPi \k\ >Ah.jCl¦)�§R¨�©~l�Dyª¬«�©w >�9�i{@c;-BuB l�>rx.lnm~B l*DVl \ �^_¢�Clc@n¨   B i�p�@rlb94B >kxb>AhAhrlC6 w l*j&yl   ; D�h � l�_LD��B�@._ \ i�j�; z{>   B l

Page 25: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

¥ ���×( " �0���

w l*mPi�jCl �}�n�A���k�$���¨�­wª5«¯®�°~¨¬¨�«

±~² ° ² «ª5«m³´§ ²¶µ¸·�¹2º�»J¼½µ�¾¬¿ ³:À�§!©UÁ­m¨ µ ³�­!­5À µ�¾¬¿ ³:À5§¬©UÁ

«wÂ�«�¨ ²§R¨�© º ª5«�© º�¾ °�¨¬¨�« ºM² §iÃ:«2Á

²¬Ä °~¨ ±­m¨ ÅqƸ§{¨�©¯Æ¬Ç¯ª¬«m³´§ ²¶µ�È ª¬«m³´§ ²5É´Ê Á­m¨ ÅqƯª¬«�©¯Æ¬Ç¯ª¬«m³´§ ²¶µ�È ª¬«m³´§ ² Æ Ê Á­m¨ ÅqÆ ¾ °�¨¬¨�«&ƬÇc­�¨ µqÈ&Ë °!À ± «2Á²¬Äw¿ «ÌÅqÆ ² §iô«ÍÆ!Ç�Á

§R¨�§ ²­m¨ µqÈc²!Äw¿ « º ª5«�³�§ ²¶µqÈ͹ Á

«!ª¬­m¨

Page 26: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

¥ ���×( " �0���

w >k_Ayl \ >AhrD|; p�@rl �}�n�A���k�$���

debit=2,on=falsedebit=1,on=falsedebit=0,on=false

() (time)

debit=2,on=true

(panne)

() (time)

debit=1,on=true

(dec)

(panne)

(inc)

() (time)

debit=0,on=true

(dec)

(panne)

(inc)

() (time)

Page 27: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� " ��/�(��

w >~jCl�_|m^9<;��.D|; i{hµD¡lnmboAhb; p�@rlÎ @^>.DS9�l�mn>��.DVlc@C9�_¢p�@b;�j&ylbB ; \ ; DVlchrD [ QPi{h.l�_ È jClkaÒ�>+ÏAÉ+6Ʀh~jyl   ; D \ >n¨C; \ >�BA> \ i{h.D4j�l�Ï�6Ʀh~jyl   ; D \ >n¨C; \ >�BA>rxb>�B�j�l*`�6Î0l�_J9Pyl���B l�_Jj � ylPx.i�B�@.DL; i{h�j�@¬hb; x^lr>A@A6

nÐlwÑ{ÒyÓ~ÔmÕ/Ö×Ñ�ØqÑ{Ù�h~� v�z�n�j~h~r�n<� �<�Ú��ou�~zÛ�5� �£ril x���h~�Ph~���J�f�{r�op�{z�h�jR�[Ü{�nÐl!Ñ{ÒyÓ~ÔmÕ�Ý×Ñ�ØÐÑ{Ù:h~� v�z�nUj~h~r�ny� �Y�Ú��ou�RzÞ��� ��r{l x���h~�kj�la��larR���iz0hkjR��Ü{�nÐl!Ñ{ÒyÓ~ÔmÕàßáÑ�ØÐÑ{Ù5ßXâ[h~� v�z�nY� �[ril x���h~��r��Pst�th~r��R�iz0h��th�n��nÐl!Ñ{ÒyÓ~ÔmÕàßáÑ�ØÐÑ{Ù�Ö7â[h~� v�z�nY� �Y�Ú��ou�~z���n�o2la�k�iz-��-x{l nÐla}~� �{�¬gt��ril x���h~��ivJ�~zÞz�h[h~���w�f�ir�op�iz�jR��Üi�wjmla�ylar~���{z:j{��ÜyvJ��}{l �ir*z���npop�izàlar�si��h~r�����R�

Page 28: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� " ��/�(��

w l*mPi�jCl �}�n�A���k�$���¨�­wª5«&ã ¿ Â�«

Ë À!­mä °{ô­�¨ ²ÌµÍ·q¹�ºuå!¼ Á°mÂ�°!À µÍ·q¹�º�»J¼ Á

±~² ° ² « ¨´§� µ¸·q¹�ºuå!¼½µ�¾¬¿ ³�À�§!©UÁ«wÂ�«�¨ ² ² §iÃ:«2Á²¬Ä °~¨ ±

æ�°RÃ:­m¨ ²5È °mÂ�°!À�ç Å�Æ ² §tô«&Æ!ÇèÁæ�°RÃ:­m¨ ²5È °mÂ�°!À�çOéêæ�°JÂ�°¬À¬Ç ¹ çëÅ�Æ ² §tô«&Æ!Ç?¨´§� µ�È ¨�§� É�Ê Áæ�°RÃ:­m¨ ²5È °mÂ�°!À�çOéêæ�°JÂ�°¬À¬Ç ¹ çëÅ�Æ ² §tô«&Æ!Ç?¨´§� µ�È ¨�§�Â�Æ Ê Áæ�°RÃ:­m¨ ² Ǭ°mÂ�°!À�ç Å�Æ ² §tô«&Æ!Ç?¨´§� µ�È ¨�§� É�Ê Áæ�°RÃ:­m¨ ² Ǭ°mÂ�°!À�çOéêæq¨�§~ Ȭå ç Å�Æ ² §tô«&Æ!ÇèÁæ�°RÃ:­m¨ ²�ì °mÂ�°!À�ç Å�Æ ² §tô«&Æ!Ç?¨´§� µ�È ¨�§�Â�Æ Ê Áæ�°RÃ:­m¨ ²�ì °mÂ�°!À�çOéêæq¨�§~ È5¹ ç Å�Æ ² §tô«&Æ!ÇèÁ

§R¨�§ ² ¨´§� µ�Èí» Á«!ª¬­m¨

Page 29: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� " ��/�(��

w >k_Ayl \ >AhrD|; p�@rl �}�n�A���k�$���niv=1,amont=1,aval=1niv=3,amont=1,aval=1niv=3,amont=2,aval=2niv=1,amont=2,aval=2

() (time)

niv=1,amont=1,aval=0niv=1,amont=2,aval=0niv=3,amont=0,aval=1niv=1,amont=2,aval=1niv=3,amont=0,aval=2niv=3,amont=1,aval=2niv=1,amont=3,aval=0niv=1,amont=3,aval=1niv=1,amont=3,aval=2niv=1,amont=4,aval=0niv=1,amont=4,aval=1niv=1,amont=4,aval=2

() (time)

niv=0,amont=1,aval=1niv=4,amont=1,aval=1niv=4,amont=2,aval=2niv=0,amont=2,aval=2

(time)

niv=0,amont=1,aval=0niv=0,amont=2,aval=0niv=0,amont=2,aval=1niv=4,amont=0,aval=1niv=4,amont=0,aval=2niv=4,amont=1,aval=2niv=0,amont=3,aval=0niv=0,amont=3,aval=1niv=0,amont=3,aval=2niv=0,amont=4,aval=0niv=0,amont=4,aval=1niv=0,amont=4,aval=2

(time)

niv=0,amont=0,aval=0niv=0,amont=0,aval=1niv=0,amont=0,aval=2niv=0,amont=1,aval=2niv=4,amont=0,aval=0niv=4,amont=1,aval=0niv=4,amont=2,aval=0niv=4,amont=2,aval=1niv=4,amont=3,aval=0niv=4,amont=3,aval=1niv=4,amont=3,aval=2niv=4,amont=4,aval=0niv=4,amont=4,aval=1niv=4,amont=4,aval=2

(time)

niv=1,amont=0,aval=1niv=1,amont=0,aval=2niv=1,amont=1,aval=2niv=3,amont=1,aval=0niv=3,amont=2,aval=0niv=3,amont=2,aval=1niv=3,amont=3,aval=0niv=3,amont=3,aval=1niv=3,amont=3,aval=2niv=3,amont=4,aval=0niv=3,amont=4,aval=1niv=3,amont=4,aval=2

(time)()

niv=1,amont=0,aval=0niv=3,amont=0,aval=0

(time) ()

niv=2,amont=1,aval=1niv=2,amont=2,aval=2

(time)

niv=2,amont=0,aval=1niv=2,amont=0,aval=2niv=2,amont=1,aval=0niv=2,amont=1,aval=2niv=2,amont=2,aval=0niv=2,amont=2,aval=1niv=2,amont=3,aval=0niv=2,amont=3,aval=1niv=2,amont=3,aval=2niv=2,amont=4,aval=0niv=2,amont=4,aval=1niv=2,amont=4,aval=2

(time) niv=2,amont=0,aval=0

(time)

()

()

()

()

(time)

(time)

(time)

(time)

(time)

() (time)

() (time)

() (time)

(time)

(time)

(time)

(time)

()

()

()

(time)

(time)

() (time)

()(time)

() (time)

()

()

(time)

(time)

(time)

()

()

()(time)

() (time)

()(time)

() (time)

(time)

(time)

(time)

(time)

() (time)

() (time)

() (time)

(time)

(time)

(time)

(time)

()

()

()

()(time)

() (time)

() (time)

Page 30: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� �'���������t �4�-��/0�

w >~jCl�_|m^9<;��.D|; i{hµD¡lnmboAhb; p�@rlÀ�B�mPi \k\ >Ah.jCl}B l�_�xb>Ah�h.l�_¢>rx.lnm~B l�_ti   �¡lnmPDL; s$_¥jClµB >~_P�?ylnmr; z{mn>rD|; i{h�6

¢ w l�hb; x^lr>�@}jCl}B >}[email protected]µh.l*jCiA; D��1> \ >b; _�>.DVD¡l.;Øh.j{9XlµB l�_kQPi{h.l�_ta}i{@3Ï�6¤ w lkjyl   ; D7j�lµB >kxc>�hAhrl*>rxb>�BAj�iA; Dt�l�D�9XlµB l��AB�@r_J; \ �Ci�9�DL>�h.Dt�Cic_L_S;   B lC6

Æ�hkmPi{h.D�9��i�B lc@C90D�9<�l�_��Clb9 \ ; _L_S; sÀ�B�mboriA; _S; D�B l�_tmPi \~\ >�h^jCl�_7>�B<ylr>.D¡iA;-9Xl \ lch.D+6

Page 31: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� �'���������t �4�-��/0�

w l*mPi�jCl �}�n�A���k�$���î!ï~ðmñ×òmïtîJó�ôJï�õ~ñiöJô~÷wñ{ôiø�ù�ú�úRùiû

ñ{üJñiîJó7î!ïiý/þÿù�î�����þ�ù�î�����þ�ù�î����´þLðmñ�����þ¦ðmñ�����þLðmñ����þù�î����{ù�î�����þ-ù�î����Rù�î�����þuù�î����ðmñ�����þ-ù�î����ð~ñ���´þ�ù�î����wù�î���´þ�ù�î����{ðmñ����5þù�î����Rðmñ�����þ-ù�î����~ð�ñ�����þuù�î���Rðmñ�����þ�ð�ñ����ð~ñ���´þqð�ñ�����ðmñ����´þqð�ñ����{ðmñ����´þù�î����{ù�î����wù�î�����þLù�î����{ù�î����~ð�ñ�����þLù�î�����ðmñ����wù�î�����þLù�î�����ðmñ����~ð�ñ�����þðmñ����{ù�î����wù�î�����þ�ðmñ����{ù�î����~ð�ñ�����þ�ðmñ�����ðmñ����wù�î�����þ�ðmñ�����ðmñ����~ð�ñ�����

û�õ�ï�� ð���þ¦ð���þZð���������þ����� ���� õ�ñwú ðmñ���ùtó¬úKðmñJú ü��iî�î!ñwúî�� ���àþ"!��� ��� õ�ñ î�ùtümñ��iöáðmñXõ�� �töJüJñü#��þLü���þ¦ü����$�!ï~ï�õ� %��� õ�ñwúMý��tî�î!ñwúKðmñJú ü��iî�î!ñwú

ó~ô��iî�úó~ôRö!ñ'&�( î!ïiý�þ�ù�î����þ�ù�î�����þ�ù�î�����þ¦ðmñ����þLðmñ����´þZð�ñ�����þ

ù�î����{ù�î�����þ-ù�î����Rù�î�����þuù�î����ðmñ�����þ-ù�î����ð~ñ���´þ�ù�î����wù�î���´þ�ù�î����{ðmñ����5þù�î����Rðmñ�����þ-ù�î����~ð�ñ�����þuù�î���Rðmñ�����þ�ð�ñ����ð~ñ���´þqð�ñ�����ðmñ����´þqð�ñ����{ðmñ����´þù�î����{ù�î����wù�î�����þLù�î����{ù�î����~ð�ñ�����þLù�î�����ðmñ����wù�î�����þLù�î�����ðmñ����~ð�ñ�����þðmñ����{ù�î����wù�î�����þ�ðmñ����{ù�î����~ð�ñ�����þ�ðmñ�����ðmñ����wù�î�����þ�ðmñ�����ðmñ����~ð�ñ����(�)*

ñ~ðmïiî

Page 32: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � �b��b�� ����

w >~jCl�_|m^9<;��.D|; i{hµD¡lnmboAhb; p�@rlw l�_�or���CicD+o^�l�_Ll�_ È >._L_LliQ�m^B >._L_S; p�@.l�_SÉ�)

w l�_¢mPi \k\ >Ah.jCl�_Jh.lµ�b9�lch�h.lchrD¥�b>._7jCl*D¡l \ �._n6V h.D�9Xl*jClc@n¨¤�b>AhAhrl�_7l�D-I.i{@~m+�bm^B l¬± ·,+ Ê�³r» · ®�Ç�B l*mPi{h.D�9��i�B lc@C9��>D¡i{@1��i{@�9�_�B lkD¡l \ �._�j�l*jCi{hAhrlb9&>A@ \ iA;�h._�@�h~iC9Xj�9�lC6B l�_1�._LDL�l \ lµ�>~DVi{@V�¡i{@�9�_�B lkD¡l \ �._�jCl�9Pylr>r�A;�9&lch.D�9Xl*jClc@n¨mPi \k\ >Ah.jCl�_n6

Page 33: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � �b��b�� ����

w >¤ob; lb9<>^9Xmbob; l~l�D¢B l~mPi{hrDS9��i�B lî!ï~ðmñ.-/!útóJñ�ø

ú�ö�� 0#��þ10���þ20�3�$0�iî~î!ñ� Lò{ö4�LòiöJüJñ� ò�ï3�+òmïiîJó~ôJï�õ�ñiömô~÷wñRôiø�ù�ú�ú~ùtû�

ú�ó��RóJñ �RïiîJó�ôJï~õ�ñ5�$�wï�ï�õ� ù�î�ù�ó6�RïiîJó�ôJï~õ�ñ7�98 ó�ôRö!ñ: û�õ�ï��×î��m÷�tî�î!ñwú*� ���àþ���� ñ{üJñiîJó �Rï�ø�ø��iîJðmñ�þ3ó¬ù-ø5ñ� ó~ô��iî�ú �RïiîJó�ôJï~õ�ñ &�(;�~ï�ø~ø��iîwðmñ<(�) �RïiîJó�ôJï~õ�ñ7�98Xû���õwúiñ�

= �~ïiîJó�ômï�õ�ñ�&�(7ó¬ù�ø¬ñ (�) �RïiîJó�ôJï~õ�ñ7�98 ó�ôRö!ñ: �Jú�ú{ñRô�ó7>Úî��m÷�iî~î!ñwú?8 ��@A8B>C0#�ED�ïiî F.0�GD�ïiî;F.0�GDpïiîH@H

>Úî��m÷�iî~î!ñwú?8I��@A8B>�>90H�ED�ïiî;F.0�GDpïiî F = 0��GD�ïiîH@�&>90H�ED�ïiî;F = 0�JD�ïiî;F 0��GD�ïiîH@�&> = 0H�ED�ïtî;F;0�JD�ïiî;F 0��GD�ïiîH@�@H

>Úî��m÷�iî~î!ñwú?8���@A8B>�>90H�ED�ïiî;F = 0�JD�ïiî;F = 0�GD�ïiî#@J&> = 0H�ED�ïtî;F;0�JD�ïiî;F = 0�GD�ïiî#@J&> = 0H�ED�ïtî;F = 0��GD�ïiî;F.0�GD�ïtîH@�@H

>Úî��m÷�iî~î!ñwú?8���@A8B> = 0H�ED�ïiî;F = 0�JD�ïiî;F = 0�GD�ïiî#@H

Page 34: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � �b��b�� ����

w l�_�xc>^9<;q>   B l�_��b>b9�D1>.�yl�l�_�Jú�ú{ñRô�ó���LKJñwúM���iî��~õwù�ú��Ró!ù{ïiî�úò{öNDC��ø5ïiîJóM8M0H�EDÚðmñ,��ùtó�O0�GDpð�ñ,��ù�ó� ò{öNDC�{ü���õ 8M0�GDÚðmñ,��ùtó� ��� ÷wïiöJôáï,�5ú{ñRô�üJñ{ôXõ�ñwú ðmñ,��ù�ó¬úKðmñwúKü��iî~î!ñwúòmïGDpð��P8.0H�QDpðmñ,��ù�óJ òmïGDpð��<8.0�JDpðmñ,��ù�óJ òmïGDpð��<8.0�JDpðmñ,��ù�óJ ��� ÷wïiöJôáï,�5ú{ñRô�üJñ{ôXõ�ñ î�ùtüJñ��töáðmñáõ����tömüJñòmïGDÞî 8áò{öRDÞî�ùtüJ ��� ÷wïiöJôáï,�5ú{ñRô�üJñ{ôXõ�ñwúMý��iî�îwñwúKðmñwúKü��iî~î!ñwúòmïGDÚü��P8.0H�QD�ïiîS òmïGDÚü��<8.0�JD�ïiîS òmïGDÚü��<8.0�JD�ïiîS

Page 35: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � �b��b�� ����

w l�_tmPi \~\ @Ahb; mn>.D|; i{hr_úT/Rî�����×õ�ñwú<���{ó¬ùiïiî�ú ð{öU�~ïiîmó�ôJï�õ�ñtöJôV �~ï�ø~ø��iîwðmñ´þ3òmïGDqù�î�����þW0H�EDÐù�î���):

D�D�DV �~ï�ø~ø��iîwðmñ´þ3òmïGDqù�î�����ð�ñ�����þX0H�EDÐù�î��´þ$0�GDÚðmñ���):

D�D�DV �~ï�ø~ø��iîwðmñ´þ3òmïGDqù�î����Rù�î����~ðmñ�����þY0H�EDÐù�î��´þZ0�GDqù�î��´þ$0��GDpðmñ���):

D�D�DV �~ï�ø~ø��iîwðmñ´þ3òmïGDÛî!ïiý�): ���×õ�ñwú<���{ó¬ùiïiî�ú ð{ö?ú�/¬ú�óJñ�ø5ñ���×õ�ñwú ý��iî�îwñwú ïiîJóáõwù{ñtöXýwñiîwð��iîmó ö�î[��/�~õ�ñV ó¬ù�ø¬ñ�þLò{öNDÚó!ù�ø5ñ�þ$0#�EDÞý��iî~î!ñ�þ$0�JDÚó¬ù�ø5ñ´þ$0�GDÚó!ù�ø5ñ�): V ó¬ù�ø¬ñ�þLò{öNDÚó!ù�ø5ñ�þ$0#�EDÚó¬ù�ø¬ñ�þ$0�GDÛý��iî�î!ñ´þ$0�GDÚó!ù�ø5ñ�): V ó¬ù�ø¬ñ�þLò{öNDÚó!ù�ø5ñ�þ$0#�EDÚó¬ù�ø¬ñ�þ$0�GD ó¬ù�ø5ñ�þW0�GDÞý��tî�î!ñ�): ���LKJñ×óJñ�øJý�ú úQ\qñ��~ïiö!õ~ñ î!ïRôiø���õ�ñ�ø5ñtîJóV ó¬ù�ø¬ñ�þLò{öNDÚó!ù�ø5ñ�þ$0#�EDÚó¬ù�ø¬ñ�þ$0�GD ó¬ù�ø5ñ�þW0�GDÚó¬ù-ø5ñ�):

ñ~ðmïiî

Page 36: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

� � �b��b�� ����

w >k_Ayl \ >AhrD|; p�@rl��]]L^ útó��RóJñ ýJôJïiýwñRô�ó¬ù{ñJú_�`�]]Xù�î�ùtó¬ù,��õ<8I�]<�iî�/aJúA8I��b�c��]]L^Xó�ô��iî�ú�ùtó!ù{ïiî7ýJômïiý!ñRô�ó!ù{ñwú_�`d]]7ñiý�ú�ù{õ~ïiî 8I�Tb�c��]<�iî�/a{ó.8�e����!]Xú{ñ�õ~û�aRñiý�ú�ù{õ~ïiî.8f��b�c��]Xú{ñ�õ~û.8f��b�c��] î!ïRóaRð�ñRóJñRôiø�ù�î�ù�útó!ù��P8I������]�

Page 37: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

e � " �

f g >Ah.iC9$> \ >kj�l�_7DVlnmbo�hb;qp�@rl�_ts$i�9 \ lbBuB l�_v w >kx?ylb9G; z{mn>rD|; i{h}s<iC9 \ lbBuB l~jCl \ i�jA�lbB l�_� �}�n�A���k�$���

w l��^9Xi���l�D �}�n�A���k�$���w l�B >Ahr��>.�cl �}�n�A���k�$��� �>~D�9$>rx^lb9�_�@�h.l�yl�DS@^jClkj�l�mn>._

� w�� >Ah^>�B �^_Ll*j � @Ah \ i�jA�lbB l �}�n�A���k�$���w >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l�_w >k_1��hrD+o^�l�_Llkj�l*mPi{hrDS9��i�B lc@�9�_��; _S; \ @CB >.D|; i{h}l�D�_S; \ @�B >.DL; i{hr_

� � i{h.m^B-@r_S; i{h

Page 38: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

g " �� �% " �A -��� ��� g )��+ �,�� " �A -���

w >*xb>�B ; j�>.DL; i{hÀ�BAsG>A@rD4_ � >._L_�@C9�lb9p�@rl�B l \ i�j��lbB l*l�_LD¬ÏL9Pylr>�B ; _LDVl�Ð�6

yV DL>.D¡_J��@b; DV_�ª..i�9�DVlkmPi{h�h.l+¨C; DCyl~j�@*��9$>���orlª� i \ �CiC9�DVl \ lchrDV_¢;�hr_LDL>   B l�_�ª6à6à6( ; \ @CB >.D|; i{hA6

w >*x?ylb9<; z{mn>.D|; i{hg 9�i��b9<;�yl�DCyl�_�jCl�_n�@�9�l�DCyl�)�sG>^mr;-B l�_t_�@C9�@�h*��9<>C��orl�z�hc;Ø6g 9�i��b9<;�yl�DCyl�_�jClJxC; xb>^mr; DCylcÇ�j � ylnp�@b; DCylM)�B ;�yl�l�_�>�@n¨¤�b9�i��b9<;�yl�DCyl�_�jCl�s<iC9�DVl�_mPi{h�hrl+¨�; DCyl}jA>Ah._�@�h*��9<>C��orl�z�hc;Ø6

Page 39: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

g " �� �% " �A -��� ��� g )��+ �,�� " �A -���

w l*mPi�jCl �}�n�A���k�$���hji"k�l`m�npo"krq9stvuoCl u h�wyx{z{zj| }�~��"�p�"�r���r���r�����vqvo�~{�t q{x t ��� x��rnv�ro$�$oC�p�,wyx��rnv��k2�$o�q{z��v��q��jo{i�z u ��|��� u kr���v� ��� x��rnv��k`�Xz u{u ��wyx��rnv��k���x��rnv��kT|���ji"�rq{x��v� ���A� �������ji"� � ������ji"�rq{x��r� ���A� �������ji"� � �{���� u �v� u �rk�� u z{q ��� z{x� vq{z$kpi¡sTq��� u �rk�� u z{q ��� z{x� vq{z2� u s{sTx�� t q����¢ ��� �ji"�rq{x��v�<£S�ji"�rq{x��r�L£ t q{x t �u �rkr¤ ���A�¦¥v§ � t q� ji"k � ¤����� u �rk�� u z{q�¨{� ��� � u �rk�� u z{qZ©Wz{x� vq{z ¥v§ ��iC�p��� u �rk�� u z{q�� u h{� ��� � u �rk�� u z{qZ©Wz{x� vq{z ¥v§ � t qr�����v�rªC�jo"krx� vz{q ��� z u{u ��wyx��rnv��k���� u �v� u �rk�� u z{q�£«wyq��jo{i�z u �p�ro�q{z��v��q��jo{i�z u ��|r|��¬{¬ o u �rkpi�q t qvo­�vqvoC�vz�krx�kpooCl u h�wyx{z{zj| }�~��"�p�"�r���r���r�����vqvo ¥{¥ ~{�krqvo"kw t q{x t ���j| }�~��"�p�"�r���r���r�����{� u � ¥{¥ ~{�krqvo"kw�� u kr���v�����j| }{}�~��"�p�"�r���r���r�����{� u � ¥{¥ ~{�krqvo"kw���¢����j| }{}�~��"�p�"�r���r���r�����{� u � ¥{¥ ~{�krqvo"kw¡���v�rªC�jo"krx� vz{q����j| }{}�~��"�p�"�r���r���r�����{� u � ¥{¥ ~{�tvu �vq

Page 40: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

g " �� �% " �A -��� ��� g )��+ �,�� " �A -���

w l�_�9�yl�_�@�B D1>.DV_3)��b9�i��b9<;�yl�DCyl�_�j � yl�D1>.DV_®#¯¯f° ±~² ° ² « ¾�Ä ­ ¾ « Ĭ² §J« ± µA±¯¯?­ ¿�²�»¯È³²�´!¹¯&§{¨�§ ² §w°!À È Ê¯ ª¬«5°wª È͹¯¯°~¨#µH¶ ± È Ê�·�²´Ê¯ ¨´§�Â�«¬° ¿�¹¯È »¬»wå¯ ¨´§�Â�«¬° ¿�åcÈ7¸�¹�¸¯Uº» ȳ²:Ê�±¯�®

Page 41: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

g " �� �% " �A -��� ��� g )��+ �,�� " �A -���

w l�_�9�yl�_�@�B D1>.DV_3)��b9�i��b9<;�yl�DCyl�_�jCl�DS9$>Ahr_S; D|; i{h._®#¯¯f° ²¬Ä °�¨ ± § ² §J­�¨ ¾�Ä ­ ¾ « Ĭ² §J« ± µ ʬʯ¯&©m­m¨ ²!Ä ­¬À!«�¼ ¾ÍÈ7·5»�ʯ&©m­m¨ ²!Ä ­¬À!«�½�­Jäw¨ ȳ·�´²¯&© Ë ©�¾i¨ ±R² °�³�À!« È ¹¯?« ¾à± §JÀ!­�¨ È Ê�·�²:ʯ¯°~¨#µH¶ ²Íȳ¹�¸�¸!å¯ ± «5À Ë ¶!« ¾à± §JÀ!­�¨ È Ê�·�²´Ê¯ ¨�­ ² ã�¿�ã È »²�²´Ê¯ ¨�­m¨�ã!­m¨ ²¬Ä ­¬À!« È5¸�¸´Ê¸¯&©m­m¨ ²!Ä ­¬À!« È&å´Ê�²¬¹¯ ± «5À Ë&È Ê·�²:ʯ ¨�­ ² ¶Jª5« ² « Ä Ã §{¨�§ ±R² §!© È Ê¸¬¹¬¹¯�®

Page 42: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w lµ�b9�i   B �l \ lV _LD¡©V;-B��Cic_L_S;   B lkjCl�mPi{h.D�9¡�i�B lb9Aª( ;�i{@c;�Ç�mPi \~\ lch.D{ª

5&x^lnmµ@�h*x?ylb9<; z{mn>.DVlc@C91}l�D¡DS9�lµ@�h}mPi{hrDS9��i�B lc@�9kÏL�Clb9 \ ; _L_S; s1ЬjA>Ahr_JB l \ i�j��lbB lC6� >�B mb@�B lb9�B l���B-@r_7��9$>Ah^j�mPi{hrDS9��i�B lc@�90_n�@C9¡6 È-, > \ >^j��cl$Á³Â�i{h�ob> \ É+6Ï g 9�i��¡l�DVlb9�Ð2B l*mPi{hrDS9��i�B lc@�90_�@C9:B lkmPi{hrDS9��i�B lc@C9��Clb9 \ ; _L_S; sL6

Page 43: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w�� ; j&yl�lµj�l}B >~_P�?ylnmr; z{mn>.DL; i{h¬{ÃYÄ qvoXq�Å��vx�kpi u �jo$��z{xvo{o{i"Å��vqvoà � t qZo"k��vx�k�Æq�Çpi�qvoXÇrx�Ç��vx��rkrqvoà �Wq�k t qZo"n��rk�l�Èqvo�q t qZ� u �rk���Éu z{q��{�joà � u �{�r�$�vq��{�Æqvo�q��rkrqZz{qvoXxr��kpi u �jo t �$Ê u �vq��{�2� u � t �2� u �rk�� u z{q��{�à � u �{�{ËZ�vq��{�Æqvo�q��rkrqZz{qvoXxr��kpi u �jo t �$Ê u �vq��{�ZË u � t �`o"npo"k,Èq9sTqÃ�Ì x�Ç��vqW�vq��{�Æqvo�q��rkrq t qvoW� u �r�pi"Ç��{�vx�kpi u �jo t qÍ�à �Íz{qvoW� u �r�pi"Ç��{�vx�kpi u �joÎÈxXx�k{krqviC� t �vqZz u �jo t ~��{�W�{�{�r�à �Íz{q$� u sp�vz�Æq9sTq��rkrxviC�vq t qvoX� u �r�pi"Ç��{�vx�kpi u �joÎÈx?Æq��pi"krq��2z u �jo t ~��{�W�rÇ��r�Ã�Ï q�� t �Z�vq��{�Æqvo�q��rkrq t qvoW� u �r�pi"Ç��{�vx�kpi u �jo t qYËà �Íz{qvoW� u �r�pi"Ç��{�vx�kpi u �joÎÈxXx�k{krqviC� t �vqZz u �jo t ~��{�W�{�{�r�Ðw�� u �{�ZÅ��vqX�2o u i"kWÇrx�Ç��vx��rkT|à �Íz{qvoW� u �r�pi"Ç��{�vx�kpi u �joÎÈxPÆq��pi"krq��2z u �jo t ~��{�W�rÇ��r�Ðw�� u �{�$Å��vq$�Zo u i"k$Çrx�Ç��vx��rkT|Ì x�Ç��vx��rk � Ì x�Ç��vqA£¦©ZÑ{Ñ?£R� u �{�W�{�{�r�$q�kW©X� u �{�$�rÇ��r�oC�p�,wy� u �{� Ì x�Ç��vx��rkT|��� u �{� Ì x�Ç��vx��rk � � u �{�r�W©X�rk{Ç{kw Ï q�� t x��rkT|��Ï q�� t x��rk � Ï q�� t �L£¦©ZÑ{Ñ?£R� u �{�W�{�{�r�$q�kW©X� u �{�$�rÇ��r�w�oC�p�,wy� u �{� Ï q�� t x��rkT|Z�WoC�p�,wy� u �{�{� u � Ï q�� t x��rkT|{|��� u �{� Ï q�� t x��rk � � u �{�{Ë$©X�rk{Ç{kw Ì x�Ç��vx��rkT|��� u �{�{� u � Ï q�� t x��rk � � u �{�{Ë2�Y�rk{Ç{kw Ì x�Ç��vx��rkT|��Ã{¬

Page 44: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w >k_P�?ylnmr; z{mn>.DL; i{h�jCl�_7mPi{h.D�9��i�B lc@C9�_Ò�Ó�Ô�ÕSÖ�×yئÔ�ÙÛÚÜÞÝ ßÞßHà�áÞâÞã�ä�â�áGå�æ�çÞè�á�æ�éÞâ�ê�áìëîí ÙHÚ Ý Ó¦ï¡Ø Ý�ð ÔyÓñÚ¡ò í�óßÞßQí Ù�ØEò�ô�Ô�Ó Ý ï¡Ø Ü Ù�ô Ý ï�ÔÞõ Ý í Ù ðyÝ�ö õGÙ�÷�Ó�Ô�Ù�õ âÞáùø ð�ú�ð�ûü ò ú ï�Ù âÞáýø þ ØÛõyô ë ô Ý ï�Ô�õ Ý í Ù óSÿHâ�á��à Ù�õ Ü�ö âÞáýø þ ØÛõyô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù ó ÿHâ�á��å Ô�õ í�â�á ÿ�þ ô Ý ï�ÔÞõ Ý í Ù��õ�Ô ú Ô ë à Ù�õ Ü�ö âÞá �ë ئõyô ë ï Ý ï å Ý ï�ÔÞõ Ý í Ù��Eõ�Ô ú Ô ë ü ò ú ïyÙ âÞá ��ØÛõ¡ô ëîå Ô�õ í�âÞáyóÞó�ó�ÿØÛõyô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù ÿ õ�Ô ú Ô ë ü ò ú ïyÙ âÞá ��ØÛõ¡ô ëîå Ô�õ í�âÞáyóÞó�óÞóÞó��ßÞß � ê�èÞáÞâJå�æ�çÞèÞá�æ�é�â�ê�áìë í ÙHÚ¡Ù�Ó íÞí Ù ö õ ð�Ý ØÞØ�Ó�� í Ù óßÞßQí Ù�ØEò�ô�Ô�Ó Ý ï¡Ø Ü Ù�ô Ý ï�ÔÞõ Ý í Ù ðyÝ�ö õ�õ�Ù�Ø�Ô�Ù�õ Ü ò�ï�Ø Ý�ö Ô�Ù�Ô ð�Ý�ö õJÙ�÷yÓ�Ô�Ù�õ âÞá ø ð�ú�ð�ûü ò ú ï�Ù æ ö Ô â�á ø þNë ØÛõ¡ô ë ô Ý ï�Ô�õ Ý í Ù ó � Ý�ö Ô� ó:ÿHâÞá��à Ù�õ Ü�ö æ ö Ô â�á ø þNë ØÛõ¡ô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù ó � Ý�ö Ô ó�ÿHâÞá��å Ô�õ í�æ ö Ô âÞáMÿ�þ ô Ý ï�Ô�õ Ý í Ù �õ�Ô ú Ô ë à Ù�õ Ü�ö æ ö Ô� â�á �ë ØÛõyô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù��Eõ�Ô ú Ô ë ü ò ú ï�Ù æ ö Ô� â�á �JØÛõyô ëîå Ô�õ í�æ ö Ô âÞáyó�óÞó�ÿØÛõyô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù ÿ õ�Ô ú Ô ë ü ò ú ï�Ù æ ö Ô� â�á �JØÛõyô ëîå Ô�õ í�æ ö Ô âÞáyó�óÞóÞó�ó��ßÞßQí Ù�ØEò�ô�Ô�Ó Ý ï¡Ø Ü Ù�ô Ý ï�ÔÞõ Ý í Ù ðyÝ�ö õGò�ÔÞÔ�Ù�Ó¦ï Ü õyÙ å Ô�õ í�æ ö Ô â�á ø ðÞðÞð�ûü ò ú ï�Ù à õ�Ù æ ö Ô âÞá ø þ ØÛõyô ë å Ô�õ í�æ ö Ô âÞá�óGÿQâÞá��à Ù�õ Ü�ö à õ�Ù æ ö Ô âÞá ø þ Ô ú Ô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù ó ÿHâ�á��ßÞß ôÞò í ô ö í Ü�� ö ï ð õ�Ù�òÛÚ�� ö í Ù í Ù ð í ö Ø Ý�ð Ô�ÓñÚ¡ò í ð�Ý ØÞØ�Ó�� í Ùå Ô�õ í�à õ�Ù æ ö Ô� âÞá � þ ô Ý ï�Ô�õ Ý í Ù ê ð �õ�Ô ú Ô ë à Ù�õ Ü�ö à õyÙ æ ö Ô� â�á �ë ØÛõyô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù��Qõ�Ô ú Ô ë ü ò ú ï�Ù à õ�Ù æ ö Ô â�á � ØÛõyô ë å Ô�õ í�à õ�Ù æ ö Ô� âÞá�óÞó�ó�ÿØÛõyô ë ï Ý ï å Ý ï�Ô�õ Ý í Ù ÿ õ�Ô ú Ô ë ü ò ú ï�Ù à õ�Ù æ ö Ô â�á � ØÛõyô ë å Ô�õ í�à õ�Ù æ ö Ô� âÞá�óÞó�óÞó�ó��ÜÞÝ ï�Ù

Page 45: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w l*mn>�B mb@�B�j�l�_tmPi{hrDS9��i�B lc@�9�_hji"k�l`m�npo"krq9stvu¬{¬­Ä q2o"npo"k,Èq9sTq$qvo"kv�ri�zZ� u �rk�� u z{x� vz{q� u �rk�� u z{x� vz{q���¢ ��� iC�ji"kpi�x{zW©ZoC�p�,wy��k��vz���¢�|��� u �rk�� u z{x� vz{q Ï �vqr�"�rkr¤���¢ ��� iC�ji"kpi�x{zW©ZoC�p�,wy��k��vz Ï �vqr�"�rkr¤���¢�|��¬{¬ z{qvoXq��{�vq��{�jo t q$� u s{sTx�� t qW� u o{o{iC vz{qvo���{�vq��{�v� u �rk�� u z{q���¢ ��� � u �rk�� u z{q2�W��k��vz���¢�����{�vq��{�v� u �rk�� u z{qr�"�rkr¤���¢ ��� � u �rk�� u z{qZ� wy��k��vzr�"�rkr¤���¢.£N��k��vz Ï �vqr�"�rkr¤���¢�|��¬{¬YÌ Æq��Æq��vx�kpi u � t qvoÍk�� u i{oW� u �rk�� u z{q��{�jo�{� u Ê{qr��kwyx��rnv�ro��«��k��vz���¢��Z~�� u �rk�� u z{q��{�p�"�rkr���C¤r�{�"�p�"�r�{�r���r��~{�­k��{�vq��ì� u |} ~Þ�rz�k ¬ � u �rk�� u z{q��{�p�"�rkr���C¤r�{�"�T�"�r���v���r���Þx{z�k�~{��{� u Ê{qr��kwyx��rnv�ro��«��k��vzr�"�rkr¤���¢�£���k��vz Ï �vqr�"�rkr¤���¢�� ~�� u �rk�� u z{q��{�p�"�rkr¤r�{�"�p�"�r���r�{�r��~r� k��{�vq�� � u |} ~Þ�rz�k ¬ � u �rk�� u z{q��{�p�"�rkr¤r�{�"�p�"�p���r���v���Þxrz�k�~{�¬{¬ o u �rkpi�q t qvo­�vqvoC�vz�krx�kpooCl u h�wyx{z{zj| }�~��"�p�"�r���r���r�����vqvo�m{��~{�krqvo"kwy� u �rk�� u z{x� vz{q���¢����{| }Î~��"�p�"�r���r���r�����{� u �vm{��~{�krqvo"kw����{�vq��{�v� u �rk�� u z{q���¢����j| }{} ~��"�p�"�r���r���r�����{� u �vm{��~{�krqvo"kwy� u �rk�� u z{x� vz{q Ï �vqr�"�rkr¤���¢���{| }{} ~��"�p�"�r���r���r�����{� u �vm{��~{�krqvo"kw����{�vq��{�v� u �rk�� u z{qr�"�rkr¤���¢���j| }{} ~��"�p�"�r���r���r�����{� u �vm{��~{�tvu �vq

Page 46: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w l�_�9�yl�_�@�B D1>.DV_3)��b9�i��b9<;�yl�DCyl�_�j � yl�D1>.DV_¬{ÃÃ�� o"krx�krqÍ�{� u �vq��rkpi�qvo � ���Ãà u �rkr¤ ��� �{�ÃYÌ x�Ç��vq���¢ ��� ���ÃYÏ q�� t �r��¢ ��� ¤��ÃYÌ x�Ç��vqr�"�rkr¤���¢ � ¤�� §ÃYÏ q�� t �p�"�rkr¤���¢ � ¤�� §ÃYÌ x�Ç��vq Ï �vqr�"�rkr¤���¢ � �ÃYÏ q�� t � Ï �vqr�"�rkr¤���¢ ��� ���à iC�ji"kpi�x{z � �à t q{x t$� �à x��rnv�ro � ��� � �à �ji"�rq{x��v� � ¤{¤��à �ji"�rq{x��r� �$§� {§Ã ��¢ �!� ���à � u �rk�� u z{x� vz{q���¢ � �à � u �rk�� u z{x� vz{q Ï �vqr�"�rkr¤���¢ � �Ã{¬

Page 47: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w l�_�9�yl�_�@�B D1>.DV_3)��b9�i��b9<;�yl�DCyl�_�jCl�DS9$>Ahr_S; D|; i{h._¬{ÃÃ�� k��vx��jo{i"kpi u �Z�{� u �vq��rkpi�qvo � � �Ãà � u �rk�� u z{q�¨{� � �{¤��à � u �rk�� u z{q�� u h{� � ��� �à ���v�rªC�jo"krx� vz{q � �à q��jo{i�z u � � ��� � �à ��k��vz���¢ � ���à ��k��vzr�"�rkr¤���¢ � �à ��k��vz Ï �vqr�"�rkr¤���¢ � �à x��rnv��k �! {§{§ �à o�q{z��v��q��jo{i�z u � � ��� � �à � u kr���v� � ¤ ��� �à � u �v� u �rk�� u z{q �$§{§ � §Ã � u �rk�� u z{q � �"� � �à ���{�vq��{�v� u �rk�� u z{q���¢ � �r��� à ���{�vq��{�v� u �rk�� u z{qr�"�rkr¤���¢ � �"� � �à o�q{z�� � ��� � �à � u kv� t q�krq��"s,iC�ji{o"kpi�� � � § �{�Ã{¬

Page 48: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

À Ö:����¾ ���c� %&�'���������t ������/0�1�

w l�_tmPi{h.D�9��i�B lc@C9�_¢��ylch�ylb9Pyl�_Z){l+¨^DS9$>c; D�jCl}B � i��^DL; \ >�B��Ci{@C9�aÒ�c>Ah�hrl¬{ÃÃ�# lji{oY� u�t q2i{oYk�lvqÍ�vqvoC�vz�k u �Wk�lvqÍ�{� u Ê{qr��kpi u � u �Wk�lvqÍ� u�t qÐ~�m�npo"krq9s Ï ��~à u �1i"kpoWoC�{ {� u�t qP~�� u ~r�Ã{¬�{�{� �rx{zvo�qL£��$iC�p��¤ t qr� § �{}Ð�� � �­x�� t w tr§X� �Xx�� t w t ¤ � �Wx�� tWt � � ¤ u � t ¤ � �­x�� t w t � � � u � t � � ¤j|u � t ¤ � ¤Wx�� tWt � � �{| u � tr§X� � x�� tWt ¤ � ¤Xx�� tWt � � ¤j| u �W� � ¤Xx�� tw tr§W� � u � tr§X� �{| x�� t w t ¤ � �Wx�� tWt � � ¤ u �Ðw t ¤ � � u � t ¤ � ¤j|­x�� tw t � � � u � t � � ¤j|{| u �Ðw�� �$§$u �X� � �T| x�� t w tr§X� �Wx�� t w t � � � u � t � � ¤j|u � tr§X� �­x�� t w t ¤ � �Xx�� t w t � � � u � t � � ¤j| u � t ¤ � �Yx�� tWt � � �{|{|£��ZiC�p� §�t qr�$�Í�{} �� � �­x�� t w tr§X� �Xx�� t w t ¤ � �­x�� t w t � � � u � t � � ¤j| u � t ¤ � ¤Wx�� tw t � � � u � t � � �{|{| u � tr§Í� �­x�� tWt ¤ � ¤Wx�� tWt � � ¤j| u �$� � ¤Wx�� tw tr§W� � u � tr§X� �{| x�� t w t ¤ � �­x�� t w t � � � u � t � � ¤j| u � t ¤ � ¤j| u �w�� �W§$u �W� � �T|­x�� t w tr§X� �Xx�� t w t ¤ � � u � t ¤ � ¤j| u � tr§X� �­x�� tw t ¤ � � x�� t w t � � � u � t � � �{| u � t ¤ � ¤Wx�� tWt � � �j|{|£��ZiC�p� §�t qr��¤Z�{} ��{�{�

Page 49: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

% -�� <� /&� " �� ���� ����� $� /&� " �� -�����

Î~yl�z�hb; DL; i{hµl�D¥�b9�i��b9<;�yl�DCylÈ�&(')&+* É�_Li{hrD   ; _S; \ ;�B >c;-9�l�_¥_S;�p�@.lbB p�@.l*_LiA; D¥B l~mboriA; ¨µs²>b; Dt�c>^9:B � @Ah�ÇB � >A@rDS9�lµ�Clc@rD�s²>b;�9�l�@�h~mboriA; ¨�p�@b;�B lkmPi{h.j�@b; D�j�>�h._�@�h½yl�D1>.Dylnp�@b; xb>�B lchrDJ�c>^9   ; _S; \ @CB >.D|; i{hA6jClc@�¨3yl�D1>.DV_   ; _S; \ ;-B >c;-9Xl�_¢_Li{h.D�;�h^j�; _|mPlb9¡h^>   B l�_*�b>^9�@�hrl}�b9�i��b9<;�yl�DCylµj�@, ©�mn>CB mb@CB-6jClc@�¨µ_1�._LDL�l \ l�_�_Li{h.D   ; _S; \ ;-B >c;-9Xl�_¢_L_S;�B lc@C9�_Óyl�DL>.D¡_¢;Øhb; D|;q>A@�¨�_Li{hrD  ; _S; \ ;-B >c;-9Xl�_n6

Page 50: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

% -�� <� /&� " �� ���� ����� $� /&� " �� -�����

w�� l+¨A�b9�l�_L_S; i{hÒB ic�A; p�@.l~j�lµB >   ; _S; \ @�B >.DL; i{h��ù�ú�ù-øR>�ú�þ�úH\p@?(8áñ.-�ò�>�ú�þ�úQ\v@ÐF>�pñ�� � ó���>�ó�ô��tî�ú)/J>�ú�þqñ�þ�ó�@ 8�)V ñ�\{) V óJ\{):>�ó�ô��iî�ú"/�\�>�ú#\�þqñ:\~þ�óJ\r@�F;��ù�ú~ù�øR>�ó þ�óJ\p@�@�@�@ F>�pñ�\�� �ÞóJ\���>�ó~ô��iî�ú)/�\�>�úQ\RþÐñ:\~þ�óJ\p@ 8�)V ñ�) V ó):>�ó�ô��iî�ú)/J>-ú�þÐñ�þpó�@�F.�5ù�ú�ù�øR>�ó þ�óJ\p@�@�@�@H

�ÚôJñ�õ�(����Rômð?��ù�ú�ù�øf)�)A��ù~ú�ù�ø DÚômñwú

ù�ú"05ù~ú�ù�øR>�1�@_�981�8B>�>��9���³>�ù�î�ùtó2/J>���@P8�)

V ��\�)³>-ù�î�ùtó2/�\�>���\p@ÎF.�5ù�ú�ù�øR>���þ���\p@�@�@�@ F>��9��\"�5>-ù�î�ùtó2/�\�>���\p@ 8�)V ��)*>�ù�î�ùtó2/J>���@ÐFM��ù�ú�ù�ø >���þ���\v@�@�@�@�@#

�pð!ù�ú�ý!õ��/Où~ú"05ù�ú�ù-øU)�)L�5ù�ú�ù�ø D ôJñwú

Page 51: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

% -�� <� /&� " �� ���� ����� $� /&� " �� -�����

( ; \ @�B >.DL; i{hAÇ�À \ ��BGyl \ lchrDL>.DL; i{h}l�D , >rÑÒh.l \ lch.Dú�ù�ø3/./J\�>�ú�þ-úQ\p@?(�8Oñ.-~ò�>�ú�þ�úH\p@ F>�pñ�� � ó���>�ó�ô��tî�ú)/J>�ú�þqñ�þ�ó�@ 8�)V ñ�\{) V óJ\{):>�ó�ô��iî�ú"/�\�>�ú#\�þqñ:\~þ�óJ\r@�F?ú�ù�ø4/2/J\�>�óàþ�óJ\p@�@�@�@#

�ÚôJñ�õ�(����RômðXú�ù�ø3/2/�\�)�)L�5ù�ú�ù�ø D ôJñwúù�ú�-wù-ø3/2/J\�>�1�@I�981�8B>�9���7>�ù�î�ù�ó2/J>���@Ð8�) V ��\{)*>�ù�î5ùtó2/J\�>���\p@ F ú�ù�ø4/2/J\�>��´þ���\p@�@�@�@H �pð!ù�ú�ý!õ��/Où~ú�-wù�ø3/./J\�)�) ��ù�ú�ù�øùDÚôJñwú

ú�ù�ø3/�\�/J>�ú�þ-úQ\p@?(�8Oñ.-~ò�>�ú�þ�úH\p@ F>�pñ�\�� �ÞóJ\���>�ó~ô��iî�ú)/�\�>�úQ\RþÐñ:\~þ�óJ\p@ 8�)V ñ�) V ó):>�ó�ô��iî�ú)/J>-ú�þÐñ�þpó�@�F ú~ù�ø3/J\�/�>�ó þ�óJ\v@�@�@�@H

�ÚôJñ�õ�(����RômðXú�ù�ø3/J\�/ )�)L�5ù�ú�ù�ø D ôJñwúù�ú�-wù-ø3/J\�/J>�1�@I�981�8B>�9��\��³>�ù�î�ùtó2/J\�>���\p@ 8�) V ��)*>�ù�î�ùtó./J>���@ÐF ú�ù�ø4/J\�/J>��´þ���\p@�@�@�@H �pð!ù�ú�ý!õ��/Où~ú�-wù�ø3/�\�/ )�) ��ù�ú�ù�øùDÚôJñwú

Page 52: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

% -�� <� /&� " �� ���� ����� $� /&� " �� -�����

Æ�h*l+¨bl \ �AB lî!ï~ðmñ65wñtö+1�0�iî~î!ñwú

ú�ö�� 0#��þ10��3�$0�iî�îwñû�õ�ï�� ð�ñ,��ùtó3� ���àþ�������ý�ö��!õJù�:

ïtî��W�!ï�ï�õB�*ý�ö��!õwù��: ñ{üJñiîJó ù�î��´þ¦ðmñ��´þ3ý��tî�î!ñ�þ+ó¬ù-ø5ñ� ó~ô��iî�ú ó~ôRö!ñ'&�(Où�î��´þ¦ðmñ��:þ+ý�iî�î!ñ�þ+ó!ù�ø5ñ;(�)³ úT/Rî�� V ó¬ù�ø5ñ�þ20H�QDÚó¬ù�ø5ñ´þ$0�GDÚó!ù�ø5ñ�):

V ý��iî�î!ñ´þZ0H�EDÞý��tî�î!ñ�): V ý��iî�î!ñ´þZ0�GDÞý��tî�î!ñ�): V ù�î��´þ20H�EDqù�î��27´þW0�GDÐù�î��27�)M)8��� V ðmñ��´þ20H�EDÚðmñ��27´þW0�GDpðmñ��27�)M)8���

�Jú�ú{ñRô�ó7>90H�EDpðmñ���ùtó V 0�GDpðmñ���ùtó�@ 8�)7>�ðmñ,��ùtó.8M0H�EDÚðmñ,��ùtó�@U >90H�EDpðmñ���ùtó;)8M0�GDÚðmñ,��ùtó�@P8�)³>qðmñ,��ù�ó.8.0�JDpðmñ,��ù�ó�@U ïtî[85>C0H�EDpïiî &X0�JD�ïiîH@H

ñ~ðmïiî

Page 53: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

% -�� <� /&� " �� ���� ����� $� /&� " �� -�����

, yl�_�@CB DL>.D¡_©w° Ä ª�§{¨:°!À¯­ Ë ®�°�¨¬¨�«98 ²yµ7ʹ©w° Ä ª�§{¨:°!À¯­ Ë ½�« ¿(: ®�°~¨¬¨�« ± 8 ²yµ ÊRå�·©w° Ä ª�§{¨:°!À¯­ Ë ³´§ ± §tà µ×Ê�´æ Ë °¬À ± «:ç©w° Ä ª�§{¨:°!À¯­ Ë ± §iÃ<;3;>= µ×Ê�´æ Ë °¬À ± «:ç©w° Ä ª�§{¨:°!À¯­ Ë ± §iÃ<;?=�; µP¸�²æ ²!Äw¿ «�ç

Page 54: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

e � " �

f g >Ah.iC9$> \ >kj�l�_7DVlnmbo�hb;qp�@rl�_ts$i�9 \ lbBuB l�_v w >kx?ylb9G; z{mn>rD|; i{h}s<iC9 \ lbBuB l~jCl \ i�jA�lbB l�_� �}�n�A���k�$���

w l��^9Xi���l�D �}�n�A���k�$���w l�B >Ahr��>.�cl �}�n�A���k�$��� �>~D�9$>rx^lb9�_�@�h.l�yl�DS@^jClkj�l�mn>._

� w�� >Ah^>�B �^_Ll*j � @Ah \ i�jA�lbB l �}�n�A���k�$���w >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l�_w >k_1��hrD+o^�l�_Llkj�l*mPi{hrDS9��i�B lc@�9�_��; _S; \ @CB >.D|; i{h}l�D�_S; \ @�B >.DL; i{hr_

� � i{h.m^B-@r_S; i{h

Page 55: LAASprojects.laas.fr/IFSE/FAC/papers/2007/01pres.pdf · J ¡lnmPDL; s:l D \ in lch g i{@nx.iA; 9 9$>c; _Li{hAhrlb9&_ @C9:B l _ B ic A; mr; lbB _ l D¢B l _7_1 ._LDL l \ l _¢>.z h*j

�������?�$/��� -���

��;�B >Ahw >*x?ylb9G; z{mn>rD|; i{h�j�l \ i�j��lbB l~jCiA; D�_LlµBq; \ ; D¡lb9:>A@�¨µ>._P�ClnmPDV_7mPi{hrDS9��i�B lC6w >�ÏLB ; _LD¡l�ÐÒjCl�_��b9�i��b9<;�yl�DCyl�_Jl�_LD¢�Clc@�B i{hr�{@.lC6 w >~j�; Ñ}mb@�B DCyl}j � ylnm^9<;�9�lB l�_��b9�i��b9<;�yl�DCyl�_�lch¤B ic�A; p�@rl�_JmPi \ �Ci�9�DVl \ lch.D1>�B l�_7l�_LD¥@�hks²>�@n¨�^9Xi   B �l \ lC6w >*x?ylb9G; D1>   B l~j�; ѵmb@CB DCyl¬9Pyl�_S; jCl~jA>Ahr_JB >~DS�>^mborl*j�l \ i�j&ylbB ; _�>rD|; i{h�6 w l  l�_LiA;�h~j�lµB >Ahr��>.�cl�_tj�l*jCl�_|m^9G;-�.D|; i{h�jCl�_1�^_LDL�l \ l�_7l�_LD¢9Pyl�lbB-6w >   ; _S; \ @CB >.D|; i{h}l�_LD¥@Ahrl}�b9�i��b9<;�yl�DCyl�D�9Xi��*s<iC9�DVlC6Ʀh.l�_S; \ @�B >.DL; i{h}p�@b;��^9�yl�_Llb9�x.l�@Ahrl�ylnp�@b; xc>�B lch.mPl}jCl�DS9$>^mPl�l�_LD�_�>Ahr_jCi{@rDVlµB l�9$>.Ѭh.l \ lch.D¢@.DL;�B l*lch �}�n�����*�<��� 6

g lb9�_P�ClnmPD|; x^l�_Ʀhklchnxc;�9�i{h�h.l \ lch.D �}�n�A���k�$��� mPi \ ��B l�DJ�>~DVlb9 \ lC6g B�@._S; lc@C9X_tD+o^�l�_Ll�_tlch~mPi{@C9�_n6