%PDF-1.4
%
1 0 obj
<>
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
IEEE
IEEE Transactions on Automatic Control;2021;66;4;10.1109/TAC.2020.2998733
Approximate simulation relations
finite abstractions
opacity
symbolic models
On Approximate Opacity of Cyber-Physical Systems
endstream
endobj
4 0 obj
<>stream
x+ |
endstream
endobj
5 0 obj
<>stream
xn0Ds 8Rr6F1W+dMmS~}M57zhiy
j+x&AaSӍ4 ;c{2'ip`#I|o"oN%c7vPEUV
&|iTT5N #۶yrl|ژwGirroj:ҁ t>W
endstream
endobj
6 0 obj
<>stream
x+ |
endstream
endobj
7 0 obj
<>stream
xn0Ds
qms(7H\`ojPzL57z~C5j3x&AaYoiA ;cK2'iذ$ՆܼscXO*+P7nsm89 v6]bf\|?jӖuQ>X
endstream
endobj
8 0 obj
<>stream
x+ |
endstream
endobj
9 0 obj
<>stream
xn0Ds,J -97Z`oj;Eנ
M;M'ޢR{BO
XHO g/p|>fe9I`|?I{=9xwb.y,AUY)rۨj+AFw]$1>'a˅NӁv>Y
endstream
endobj
10 0 obj
<>stream
x+ |
endstream
endobj
11 0 obj
<>stream
xn0Dsl%A4%7 7H\-0"lFo4XӅ5}YMQC+#
U1@ok%`}p6S$
]o+6wy9=
;1<AM'UY)QuSXm$ؘ0>SiKk}>
endstream
endobj
12 0 obj
<>stream
x+ |
endstream
endobj
13 0 obj
<>stream
xn0Ds,J
F1WL
jFo4ѕ֚ޏ模/TБz¢*O7z op|>fE)s7-I;%aˉVӞv >
endstream
endobj
14 0 obj
<>stream
x+ |
endstream
endobj
15 0 obj
<>stream
xn0DsRbW4msho#qIrmZѯAsy7^-43ո%&Zl/yϽ%R&΅؏6e|,a!/T#{G]kQ[մe{u8^Or>;Ͼ\>/iG>
endstream
endobj
16 0 obj
<>stream
x+ |
endstream
endobj
17 0 obj
<>stream
xn0DsRbW4msho#qIrmZѯAsy7^--q ug]677b{ɣDs'x]H.ɕ2q.~a-ロd \L7x2C==Z+،zݪ
(q]|#%$y|QghO;q}>S
endstream
endobj
18 0 obj
<>stream
x+ |
endstream
endobj
19 0 obj
<>stream
xn0Ds,Rii܀FjI9vZTsy7tMkMOV/TГתXH9
jOp|>fe9I`|?I{=9_ĜX
endstream
endobj
20 0 obj
<>stream
x+ |
endstream
endobj
21 0 obj
<>stream
xn0Ds
qms(7H\`ojPz\47z~C+g*Гz²*ޞn |'8.2rʜ~0cFW"_rN)c=vPLBިj'AF|m$٘wGirEPiO[z v>Z
endstream
endobj
22 0 obj
<>stream
x+ |
endstream
endobj
23 0 obj
<>stream
xn0Ds
qms(7H\`ojPzL57z~C%j3x&AaYoiA ;cK2'iذ$ՆܼscXO*+P7nsm89 v6]bf\|?jӖo>Q
endstream
endobj
24 0 obj
<>stream
x+ |
endstream
endobj
25 0 obj
<>stream
xn0Ds,Rii܀FjI9vZTsy7tMkMO~A
}?(VFzXiW{1m.#I0Hcdžz'ⱚ;ǪLB֨j #>۶arllmLGirr/jQG7s>U
endstream
endobj
26 0 obj
<>stream
x+ |
endstream
endobj
27 0 obj
<>stream
xn0Ds
qms(7H\`ojPzL57z~C
5J<zRӍ4[_ ǝ1%\FN4alHjCWKnމ9xu^I(U7U9Ȉmq[ ;S.3M._j5iKp>R
endstream
endobj
28 0 obj
<>stream
x+ |
endstream
endobj
29 0 obj
<>stream
xn0D+f
qM,`$V0ɭ6T93苶^QgBO^bt#64Hqg}p6S$
N`l$qmC[`/?މxljJ$Yp2m[\&'K,>L˗sIs>V
endstream
endobj
30 0 obj
<>stream
x+ |
endstream
endobj
31 0 obj
<>stream
xn0Ds
qms(7H\`ojPzL57z~CȪD
}τ?(,mt#֗4H=qg}p6S$
`68x9wbNy,)zWe`FMU?q2m[''K,>L˗/ZM{1>
endstream
endobj
32 0 obj
<>stream
x+ |
endstream
endobj
33 0 obj
<>stream
xn0Ds
qms(7H\`ojPzL57z~CJ>SgBOUzfK$ݞำ>fD)s~0
I{<_m
|;1<AΫR0 {ꦪqП8ݶ-``gc
%aC=m>
endstream
endobj
34 0 obj
<>stream
x+ |
endstream
endobj
35 0 obj
<>stream
xn0DsR ͍9H\`oM+47z.i~j3x$Í4\ ;ck2'ib#I|_"[ON)c3vPתLBnTT5 #m89 mL#4|մrA>T
endstream
endobj
36 0 obj
<>stream
8;Z\78Wpt6%+NNZVgK[I:@\AaU$mpV('u60gJB\]aQ4]OBlu?9A&N;q"3b`^4$A&D
AUS[GeN"aYq"bR5egnDZ>DPN4AqM3G3]E0oU];Ppk;5qW6)EGs]lC!s)aFk!N_as(
4Ieu\mEk%0c`)'f)eX?(]:>6Eqr=6PP=D_6o[tRrFq=lL?a44Wqt"`/rGj,,u1@"
dA_M3OKe^oQdqiCN8u&*2M0HA;D\lRD%,W\M`%?6^s^'lFhF)-K>M&A)>>SXI'(Yq
q]9'0GndK)Bi*B9'B?WXR"u.scYM%Qg!aI?%#L6.He2LLDtg_4)u9n/A@=IJ"pPX2
CiM'a1D*Ioq5kln(Ot4$e?h_MKI]uV;=\T(#i*=R8_#._JoNVncDVQ+1LZcPC?hiU
&f]jd9HC$2W\2SSZUlIH;hB5pA.N"BU$>eSVU!Og3)N;:]LK%SQ00r@OM!]?jjQi[7)->RS8oFuet?k#ilWNhNGuk_9B+$I
%&ciOR]V!6>qWs*:.jfI5$^o>\'U0T_2B#)gIPkQkn9(kA
JL8btY;&H)[*!(mMf8Mjr!i^E`$'C~>
endstream
endobj
37 0 obj
[/Indexed/DeviceRGB 255 38 0 R]
endobj
38 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
39 0 obj
<>stream
Adobe d C
w,
s !1AQa"q2B#R3b$r%C4Scs5D'6Tdt&
EFVU(eufv7GWgw8HXhx)9IYiy*:JZjz ? 1ԡnjxxyc