Event segment: Difference between revisions

Revision as of 20:26, 21 July 2009

Revision as of 20:27, 21 July 2009

Line 30:

== Timed Language ==

The ''universal timed language'' over an event set <math>Z</math> and a time interval <math>[t_l, t_u] \subseteqsubset \mathbb{T}</math>, is denoted by

<math>\Omega_{Z,[t_l, t_u]}</math>, and is defined as the set of all possible

event segments. Formally,