Event segment: Difference between revisions

Revision as of 22:16, 9 November 2021

Latest revision as of 07:52, 10 May 2025

(4 intermediate revisions by 4 users not shown)

Line 1:

{{multiple issues|

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&nbsp;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).

{{COI|date=May 2025}}

{{notability|date=May 2025}}

{{technical|date=May 2025}}

{{Merge to|DEVS|date=May 2025}}

}}

{{Short description|Computational modeling concept}}

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&nbsp;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]].

Line 8 ⟶ 15:

The ''time base'' of the concerning systems is denoted by <math> \mathbb{T} </math>, and defined

<{{center>|1=<math> \mathbb{T}=[0,\infty) </math> </center>}}

as the set of non-negative real numbers.

Line 35 ⟶ 42:

Mathematically, an event trajectory is a mapping <math>\omega</math> a time period <math>[t_l,t_u] \subseteq \mathbb{T} </math> to an event set <math>Z</math>. So we can write it in a function form :

<{{center>|1=<math> \omega:[t_l,t_u] \rightarrow Z^* .</math></center>}}

== Timed language ==