Identification of Stochastic Timed Discrete Event Systems with st-IPN

<table>Update of <svg height="16.512501" id="M326" style="vertical-align:-3.22282pt" version="1.1" viewbox="0 0 28.012501 16.512501" width="28.012501" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,11.675)"><path d="M46 650h247q112 0 169 -41q64 -49 64 -141q0 -91 -56.5 -143t-138.5 -62q-23 -3 -45 -1l-74 19v-157q0 -63 15.5 -77t83.5 -19v-28h-271v28q60 5 74 20t14 77v400q0 65 -12.5 79t-69.5 18v28zM212 559v-245q31 -12 73 -12q59 0 102 38t43 124q0 77 -42.5 115.5
t-108.5 38.5q-44 0 -56 -12q-11 -8 -11 -47z" id="x50"></path></g><g transform="matrix(.017,-0,0,-.017,10.042,11.675)"><path d="M181 342h2q63 107 121 107q24 0 41 -16t17 -34q0 -34 -32 -49q-17 -7 -26 2q-21 20 -43 20q-20 0 -42 -22t-38 -63v-183q0 -50 12.5 -62t69.5 -16v-26h-230v26q47 5 58 17t11 61v207q0 49 -9 60.5t-53 16.5v23q74 12 141 40v-109z" id="x72"></path></g><g transform="matrix(.017,-0,0,-.017,16.349,11.675)"><path d="M380 106l15 -22q-42 -52 -87 -74t-76 -22q-89 0 -142 62t-53 151q0 103 66 175q67 73 146 73h1q61 0 105.5 -46.5t44.5 -105.5q0 -16 -4.5 -22.5t-18.5 -9.5q-54 -10 -262 -17q1 -95 46 -143.5t104 -48.5q61 0 115 50zM225 412q-35 0 -64.5 -32.5t-40.5 -90.5q83 0 170 3
q14 0 19 4.5t5 15.5q1 41 -23.5 70.5t-65.5 29.5z" id="x65"></path></g>
<g transform="matrix(.012,-0,0,-.012,23.575,15.75)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g>
</svg>; <svg height="16.512501" id="M327" style="vertical-align:-3.22282pt" version="1.1" viewbox="0 0 34.1875 16.512501" width="34.1875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,11.675)"><path d="M46 650h247q112 0 169 -41q64 -49 64 -141q0 -91 -56.5 -143t-138.5 -62q-23 -3 -45 -1l-74 19v-157q0 -63 15.5 -77t83.5 -19v-28h-271v28q60 5 74 20t14 77v400q0 65 -12.5 79t-69.5 18v28zM212 559v-245q31 -12 73 -12q59 0 102 38t43 124q0 77 -42.5 115.5
t-108.5 38.5q-44 0 -56 -12q-11 -8 -11 -47z" id="x50"></path></g><g transform="matrix(.017,-0,0,-.017,9.651,11.675)"><path d="M257 449q92 0 154 -65t62 -158q0 -112 -67 -175t-150 -63q-98 0 -158.5 66.5t-60.5 154.5q0 59 21 106.5t54.5 75.5t71 43t73.5 15zM244 416q-48 0 -81 -47t-33 -128q0 -96 38 -158t99 -62q51 0 82 43.5t31 139.5q0 91 -36 151.5t-100 60.5z" id="x6F"></path></g><g transform="matrix(.017,-0,0,-.017,18.321,11.675)"><path d="M319 325l-25 -7q-33 99 -103 99q-29 0 -47 -19.5t-18 -49.5t22 -49.5t62 -36.5q63 -26 95 -57t32 -79q0 -64 -50 -101t-115 -37q-35 0 -67.5 10.5t-46.5 23.5q-5 11 -11 51t-6 67l27 5q14 -53 46.5 -88.5t75.5 -35.5q29 0 50 19.5t21 50.5t-19.5 51.5t-59.5 39.5
q-28 12 -46 22.5t-38.5 27t-30.5 38.5t-10 49q0 54 42.5 92t109.5 38q48 0 88 -18q6 -15 13 -50.5t9 -55.5z" id="x73"></path></g><g transform="matrix(.017,-0,0,-.017,24.559,11.675)"><path d="M298 36l-68 -35q-25 -13 -42 -13q-98 0 -98 119v290h-69l-4 11l28 29h45v72l65 67l14 -2v-137h113q8 -8 6 -21t-12 -19h-107v-256q0 -96 59 -96q29 0 61 17z" id="x74"></path></g>
<g transform="matrix(.012,-0,0,-.012,29.737,15.75)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g>
</svg>; <svg height="18.487499" id="M328" style="vertical-align:-3.22282pt" version="1.1" viewbox="0 0 44.075001 18.487499" width="44.075001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,12.688)"><path d="M559 271q0 -109 -83 -187t-189 -89l-36 -213q-16 -30 -86 -43l-7 9q10 36 53 242q-91 11 -139.5 63.5t-48.5 132.5q0 186 242 271l11 -28q-76 -34 -119.5 -91.5t-43.5 -136.5q0 -66 29 -108.5t77 -55.5q39 205 56 260q21 71 65 111t93 40q50 0 88 -45.5t38 -131.5z
M484 273q0 65 -26.5 99t-52.5 34q-37 0 -53 -75l-59 -298q80 5 135.5 74.5t55.5 165.5z" id="x1D711"></path></g>
<g transform="matrix(.012,-0,0,-.012,10.512,17.725)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g>
<g transform="matrix(.017,-0,0,-.017,14.337,12.688)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,20.219,12.688)"><path d="M998 650l-8 -28q-71 -4 -86 -16t-22 -69l-50 -397q-3 -28 -4.5 -44t2 -29t6.5 -18.5t17 -10.5t24.5 -6.5t37.5 -3.5l-8 -28h-271l7 28q63 6 78 22t25 90l60 415h-2l-353 -552h-23l-130 536h-2l-70 -254q-44 -158 -47 -188q-5 -38 9 -51t71 -18l-6 -28h-241l8 28
q45 4 67 18.5t35 45.5q16 38 74 233l52 173q24 79 11.5 98t-89.5 26l6 28h177l136 -508l337 508h172z" id="x1D440"></path></g><g transform="matrix(.017,-0,0,-.017,37.575,12.688)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg>; <svg height="17.575001" id="M329" style="vertical-align:-3.22282pt" version="1.1" viewbox="0 0 40.537498 17.575001" width="40.537498" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,12.725)"><path d="M529 97q-70 -109 -136 -109q-41 0 -56 94q-23 144 -37 284q-38 -88 -99 -202.5t-93 -156.5q-26 -8 -76 -19l-9 21q71 78 145.5 193t124.5 232q-5 84 -15 128q-12 55 -29.5 75.5t-42.5 20.5q-21 0 -45 -13l-8 24q16 17 46 30t55 13q43 0 70 -46.5t40 -169.5
q27 -249 51 -392q7 -46 23 -46q24 0 70 60z" id="x1D706"></path></g>
<g transform="matrix(.012,-0,0,-.012,10,16.8)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g>
<g transform="matrix(.017,-0,0,-.017,13.825,12.725)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,19.707,12.725)"><path d="M298 36l-68 -35q-25 -13 -42 -13q-98 0 -98 119v290h-69l-4 11l28 29h45v72l65 67l14 -2v-137h113q8 -8 6 -21t-12 -19h-107v-256q0 -96 59 -96q29 0 61 17z" id="x74"></path></g><g transform="matrix(.017,-0,0,-.017,24.891,12.725)"><path d="M181 342h2q63 107 121 107q24 0 41 -16t17 -34q0 -34 -32 -49q-17 -7 -26 2q-21 20 -43 20q-20 0 -42 -22t-38 -63v-183q0 -50 12.5 -62t69.5 -16v-26h-230v26q47 5 58 17t11 61v207q0 49 -9 60.5t-53 16.5v23q74 12 141 40v-109z" id="x72"></path></g><g transform="matrix(.017,-0,0,-.017,34.02,12.725)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg>; <svg height="21.012501" id="M330" style="vertical-align:-5.39853pt" version="1.1" viewbox="0 0 57.712502 21.012501" width="57.712502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,12.725)"><path d="M494 514l-10 -15q-56 76 -106.5 117t-110.5 41q-45 0 -45 -30q0 -28 109 -152q59 -68 86 -118.5t27 -107.5q0 -62 -29.5 -119.5t-86.5 -96.5q-64 -45 -138 -45q-76 0 -121.5 53t-45.5 136q0 74 40.5 135t98.5 95q43 26 87 42q-40 59 -57.5 92t-17.5 62q0 46 39 77.5
t90 31.5q54 0 97.5 -35.5t65 -78.5t28.5 -84zM359 234q0 84 -90 191q-47 -17 -74 -47q-81 -89 -81 -200q0 -71 32.5 -109.5t72.5 -38.5q47 0 80 33t46.5 77.5t13.5 93.5z" id="x1D6FF"></path></g>
<g transform="matrix(.012,-0,0,-.012,9.413,16.8)"><path d="M445 282q0 -64 -27.5 -125t-80.5 -104q-80 -65 -168 -65q-73 0 -109.5 46.5t-36.5 116.5q0 92 46.5 163t119.5 104q66 30 108 30q67 0 107.5 -43.5t40.5 -122.5zM355 280q0 62 -26.5 94.5t-64.5 32.5q-26 0 -44 -8q-39 -18 -74 -82t-35 -163q0 -57 25.5 -90.5t70.5 -33.5
q22 0 36 6q46 20 79 89t33 155z" id="x1D45C"></path></g>
<g transform="matrix(.008,-0,0,-.008,14.975,19.662)"><path d="M244 607q0 -25 -15.5 -43t-37.5 -18q-19 0 -32 13t-13 35q0 21 15 41t39 20q20 0 32 -14t12 -34zM222 91q-29 -33 -79 -68t-75 -35q-13 0 -19 7.5t-6 31t10 65.5l62 253q5 26 -1 26q-21 0 -72 -43l-13 24q43 40 91 68t71 28q30 0 10 -78l-71 -274q-8 -30 3 -30
q16 0 76 48z" id="x1D456"></path></g>
<g transform="matrix(.017,-0,0,-.017,18.55,12.725)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,24.432,12.725)"><path d="M298 36l-68 -35q-25 -13 -42 -13q-98 0 -98 119v290h-69l-4 11l28 29h45v72l65 67l14 -2v-137h113q8 -8 6 -21t-12 -19h-107v-256q0 -96 59 -96q29 0 61 17z" id="x74"></path></g><g transform="matrix(.017,-0,0,-.017,29.616,12.725)"><path d="M181 342h2q63 107 121 107q24 0 41 -16t17 -34q0 -34 -32 -49q-17 -7 -26 2q-21 20 -43 20q-20 0 -42 -22t-38 -63v-183q0 -50 12.5 -62t69.5 -16v-26h-230v26q47 5 58 17t11 61v207q0 49 -9 60.5t-53 16.5v23q74 12 141 40v-109z" id="x72"></path></g>
<g transform="matrix(.012,-0,0,-.012,35.912,16.8)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g><g transform="matrix(.012,-0,0,-.012,39.113,16.8)"><path d="M95 130q31 0 61 -30t30 -78q0 -53 -38 -87.5t-93 -51.5l-11 29q77 31 77 85q0 26 -17.5 43t-44.5 24q-4 0 -8.5 6.5t-4.5 17.5q0 18 15 30t34 12z" id="x2C"></path></g><g transform="matrix(.012,-0,0,-.012,41.826,16.8)"><path d="M474 429q-19 -69 -47 -222l-65 -347q-8 -49 0 -60t49 -16l26 -3l-4 -26l-246 -12l4 25l17 3q37 6 50 20.5t23 60.5l67 321h-2q-65 -79 -150 -138q-69 -47 -104 -47q-28 0 -48.5 32t-20.5 81q0 78 35 148t90 117q67 57 161 77q23 5 58 5q43 0 90 -15zM387 387
q-30 16 -75 16q-58 0 -92 -27q-49 -39 -78.5 -112t-29.5 -136q0 -34 8.5 -52.5t21.5 -18.5q40 0 109.5 63.5t103.5 115.5q16 53 32 151z" id="x1D45E"></path></g>
<g transform="matrix(.008,-0,0,-.008,47.675,20.287)"><path d="M238 681l-124 -585q-7 -31 4 -31q10 0 37.5 18.5t49.5 41.5l16 -22q-40 -48 -89.5 -81.5t-76.5 -33.5q-42 0 -16 122l105 488q7 32 0 41t-39 9h-35l5 26q35 3 71 13t58 17.5t26 7.5q14 0 8 -31z" id="x1D459"></path></g>
<g transform="matrix(.017,-0,0,-.017,51.2,12.725)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg>.</table>

Mathematical Problems in Engineering

fig4

Figure 4

Figure 4: Identification of Stochastic Timed Discrete Event Systems with st-IPN 