Időzített eseményrendszer - Timed event system

Az Általános rendszert a [Zeigler76] és a [ZPK00] leírják a stand-pontokkal, hogy meghatározzák (1) az időalapot , (2) a megengedett bemeneti szegmenseket, (3) a rendszer állítja, (4) az állapotpályát egy megengedett bemeneti szegmens, (5) egy adott állapot kimenete.

Az időzített eseményrendszer, amely meghatározza az aktuális és az eseményszegmensekhez társított állapotpályát, az Általános rendszer osztályából érkezett, hogy lehetővé tegye a benne nem determinisztikus viselkedést [Hwang2012] . Mivel a DEVS viselkedését az Időzített Esemény Rendszer leírhatja , a DEVS és az RTDEVS az Időzített Esemény Rendszer alosztálya vagy azzal egyenértékű osztálya.

Időzített eseményrendszerek

Az időzített eseményrendszer egy szerkezet

${\ displaystyle {\ mathcal {G}} = <Z, Q, Q_ {0}, Q_ {A}, \ Delta>}$

hol

• ${\ displaystyle \, Z}$ az események halmaza ;
• ${\ displaystyle \, Q}$ az állapotok halmaza ;
• ${\ displaystyle \, Q_ {0} \ subseteq Q}$ van a beállított kezdeti állapotok ;
• ${\ displaystyle Q_ {A} \ subseteq Q}$ az elfogadó állapotok halmaza ;
• ${\ displaystyle \ Delta \ subseteq Q \ times \ Omega _ {Z, [t_ {l}, t_ {u}]} \ szor Q}$ az állapotpályák halmaza, amely azt jelzi, hogy egy állapot egy eseményszegmenssel együtt átválthat . Ha két állam pályák és az úgynevezett szomszédos, ha , és két esemény pályákat és összefüggőek. Két összefüggő állapotpálya és implicit . ${\ displaystyle (q, \ omega, q ') \ a Delta-ban}$${\ displaystyle q \ Q-ban}$${\ displaystyle q '\ Q-ban}$ ${\ displaystyle \ omega \ in \ Omega _ {Z, [t_ {l}, t_ {u}]}}$${\ displaystyle (q_ {1}, \ omega _ {1}, q_ {2})}$${\ displaystyle (q_ {3}, \ omega _ {2}, q_ {4}) \ a \ Delta}$${\ displaystyle q_ {2} = q_ {3}}$${\ displaystyle \ omega _ {1}}$${\ displaystyle \ omega _ {2}}$${\ displaystyle (q, \ omega _ {1}, p)}$${\ displaystyle (p, \ omega _ {2}, q ') \ a \ Delta}$${\ displaystyle (q, \ omega _ {1} \ omega _ {2}, q ') \ a \ Delta}$

Az időzített eseményrendszer viselkedése és nyelvei

Adott egy időzített esemény rendszer , a készlet a viselkedés az úgynevezett saját nyelven függően a megfigyelési idő hossza. Legyen a megfigyelési idő hossza. Ha , -hosszú megfigyelési nyelvét jelöljük és definiáljuk ${\ displaystyle {\ mathcal {G}} = <Z, Q, Q_ {0}, Q_ {A}, \ Delta>}$${\ displaystyle t}$${\ displaystyle 0 \ leq t <\ infty}$${\ displaystyle t}$ ${\ displaystyle {\ mathcal {G}}}$${\ displaystyle L ({\ mathcal {G}}, t)}$

${\ displaystyle L ({\ mathcal {G}}, t) = \ {\ omega \ in \ Omega _ {Z, [0, t]}: \ létezik (q_ {0}, \ omega, q) \ in \ Delta, q_ {0} \ Q_ {0}, q \ Q_ {A} \}.}$

Eseményszegmensnek hívjuk a hosszúság viselkedését , ha . ${\ displaystyle \ omega \ in \ Omega _ {Z, [0, t]}}$${\ displaystyle t}$${\ displaystyle {\ mathcal {G}}}$${\ displaystyle \ omega \ L-ben ({\ mathcal {G}}, t)}$

Elküldésével a megfigyelési idő hossza a végtelenbe, mi határozza meg a végtelen hosszúságú megfigyelési nyelvét jelöli , és határozzák meg a ${\ displaystyle t}$ ${\ displaystyle {\ mathcal {G}}}$${\ displaystyle L ({\ mathcal {G}}, \ infty)}$

${\ displaystyle L ({\ mathcal {G}}, \ infty) = \ {\ omega \ in {\ alulhalmaz {t \ rightarrow \ infty} {\ lim}} \ Omega _ {Z, [0, t]} : \ létezik \ {q: (q_ {0}, \ omega, q) \ Delta-ban, q_ {0} \ Q_-ben {0} \} \ subseteq Q_ {A} \}.}$

Eseményszegmensnek nevezzük végtelen hosszúságú viselkedését , ha . ${\ displaystyle \ omega \ in {\ underset {t \ rightarrow \ infty} {\ lim}} \ Omega _ {Z, [0, t]}}$${\ displaystyle {\ mathcal {G}}}$${\ displaystyle \ omega \ L-ben ({\ mathcal {G}}, \ infty)}$

Lásd még

Állami átmeneti rendszer

Hivatkozások

• [Zeigler76] Bernard Zeigler (1976). Modellezés és szimuláció elmélete (első kiadás). Wiley Interscience, New York.
• [ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Modellezés és szimuláció elmélete (második kiadás). Academic Press, New York. ISBN   978-0-12-778455-7 .
• [Hwang2012] Hold H. Hwang. "Véges és valós idejű DEVS-hálózatok minőségi ellenőrzése". A 2012. évi TMS / DEVS eljárásai . Orlando, FL, USA. 43: 1–43: 8. ISBN   978-1-61839-786-7 .