Timed Automata

Timed Automata

The effect of a guard and an invariant:

The difference between guards and invariants

The invariant is equal to 3, then a transition takes place each

time x is equal to 3, but transitions can take place in [2, 3]

guard

invariant

S

x<=3

x <=2,

x:=0

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica