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:

    “Unlike Descartes, we own and use our beliefs of the moment, even in the midst of philosophizing, until by what is vaguely called scientific method we change them here and there for the better. Within our own total evolving doctrine, we can judge truth as earnestly and absolutely as can be, subject to correction, but that goes without saying.”
    —Willard Van Orman Quine (b. 1908)

    “In it he proves that all things are true and states how the truths of all contradictions may be reconciled physically, such as for example that white is black and black is white; that one can be and not be at the same time; that there can be hills without valleys; that nothingness is something and that everything, which is, is not. But take note that he proves all these unheard-of paradoxes without any fallacious or sophistical reasoning.”
    —Savinien Cyrano De Bergerac (1619–1655)

    “... 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)

    “We women are not made for governing and if we are good women, we must dislike these masculine occupations; but there are times which force one to take interest in them mal gré bon gré, and I do, of course, intensely.”
    —Victoria (1819–1901)