Semantics

• clock valuations:

• state:

• Semantics of timed automata is a labeled transition systemwhere

• action transition 

• delay Transition

g a r

l

l’

Previous slide

Next slide

Back to first slide

View graphic version