Event segment: Difference between revisions

Revision as of 22:16, 9 November 2021

Revision as of 13:27, 28 October 2022

Line 8:

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:

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 ==