A segment of a system variable shows a homogenous status of system dynamics over a time period. Here, a homogenous status of a variable is a state which can be described by a set of coefficients of a formula. For example, of homogenous statuses, we can bring status of constant ('ON' of a switch) and linear (60 miles or 96 km per hour for speed). Mathematically, a segment is a function mapping from a set of times which can be defined by an real interval, to the set
Contents
- Time base
- Event and null event
- Timed event
- Null segment
- Unit event segment
- Concatenation
- Event trajectory
- Timed language
- References
An event segment is a special class of the constant segment with a constraint in which the constant segment is either one of a timed event or a null-segment. The event segments are used to define Timed Event Systems such as DEVS, timed automata, and timed petri nets.
Time base
The time base of the concerning systems is denoted by
as the set of non-negative real numbers.
Event and null event
An event is a label that abstracts a change. Given an event set
Timed event
A timed event a pair
Null segment
The null segment over time interval
Unit event segment
A unit event segment is either a null event segment or a timed event.
Concatenation
Given an event set
Event trajectory
An event trajectory
Mathematically, an event trajectory is a mapping
Timed language
The universal timed language
A timed language