Timed Automata

Timed Automata

X<=5 AND Yɯ

Reset

Action performed on clocks

GUARD

Boolean combination of comparisons with

integer bounds

Action

used for synchronization

A STATE of the Automaton is defined by:

(location, X, Y)

called total state in the DEVS formalism

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica