Timed Automata

Timed Automata

X<=5 AND Yɯ

Transitions

Transition due to a location switch (discrete):

(n, x = 2.4, y = 3.31)

a

(m, x = 0, y = 3.31)

Transition due to time elapse (continuous):

guards indicate when an edge may be taken,

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica