%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEEIEEE Transactions on Automatic Control;2018;63;12;10.1109/TAC.2018.2828098Discrete event systemslower bound containmentnon-blockingnesspartial observationsupervisory controlSynthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment ProblemXiang YinStephane Lafortune
IEEE Transactions on Automatic Control4435 Dec. 2018126310.1109/TAC.2018.28280984441
endstream
endobj
2 0 obj
<>stream
8;Z\796S3,#\;QY2!q<`b$hlecc($Aa%1R\8;`s];tAX11)bnp%jV).YX.1;dH0Qg
mHo)^mh_/#aF$hbQA8_g\kp`9k-h?ONe@#\C4A&U$XdpWXQ:9DqEM^fVMB^2!,>&]
5n9OBq;EGR9R%i([Z9k=8\-tu-33.'coeVGY5n;PB)PJe"?YnLUlENt4#d,_ESnei
O0tVbh5qn(KR9eW(5J_;KB>4OKH\bRFmpkZ_@d.PgWc)ST3Fu5[Fen5\ZnsXknj_e@ucU:+H>a5p->Mi(aZ@>[e[RroHZ-`E(umq_]o(,*tH*nRGXq21X^F=:*q
,tkGqFFR>eOe%W3i^"qWp:AVlI''b1e#@+(C@i`'
Q8\ih.5jS#r$Y?s+_d+r4?Z>hcNXr%VsdP"`.i4&&\q/>.,UIM_IPnCKW7r;dE)\k
()F%8LeNF^Ne<'_HFMD)EV@,IncUkoCHQ-@M#;D(_X9j%^N4C:86)F`:u1DU-K2+f
I7K'lj5;(dU=CRCO`q[2DD2'&<'Tl$(@s&ln+j!c?O&6mQT5)=mZK>CB@-\e4*D4&eY%\BRM>17$:^'iC+
jO47'cm]ee`Tb>)3p*@NN^?h
4EX9DCl28AEMT,7re9o8HF@#Q[u9Tc!$QtYe,~>
endstream
endobj
3 0 obj
[/Indexed/DeviceRGB 255 4 0 R]
endobj
4 0 obj
<>stream
8;X]O>EqN@%''O_@%e@?J;%+8(9e>X=MR6S?i^YgA3=].HDXF.R$lIL@"pJ+EP(%0
b]6ajmNZn*!='OQZeQ^Y*,=]?C.B+\Ulg9dhD*"iC[;*=3`oP1[!S^)?1)IZ4dup`
E1r!/,*0[*9.aFIR2&b-C#soRZ7Dl%MLY\.?d>Mn
6%Q2oYfNRF$$+ON<+]RUJmC0InDZ4OTs0S!saG>GGKUlQ*Q?45:CI&4J'_2j$XKrcYp0n+Xl_nU*O(
l[$6Nn+Z_Nq0]s7hs]`XX1nZ8&94a\~>
endstream
endobj
5 0 obj
<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]/ColorSpace<>/Font<>>>/Thumb 20 0 R/MediaBox[0 0 594 792]/Annots[21 0 R]/Rotate 0>>
endobj
6 0 obj
<>
endobj
7 0 obj
<>stream
x]rFSa4rJ43gLBN(RCv4)=F\%'F7/?_ʓ˳Kq2i_v2ՋjOD\]ӲP$ݥ*2'Q0%T{)ys~~>ˢHj$dHdM^|uv%T"͓Xզ2y5e]]{uKxNj6۔Hru/F
M!ݓg~<LX%@k-F\
WBJ6Uq25j8I*o&=<++'l:pf/.w3v`_dxmZ湦L/|Wb>B0Dv%/)Du%BlT+Z|v}Xu;_dX'؎IJYTJ\3̦BguƔCzV4ɗ0@[=`_