Timed Automata

In the examples so far did the dimension of time not explicitly occur. Only as part of the concept of an execution or as a path p as part of an execution graph g we encountered equally spaced indices $I \subseteq Nat$ as the domain of a sequence $\sigma = \langle\sigma_{0}, \sigma_{1}, \cdots, \sigma_{k}, \cdots \rangle$ . In the following chapter the dimension of time will be made the main subject. The point of view are some mathematical concepts ready for use in an application domain with automata and real clocks.