Domande d'esame VERIFICATO
Teoria 9 settembre 2022
87 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Formalizzare in logica CTL la proprietà dell'avvenimento p e q.
- Dimostrare che la formula EF(p -> E( p U AX(q)) è ben-formata e giustificare.
- Dare la semantica di EG e verificare con SAT per quali stati vale AG(p->EF(r)).
- Rappresentare in NuSMV l'automa considerando uno stato iniziale qualsiasi.
- Dare sintassi e semantica del costruttore forall, mostrare esempio di modello ASM.
- Descrivere modellazione dell'ambiente in ASM, non-determinismo causato dall'ambiente e altri tipi interni, con esempi non-deterministici.
- Modellare in ASM-multi agenti sistema di areazione automatica (controllore e ventilatore) per inverno e estate, estendere per funzionamento in caso di errore.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.