Timed Automata

Timed Automata

The effect of a lowerbound and upperbound guard:

The difference between guards and invariants

t

x

X can be reset to 0 if the elapsed time between two

transitions is in [2, 3]

s

2<= x <=3,

x:=0

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica