2 \emph{Consider the train gate controller example of slide
9, lecture
3 \emph{Timed Automata
}. Give an example of a series of timed transitions
4 (including intermediate states) of the composed system (so the product
5 construction of the three automata) showing a train approaching and finally
9 \includegraphics[width=
.3\linewidth]{1a
}
10 \caption{Timed transitions of the composed system
}
14 \emph{Consider the timed automaton in figure
1 of the paper ”Timed Automata” by
15 Rajeev Alur. Suppose initially we have a zone $(s0,
[0 \leq x
\leq 4,
0 \leq y
16 \leq 3])$. Give the zone after a sequence a.b and show the intermediate steps
20 \emph{Consider the timed automaton in figure
1 of the paper
\emph{Timed
21 Automata
} by Rajeev Alur. Give the zone automaton of the timed automaton, with
22 initial state $(s0,
[x =
0, y =
0])$.
}