Behavior of Coupled DEVS - View1: Total States = States * Elapsed Times

View1: Total States = States * Elapsed Times

Given a coupled DEVS model, its behavior is described as an atomic DEVS model

where

  • and are the input event set and the output event set, respectively.
  • is the partial state set where is the total state set of component (Refer to View1 of Behavior of DEVS), where is the set of non-negative real numbers.
  • is the initial state set where is the total initial state of component .
  • is the time advance function, where is the set of non-negative real numbers plus infinity.Given ,
     ta(s)= \min\{ ta_i(si) - t_{ei}| i \in D\}.


  • is the external state function. Given a total state where, and input event, the next state is given by

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, let denote the set of imminent components. The firing component which triggers the internal state transition and an output event is determined by

  • is the internal state function. Given a partial state, the next state is given by

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}
  • is the output function. Given a partial state ,
     \lambda(s)=
\begin{cases}
\phi &\text{if } \lambda_{i^*}(s_{i^*})=\phi \\
C_{yy}(\lambda_{i^*}(s_{i^*})) &\text{otherwise}.
\end{cases}

Read more about this topic:  Behavior Of Coupled DEVS

Famous quotes containing the words total, states, elapsed and/or times:

    The chief lesson of the Depression should never be forgotten. Even our liberty-loving American people will sacrifice their freedom and their democratic principles if their security and their very lives are threatened by another breakdown of our free enterprise system. We can no more afford another general depression than we can afford another total war, if democracy is to survive.
    Agnes E. Meyer (1887–1970)

    I asked myself, “Is it going to prevent me from getting out of here? Is there a risk of death attached to it? Is it permanently disabling? Is it permanently disfiguring? Lastly, is it excruciating?” If it doesn’t fit one of those five categories, then it isn’t important.
    Rhonda Cornum, United States Army Major. As quoted in Newsweek magazine, “Perspectives” page (July 13, 1992)

    ... most Southerners of my parents’ era were raised to feel that it wasn’t respectable to be rich. We felt that all patriotic Southerners had lost everything in defense of the South, and sufficient time hadn’t elapsed for respectable rebuilding of financial security in a war- impoverished region.
    Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 1 (1962)

    He thought that, because the community represents millions of people, therefore it must be millions of times more important than the individual, forgetting that the community is an abstraction from the many, and is not the many themselves.
    —D.H. (David Herbert)