invariant spaces and control of timed discrete event ...

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Max-plus








-invariant spaces and control of timed discrete event systems Ricardo David Katz

N° 5521 Mars 2005

ISSN 0249-6399

ISRN INRIA/RR--5521--FR+ENG

Thème NUM

apport de recherche


  
!"
#%$& '
#(*)+ ,
# -.(*/#%$'"/# 0/#12$3 45)+- '(67)*$3)8)9#)+%$& ':; @?BADCFEG7H0IJCLK3?MGONPCRQSLT U9VW X;Y#Z\[]_qrlnsu^atfYe=`Lbd]PcfegvxW wdX;yz{Yhjc+c iLjX;khlnmpoDjYhc |=vyyFsulne=}dY!lgYh~VYhlg~VY€i‚„ƒuƒ†…d‡^a]Pvulgc=…uˆuˆ†ƒ^‰…Šyvu‹uYc ŽŒ}bD7iRhv X;‘x’m{~h“uvuz'” cnbdU9cfVegY Y X¨~s†m{c+i~Y YhwLydene•Y iRs}d–#Yh} —M˜#eg™ns©šzž›m{iœmžYhiLvuŸxl\vlgcnmpbLvcªiDene%YhX©cnjc9 sxcnŸuyY vul9~ egYPV¡¢Y#suX©l~vxs†wLi†œyeglnz{js†zžc={Yhcn}£Y X;m{iLmžlgŸ¤m{vuiln‹mpv«riD¬\e¦¥z­egVs–=sujv§‹uVJz{mžienYhVvm{lc Y suwL–RenY Y wDiRegcªY m{isucnim{suyi#lgYhegcnsY iDzžm{egic'YhcªvuYhl„Ÿu}dY bLlvizv}X;m­®@mp~ ~vjzz­cnegbdmžYcfc egY ¯¤X©°+Vc7mpsx~ŸuV#Yhvl7lglgY„m{icªm{‹†X;ch¯xmžzpm­ve³lvuegys+yRenYVvs†lcnc"Y„~ Y viyR~ vsu jz{Y6iDensuYh–RlnyY}±lgsxmžŸLim{}egVmžiY6‹cgvcnsuX;z{jdY„en²Lm{sumžiRi} c eg~ sŽsuiX©}m­vegiLmžs†b§i~c#s†viDlgenY©lgsu‹uz'm{ŸuyYhlni£s† –¢zžsuYhl•X©~ c\suz{X;mž²†yY•jdm{egi§mžien‹JVYegV~hY@vucnX©Yhc=vxwdsum{–rX©z{mžviz\Yv—M˜#l™ncªšbdcª›enœYhmžiLX;Ÿxc\vlgsxmpŸuvYhiDl=e%´cnYhjz{ }cnc±ys†vul\~ Y;lgmž~ isu‹DiDc eg«!vu`LmžijdYh®@}£~ mžmži0Yhi†v e ‹†cªenmžŸ†jRY }diµb@cnsy–7v†en~lY%viRvucªiyF}JsulnegegVvY;enm{YsuwdiŽm{cªienYYhefi°*~Y%sulgs²L–rc*z{°+m iVYhmpvu~l±V cªY egŸuvs†enzžY%Ÿ†Y±–¢Y v†Yh}~ ~  suvul~}d²dmžci‹•m{c±eg}ds;mpcnv~ jegmžcnX;cnYhY }4 Rs

