Exercise 5: Timed Automata

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.

  1. Convert your tiny semester project into a version using timed automata.
  2. 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

  1. Discrete and Continous Time
  2. Example extended with Clocks
  3. Finite Automata and Clocks
  4. Automata Theoretic Semantics of Time



Gerd Doeben-Henisch 2010-03-03