Timed event system


The General System has been described in Timed_Event_System#References| and Timed_Event_System#References| with the stand points to define the time base, the admissible input segments, the system states, the state trajectory with an admissible input segment, 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 Timed_Event_System#References|. 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

where
Given a timed event system, the set of its behaviors is called its language depending on the
observation time length. Let be the observation time length.
If, -length observation language of
is denoted by, and defined as

We call an event segment a -length behavior of, if.
By sending the observation time length to infinity, we define infinite length observation language of
is denoted by, and defined as

We call an event segment an infinite-length behavior of, if.