;)M0 [ $

&* Kw   
3 % 0-6-i
/i+*fO  (0  !%+*F 00-6-i%=" b AV^ [ / O"h '
  LK2#*%  b%>l rJ*
 ^ $ V +XAZ 0XAZ w[c*%(r
  . ;  &*f0'*%'UKn+*f,-i
0h-i
& :&*W[Y),+1%(-.0&1
(  3 X 



00-6-i%=" b  %
  "R 5 / O&
(
508 $6^ 1 $ V +XAZ 0XAZ l[

@ !V^ & [ &*),+

D— ™ 2› ©—̘#™gš%› L— ™ 2› vŸ†uzžYh°9~env¤êsuibdl±c%encªV~ yRY#suvuiL~h~ŸuvuY•YhcnslnY‹†–rsuYh}d–'c%m{egX;mžVi Y Y±ivencne@Vmžs†YhXisulgsD „b©cfe,« s–3Q= z{sxm cfi°*egYhY Y vuyŸul9Yhchlh¯9}¯RbDcªsum{iRiiv~Y%X;Y§sm{mž~h–„e@vegzmpVc©cnY%bLv£cªyenln}Yhs†X©Yh ~c9zžlgYhYhsxX©v†Ÿucªc=Y m{il9m{iP‹ v•encª´VYY Y•oDzp}jX©Y ¯diegvxV~ wLY§Y!œycªszžYjR–o†ccªjj~hY vu Ricncª~ YuyY ¯Fv†°+~YVc;m{~sVµ–±m{v c lg¬AY Chmp>dcn¯~ Y B6iDqLe>(suu–r¯ }dB6m­®@qn>†~ ƒLj¯#z­egQ\mžYvuc±jsŠ†–³…Leg¯VQ\Y•vegjRVŠ(Y us†% l rJ *
 (0
 &3 W LX *% b" n*%!
  i ! (hI=

.r 0  tJ * /B

n
3$J *
 J *6 0 (00# .%+*O 00-6-i%=" b rV ^ & [ &*),+ / r 0& 3$" 0'
4 d
(#" + *f0'*%'U"%= t %R 

  = % 0R -2
  3\#%(5KJ *
$J *` 0- -i%"( bG  ^21 $  ^ $ V [ M /( D *' ,.- M$ XAZ\[R/ !

P K2+ *f
(L/ K 2^21 1 ^251 & *f03 KF^ 1v/ O.f&*
(),+ 0&  b
( W[Y %-i&
  3 X 4
(
g
(#"GJ *'*%1 508 $6^2l1 $ V [ M /(hD*F ,.- M:$ XAZp[

508 $ ^ 1 K@ ) c@ B^ 1 7 K^  5 i^21 ^  ,0 b%4 0 " =^21 6:MB n>u(< sa gV ^ & [ &*),+ 7 508K$b^21 ?u ! $ D *F,I *'; < LV ^ & [ &*),+ sa I *' ,.- $ 2I  TgVhXAZp[ ']i^_ 0 GIU*'; < ?Q (508%$ ^ 1 ); +I+*'; <  [ M $ 
_  =X lX
_  =X M

6— 3™ › •— †¯†0…vu†m{…0cr X©}Yvuen²uYhlnYhX;c150m{i8Y±m{°+iLVŸxvYeglgVm{vuY i†l*e9en°+VY mženlgVJYY lnYwLcªmpcªyFegYhc9~e9v•enz{ms;iYhenVvul6Y!–¢lnYhYYhcª}dj Rzženvum{i~²‹©7~z{—/s†.cn›5Yh$}ŽzžsLs†3—yJ-.rcnbdX cfeg Y ›X¯L°+ VY lgY&(12%3¯d°+Vmp~V 7—-.W› $ —M)˜ 0š #› 7—-. X ›*™ ¡ >†¥ eg50V8@vxe°+m{Vch¯FY i2cnjm­~eVJc•egm{iVmžvxene±mpvY z9ŸucfYhelnvxbŽegYŽenlmpvxc•tfYm{~¦Vi ens†50lnbŽ8xt« s–„@–\enVvPY%z{m~iz{s†YhcnvuYhl#} –¢Y z{sLYsu}dyP v†cn~bL² cªen°+YhX mženV ¡ >†en¥=Vmpm{c•cy~sulns†X;yRyYhz{lªYefegb£Y z{Yb wd~ mpcfsueiDc eg¯"vu°*mžiYŽYh}J°+m{m{zži cg—M)˜v¤b©0 egVš vxe#50›œm{8!iDŸxm{c=vulnvumpiPviv~ z{Y‹uYh¡M cªYhlgvu.Y m{~h: ¬vz{cnž1cbP>>4—M˜#Dvƒdz{u(i>(Y s†l rJ*
 508G/ O#%(
`
 Y
'
(
  3J—̘•™nš%› 

( 0- -.%=" s

°+X;VY enY;£VenVsdY+Y }•l\ivuYvz{wLcn´e³sicn~ Vm­suegsxX;Y °0z{byVjd‹†sxegY Yh°0ic"Yh°*vlgvY9zžm{en~ iYhvYh}Ji;vucnl'}dj–¢Y Yh~Yhcnmp}dY }dX; RYuvu¯m{X~jR²cªsdm{°+i}d‹jm­egzžV•enY!VegsuY9V'– YY*Dwdlnmp*'Ycfo†eg,mžj- imž‹±mplgc\Yhlg}!vuYhzžcny‹†jlnY zžs† egyRc7lvYhsulªmpi~ efbvuX©zž°+{bPvxVwL—ÌYhœ˜•yi#zž™njRenšVc3Y9›z{œm cnmžiiLjYhŸx vuvcnl7lgY Ym{X;vuoDiDm{jX;ehvx«6egsLmžU9}s†jVizžm{c Yc ¯ mpcnc³j vuzžcn‹†Y Y X; m{lX;vmpsL~ }vuzžj{b©zžY—Ìs˜#– ™gš%D *F›êœB,.m{-iL¯"Ÿ¤vucnlnsPmpvegiDVevxE« e%C'enYVerYhm˜lnYŽ( YwdD m{cª*Feg%3c,-  ¯Dš (k( D D *+*F%',.%3-,& -¯"2 ¯†–¢vs†iRl%}•cnsuz{YX;e Y ^ !4 F(kY=v±I*´¯\icnmžjenYh~zžV b%eg‹uVY vxi7e Y l^ vxenY$ } @êX «rU9VY i†jRiŠd~~ ¯IYhY•}PeOse,en–rsJv>uŠdegcªV¯ s†Y;B*zžjyUgenlnm{eOsus†i0 e,z{Y >¡¢°+X >(hz{+>4> :  h> 0< le  R@ v'%=  1"( ( $%+*i+ *f    '% f
( 2%'%( 2%=*1 1 h7  h7  e k >>  Y%+ *-6 6
 "  # 1
(%(f !& -. "
r/ 00'05 
34 50-! :  h>7(< e  k j@ =>>h7 :  0<  wC  6V n%. K1
( b0  UC FB

ˆ

†… \]Pˆ†ˆ \Š 9] ‡ *lgv ‡ *lgv 9U+ˆ‡ : B*O½ NAPŠ†ƒ < : B erNF>>(
†m{iƒd‹%« ylns† z{Y X–¢sul*cªbdcªenY X©c : B*gU eOe,>>(< « B6sd~VYenœU3Y lglvucgcªs†i>†Š« : ;£suiŠDƒ4< ;€«] « ; s†iVvuX « % #
 -  &4
(

b,1%(&'%

Y %-i&A
 '%
h *d«F`Lylnm{i‹uYhlh¯ ‡ >uŠDƒd«"U9Vm{lg}Yh}dmženm{sui'« Ye ].^(_ 0 @  f+*
3-mf%  - % &*1%('0
   %  & ' !%(5 f 0 F% * 2%-m# 0
0# UK
&  
 W %

  X 
 2%-m# 
0

   >h>YJ 2C 5 2Q \B K@   "

 1%(&'% E%+*r #
6
(#"G#%(  1
(O 34 50-! W g s*0 b" m%(-.UK    X r7> %  0 ' !%(5 R w%(&'% c
 " R*%(-:
0

YJ   > (C > Q @ $?
(J*-i
&
 %  & ' !%(5 J *1%(3r%+*#02 n%(. 4 c
 "A 34 -6 W A 
*
K   / X 
 2%'%( )
 0" R*%7-


u YuY7 C > (u
1a E '%
b0-.
 O"h!
 s1
( =

 "h
" ,

(#0
$0 ( h
'
.-i
0hs#  7 C &" " 34  0-.

 0 0#0-i "/ 00' "
(f p 
(  
' ]i^_ 0 @ @  7 e hD ce D ?@ U'%=  1"( ( %+*$+ *f R50#
(%(#
  %(. 4 *%1 %
r/ 00' 40
34 -6 W 

  X #B @ =>> Y@ i (e R0"h-m%  3 W c/ %" K g 
A !  w5%(<  R X

 h> B 
LX B >h> 











 









×¢Ö7Ù