Behavior of coupled DEVS

DEVS is closed under coupling [Zeigper84] [ZPK00]. In other words, given a coupled DEVS model  N , its behavior is described as an atomic DEVS model  M. For a given coupled DEVS  N , once we have an equivalent atomic DEVS  M , behavior of  M can be referred to behavior of atomic DEVS which is based on Timed Event System.

Similar to behavior of atomic DEVS, behavior of the Coupled DEVS class is described depending on definition of the total state set and its handling as follows.

View1: Total States = States * Elapsed Times

Given a coupled DEVS model  N = <X,Y,D,\{M_i\},C_{xx}, C_{yx}, C_{yy}, Select>, its behavior is described as an atomic DEVS model  M = <X,Y,S,s_0,ta, \delta_{ext}, \delta_{int}, \lambda>

where


where

 
(s_i', t_{ei}')= 
\begin{cases}
(\delta_{ext}(s_i, t_{ei}, x_i),0) & \text{if } (x, x_i) \in C_{xx}\\
(s_i, t_{ei}) & \text{otherwise}.
\end{cases}

Given the partial state s=(\ldots,(s_i, t_{ei}),\ldots) \in S , let  IMM(s)=\{i \in D| ta_i(s_i) = ta(s) \} denote the set of imminent components. The firing component  i^* \in D which triggers the internal state transition and an output event is determined by

 i^* = Select(IMM(s)).

where

 
(s_i', t_{ei}')= 
\begin{cases}
(\delta_{int}(s_i),0) & \text{if } i = i^*\\
(\delta_{ext}(s_i, t_{ei}, x_i),0) & \text{if } (\lambda_{i^*}(s_{i^*}), x_i) \in C_{yx}\\
(s_i, t_{ei}) & \text{otherwise}.
\end{cases}

View2: Total States = States * Lifespan * Elapsed Times

Given a coupled DEVS model  N = <X,Y,D,\{M_i\},C_{xx}, C_{yx}, C_{yy}, Select>, its behavior is described as an atomic DEVS model  M = <X,Y,S,s_0,ta, \delta_{ext}, \delta_{int}, \lambda>

where


where

 
(s_i', t_{si}', t_{ei}')= 
\begin{cases}
(s_i', ta_i(s_i'), 0) & \text{if } (x, x_i) \in C_{xx},\delta_{ext}(s_i, t_{si}, t_{ei}, x_i)=(s_i',1)\\
(s_i', t_{si}, t_{ei} ) & \text{if } (x, x_i) \in C_{xx},\delta_{ext}(s_i, t_{si}, t_{ei}, x_i)=(s_i',0)\\
(s_i, t_{ei}) & \text{otherwise}
\end{cases}

and

 
b=
\begin{cases}
1 & \text{if } \exists i \in D: (x, x_i) \in C_{xx},\delta_{ext}(s_i, t_{si}, t_{ei}, x_i)=(s_i',1)\\
0 & \text{otherwise}.
\end{cases}

Given the partial state s=(\ldots,(s_i, t_{si}, t_{ei}),\ldots) \in S , let  IMM(s)=\{i \in D| t_{si} - t_{ei} = ta(s) \} denote the set of imminent components. The firing component  i^* \in D which triggers the internal state transition and an output event is determined by

 i^* = Select(IMM(s)).

where

 
(s_i', t_{si}', t_{ei}')= 
\begin{cases}
(s_i', ta_i(s_i'),0) & \text{if } i = i^*,\delta_{int}(s_i)=s_i',\\
(s_i', ta_i(s_i'),0)  & \text{if } (\lambda_{i^*}(s_{i^*}), x_i) \in C_{yx},\delta_{ext}(s_i, t_{si}, t_{ei}, x_i)=(s', 1)\\
(s_i', t_{si}, t_{ei})  & \text{if } (\lambda_{i^*}(s_{i^*}), x_i) \in C_{yx},\delta_{ext}(s_i, t_{si}, t_{ei}, x_i)=(s', 0)\\
(s_i, t_{si}, t_{ei}) & \text{otherwise}.
\end{cases}

Time Passage

Since in a coupled DEVS model with non-empty sub-components, i.e.,  |D|>0, the number of clocks which trace their elapsed times are multiple, so time passage of the model is noticeable.

For View1

Given a total state  q=(s,t_e) \in Q where  s = (\ldots,(s_i, t_{ei}),\ldots)

If unit event segment  \omega is the null event segment, i.e.  \omega=\epsilon_{[t, t+dt]}, the state trajectory in terms of Timed Event System is

 \Delta(q, \omega)=((\ldots,(s_i, t_{ei}+dt),\ldots), t_e+dt).
For View2

Given a total state  q=(s,t_s,t_e) \in Q where  s = (\ldots,(s_i, t_{si}, t_{ei}),\ldots)

If unit event segment  \omega is the null event segment, i.e.  \omega=\epsilon_{[t, t+dt]}, the state trajectory in terms of Timed Event System is

 \Delta(q, \omega)=((\ldots,(s_i,t_{si}, t_{ei}+dt),\ldots),  t_{s}, t_e+dt).

Remarks

  1. The behavior of a couple DEVS network whose all sub-components are deterministic DEVS models can be non-deterministic if  Select(IMM(s)) is non-deterministic.

See also

References

This article is issued from Wikipedia - version of the Thursday, March 31, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.