Stable module category

Template:Multiple issues The General System has been described in [Zeigler76] and [ZPK00] with the stand points to define (1) the time base, (2) the admissible input segments, (3) the system states, (4) the state trajectory with an admissible input segment, (5) the output for an given state.

A Timed Event System defining the state trajectory associated with the current and event segments came from the class of General System to allows non-deterministic behaviors in it[Hwang2012]. Since the behaviors of DEVS can be described by Timed Event System, DEVS and RTDEVS is a sub-class or an equivalent class of Timed Event System.

Timed Event Systems

A timed event system is a structure

$\mathcal{𝒢}=<Z,Q,Q_0,Q_A,\mathrm{\Delta }>$

where

• $Z$ is the set of events;
• $Q$ is the set of states;
• $Q_0\subseteq Q$ is the set of initial states;
• $Q_A\subseteq Q$ is the set of accepting states;
• $\mathrm{\Delta }\subseteq Q\times {\mathrm{\Omega }}_{Z,[t_l,t_u]}\times Q$ is the set of state trajectories in which $(q,\omega ,q^{\prime })\in \mathrm{\Delta }$ indicates that a state $q\in Q$ can change into $q^{\prime }\in Q$ along with an event segment $\omega \in {\mathrm{\Omega }}_{Z,[t_l,t_u]}$. If two state trajectories $(q_1,{\omega }_1,q_2)$ and $(q_3,{\omega }_2,q_4)\in \mathrm{\Delta }$ are called contiguous if $q_2=q_3$, and two event trajectories ${\omega }_1$ and ${\omega }_2$ are contiguous. Two contiguous state trajectories $(q,{\omega }_1,p)$ and $(p,{\omega }_2,q^{\prime })\in \mathrm{\Delta }$ implies $(q,{\omega }_1{\omega }_2,q^{\prime })\in \mathrm{\Delta }$.

Behaviors and Languages of Timed Event System

Given a timed event system $\mathcal{𝒢}=<Z,Q,Q_0,Q_A,\mathrm{\Delta }>$, the set of its behaviors is called its language depending on the observation time length. Let $t$ be the observation time length. If $0\le t<\mathrm{\infty }$, $t$-length observation language of $\mathcal{𝒢}$ is denoted by $L(\mathcal{𝒢},t)$, and defined as

$L(\mathcal{𝒢},t)=\{\omega \in {\mathrm{\Omega }}_{Z,[0,t]}:\mathrm{\exists }(q_0,\omega ,q)\in \mathrm{\Delta },q_0\in Q_0,q\in Q_A\}.$

We call an event segment $\omega \in {\mathrm{\Omega }}_{Z,[0,t]}$ a $t$-length behavior of $\mathcal{𝒢}$, if $\omega \in L(\mathcal{𝒢},t)$.

By sending the observation time length $t$ to infinity, we define infinite length observation language of $\mathcal{𝒢}$ is denoted by $L(\mathcal{𝒢},\mathrm{\infty })$, and defined as

$L(\mathcal{𝒢},\mathrm{\infty })=\{\omega \in \underset{t\to \mathrm{\infty }}{\lim }{\mathrm{\Omega }}_{Z,[0,t]}:\mathrm{\exists }\{q:(q_0,\omega ,q)\in \mathrm{\Delta },q_0\in Q_0\}\subseteq Q_A\}.$

We call an event segment $\omega \in \underset{t\to \mathrm{\infty }}{\lim }{\mathrm{\Omega }}_{Z,[0,t]}$ an infinite-length behavior of $\mathcal{𝒢}$, if $\omega \in L(\mathcal{𝒢},\mathrm{\infty })$.

See also

State Transition System

References

• [Zeigler76] 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• [ZKP00] 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• [Hwang2012] 55 years old Systems Administrator Antony from Clarence Creek, really loves learning, PC Software and aerobics. Likes to travel and was inspired after making a journey to Historic Ensemble of the Potala Palace.
  
  You can view that web-site... ccleaner free download