MED temporizzati
Cos'è un MED temporizzato
Il modello MED temporizzato è un modello matematico di un sistema a eventi discreti (SED).
Dove MED significa Modello a Eventi Discreti.
E' un'alternativa ai MED logici.
Come funziona un MED temporizzato
La traccia/traiettoria degli eventi è una sequenza di coppie composte all'evento e (stato del sistema) e dall'istante temporale t in cui si verifica il cambio di stato del sistema.
$$ (e_1,t_0) , (e_2,t_1) , ... $$
La variabile e indica gli eventi ammissibili che si presentano, mentre la variabile t è la variabile tempo.
La differenza tra MED temporizzati e MED logici. I MED temporizzati si distinguono dai MED logici per la presenza della temporizzazione associata agli eventi ammissibili.
Tipi di MED temporizzati
Esistono due tipologie di MED temporizzati
- MED temporizzato deterministico
Sono realizzati mediante strutture algebriche (es. algebra max-plus), automi temporizzati o reti di Petri temporizzate.Nota. Un esempio si struttura algebrica è l'algebra max-plus. Si tratta di una tecnica di modellazione dei SED temporizzati che descrive il comportamento dinamico del sistema tramite delle equazioni di stato lineare simile ai tradizionali SAT (sistemi ad avanzamento temporale).
- MED temporizzato stocastico
Si basano sulla distribuzione stocastica delle variabili. Sono più complessi rispetto ai sistemi deterministici.
E così via.