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:

    “Love, which is the essence of God, is not for levity, but for the total worth of man.”
    —Ralph Waldo Emerson (1803–1882)

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

    “I don’t know how it is up North, of course, but down South there are times when Southern women feel a need for privacy.”
    —John Lee Mahin (1902–1984)