시간 지정 이벤트 시스템

일반 시스템은 [Zeigler76] 및 [ZPK00]에서 (1) 타임베이스, (2) 허용 입력 세그먼트, (3) 시스템 상태, (4) 허용 입력 세그먼트가 있는 상태 궤적, (5) 주어진 상태에 대한 출력을 정의하는 관점과 함께 설명되었습니다.

현재 및 사건 세그먼트와 관련된 상태 궤적을 정의하는 시간적 사건 시스템은 일반 시스템의 클래스에서 나와 비결정론적 행동을 허용했다[Hwang2012].DEVS의 동작은 Timed Event System으로 설명할 수 있기 때문에 DEVS 및 RTDEVS는 Timed Event System의 서브 클래스 또는 동등한 클래스입니다.

시간 지정 이벤트 시스템

시간 제한 이벤트 시스템은 구조입니다.

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

어디에

$(\displaystyle \,Z)$ 는 $\,Z$ 일련의 이벤트입니다.
$(\displaystyle\,Q)$ 는 $\,Q$ 상태 집합입니다.
$\,Q_{0}\subseteq Q$ 0 $({displaystyle\,Q_{0}\subseteq$ Q $)$ 는 $\,Q_{0}\subseteq Q$ 초기 상태의 집합입니다.
$Q_{A}\subseteq Q$ A $Q_{A}\subseteq Q$ Q { $display style$ Q _ { $A$ } \ $subseteq$ Q $Q_{A}\subseteq Q$ }는 $Q_{A}\subseteq Q$ 수용 상태의 집합입니다.
$\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ Q × $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ , $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ [ $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ l $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ , t $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ $(q,\omega ,q')\in \Delta$ ] $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ × Q ( \ $displaystyle$ \ $Delta$ \ $subseteq Q$ \ $times$ \ $Omega$ _ { $Z$ , [ $t _$ l , t _ { $u$ } $(q,\omega ,q')\in \Delta$ } $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ \ times $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ Q } oriesdisplay ofdisplay $(q,\omega ,q')\in \Delta$ ( $displaydisplaydisplaydisplay$ displaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplay $。$ $\in$ Q $}$ 와 $q'\in Q$ 이벤트 세그먼트 $\omega \in \Omega _{Z,[t_{l},t_{u}]}$ 、 $\omega \in \Omega _{Z,[t_{l},t_{u}]}$ [ $\omega \in \Omega _{Z,[t_{l},t_{u}]}$ l , $\omega \in \Omega _{Z,[t_{l},t_{u}]}$ u $]{$ $displaystyle$ \osmega $\in \Omega$ _ ${$ $Z$ , [ $t_{l$ , $t_{u$ 2개의 상태 $(q_{1},\omega _{1},q_{2})$ 궤적( $(q_{1},\omega _{1},q_{2})$ 1, $(q_{1},\omega _{1},q_{2})$ 1, $q$ 2)의 $(q_{1},\omega _{1},q_{2})$ 경우, \displaystyle $(q_{$ 1}, \ $ope$ { $1_u$ }, $(q_{3},\omega _{2},q_{4})\in \Delta$ 3_q} 및 $(q_{3},\omega _{2},q_{4})\in \Delta$ { $(q_{3},\omega _{2},q_{4})\in \Delta$ $})$ $q_{2}=q_{3}$ 2 $=$ $q_{2}=q_{3}$ 3 ({ $displaystyle q_{2$ }= $q_{3$ 및 $\omega _{2}$ 1 $\omega _{1}$ ({ $1$ 및 q 2 ({ $displaystyle \obe$ _ { $2})$ 이 $\omega_2$ 연속된 경우 $q_{2}=q_{3}$ continuous가 됩니다.2개의 연속된 상태 궤적 $(q,\omega _{1},p)$ " $(q,\omega _{1},p)$ , $(q,\omega _{1},p)$ p $")$ { $displaystyle (q,\obega _{1$ }, $p)}$ $(p,\omega _{2},q')\in \Delta$ 및 $(q,\omega _{1},p)$ ( $(p,\omega _{2},q')\in \Delta$ " $(p,\omega _{2},q')\in \Delta$ , $(p,\omega _{2},q')\in \Delta$ q $(p,\omega _{2},q')\in \Delta$ ) $(p,\omega _{2},q')\in \Delta$ {\ ${\$ {\ $(q,\omega _{1}\omega _{2},q')\in \Delta$ \ $displaystyle$ ( $p,\obega$ _{ $2},$ $(q,\omega _{1}\omega _{2},q')\in \Delta$ $')\in \Delta$ }는 $(p,\omega _{2},q')\in \Delta$ $(q,\omega _{1}\omega _{2},q')\in \Delta$ ( $q,$ 、 $(q,\omega _{1}\omega _{2},q')\in \Delta$ 、 $(q,\omega _{1}\omega _{2},q')\in \Delta$ \ $displaystyle$ 。

타임 이벤트 시스템의 동작과 언어

Given a timed event system ${\mathcal {G}}=<Z,Q,Q_{0},Q_{A},\Delta >$ , the set of its behaviors is called its language depending on the observation time length. $\displaystyle$ t를 $t$ 관찰 시간 길이로 합니다.0 $0\leq t<\infty$ t < { $display$ style $0$ \ $leq$ t < \ infty $0\leq t<\infty$ 인 경우 G ${\mathcal {G}}$ { \ $displaystyle$ { \ $mathcal$ { $G$ ${\mathcal {G}}$ $}$ }의 $t$ ${\mathcal {G}}$ t{ $displaystyle$ t} - length 관찰언어는 $L({\mathcal {G}},t)$ L ( $L({\mathcal {G}},t)$ , $)$ 로 나타나며 다음과 같이 정의됩니다.

\displaystyle L({\mathcal {G}},t)=\{\{Z,[0,t]):\exists(q_{0},\obega,q)\in \Delta,q_{0}\in Q_{A}\.}

이벤트 세그먼트 $\omega \in \Omega _{Z,[0,t]}$ 、 $\omega \in \Omega _{Z,[0,t]}$ [ $\omega \in \Omega _{Z,[0,t]}$ , $]{$ $displaystyle$ \ $\omega \in \Omega _{Z,[0,t]}$ $obega$ \ $in$ \ $Omega$ _ { Z , [ 0 , $\omega \in L({\mathcal {G}},t)$ ]} 를 $\omega \in \Omega _{Z,[0,t]}$ G { \ $displaystyle$ \ ${\mathcal {G}}$ $mathcal$ { $G$ ${\mathcal {G}}$ $}}$ 의 $길이$ 동작이라고 부릅니다(이 $).$

관측시간 ${displaystyle$ t $}$ 를 $t$ ${\mathcal {G}}$ 무한대로 전송함으로써 ${\mathcal {G}}$ 의 무한장 관측언어를 $L({\mathcal {G}},\infty )$ displaystyle { $G$ $}).$ L $({\mathcal$ {G $}}},\infty$

L({\mathcal {G}},\infty}=\{\operget {t\rightarrow \infty}{\lim }}}\Omega _{Z,[0,t]}:\exists \q:(q_{0},\delta,{0})\in}

이벤트 세그먼트 $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ t $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ , $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ [ $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ , t $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ ]{ $display style \ omega$ \ $in$ { t $\rightarrow$ \infty }{\lim }}}\ $Omega$ _ ${Z$ $,$ [ $0,$ $t$ ${\mathcal {G}}$ 은 $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ $\omega \in L({\mathcal {G}},\infty )$ 의 ${\mathcal {G}}$ $\omega \in L({\mathcal {G}},\infty )$ 이라고 부릅니다 $\omega \in L({\mathcal {G}},\infty )$

「」를 참조해 주세요.

상태 이행 시스템

레퍼런스

[Zeigler76]Bernard Zeigler (1976). Theory of Modeling and Simulation (first ed.). Wiley Interscience, New York.
[ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Theory of Modeling and Simulation (second ed.). Academic Press, New York. ISBN 978-0-12-778455-7.
[황2012]

Search

시간 지정 이벤트 시스템

네임스페이스

더

목차