The concept of timed automata changes the concept of a finite automaton to some degree. Here comes a basic exercise to understand the basic mechanisms.

- Convert your tiny semester project into a version using timed automata.
- Apply the defintions of the chapter about timed automata by showing how your project generates some runs.

Use the following sections of the lecture notes on the Web:

Chapter: Automata, Languages, and Graphs

Section: Timed Automata

- Discrete and Continous Time
- Example extended with Clocks
- Finite Automata and Clocks
- Automata Theoretic Semantics of Time

Gerd Doeben-Henisch 2010-03-03