Content deleted Content added
m Fixed Lint errors |
m clean up spacing around commas and other punctuation fixes, replaced: ],[ → ], [, ,t → , t (6), ,z → , z (7) |
||
Line 1:
A '''segment''' of a system variable in [[computing]] 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 a real interval, to the set <math>Z</math> [[Event_Segment#References|[Zeigler76]]], [[Event_Segment#References|[ZPK00]]], [[Event_Segment#References|[Hwang13]]]. A '''trajectory''' of a system variable is a sequence of segments concatenated. We call a trajectory constant (respectively linear) if its concatenating segments are constant (respectively linear).
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 System]]s such as [[DEVS]], [[timed automaton|timed automata]], and [[timed petri nets]].
| |||