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:

    “When I turned into a parent, I experienced a real and total personality change that slowly shifted back to the “normal” me, yet has not completely vanished. I believe the two levels are now superimposed, with an additional sprinkling of mortality intimations.”
    —Sonia Taitz (20th century)

    “We cannot feel strongly toward the totally unlike because it is unimaginable, unrealizable; nor yet toward the wholly like because it is stale—identity must always be dull company. The power of other natures over us lies in a stimulating difference which causes excitement and opens communication, in ideas similar to our own but not identical, in states of mind attainable but not actual.”
    —Charles Horton Cooley (1864–1929)

    “The quickness with which all the “stuff” from childhood can reduce adult siblings to kids again underscores the strong and complex connections between brothers and sisters.... It doesn’t seem to matter how much time has elapsed or how far we’ve traveled. Our brothers and sisters bring us face to face with our former selves and remind us how intricately bound up we are in each other’s lives.”
    —Jane Mersky Leder (20th century)

    “Since I am a man, my heart is three or four times less sensitive, because I have three or four times as much power of reason and experience of the world—a thing which you women call hard-heartedness. As a man, I can take refuge in having mistresses. The more of them I have, and the greater the scandal, the more I acquire reputation and brilliance in society.”
    —Stendhal [Marie Henri Beyle] (1783–1842)