Q1: Explain using illustrations the difference between classical automata and timed automata?
- Write down the formal specification of clock continent?
- Write the formal definition of an edge in a timing automaton with a finite number of states S
- What is location invariant and how is it different from clock constraint in
terms of functionality?
Sample Solution