Laurea magistrale in Ingegneria e scienze informatiche
Sistemi - SISTEMI A EVENTI DISCRETI (2011/2012)
| Codice insegnamento |
4S02785 |
|
Docente
|
Tiziano Villa
|
|
crediti
|
6
|
| Settore disciplinare |
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
|
| Lingua di erogazione |
Italiano |
| Periodo |
I semestre dal 3-ott-2011 al 31-gen-2012.
|
|
| Pagine collegate |
 |
|
| |
|
|
Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare  organizzazione dell'insegnamento
Orario lezioni
| I semestre |
| Giorno |
Ora |
Tipo |
Luogo |
Note |
| lunedì |
9.30 - 11.30 |
lezione |
Aula I
|
|
| mercoledì |
8.30 - 10.30 |
lezione |
Aula I
|
|
Obiettivi formativi
Introdurre ed ampliare le conoscenze relative alle metodologie di specifica e progettazione di sistemi HW e SW. Tali
sistemi includono componenti eterogenei e concorrenti hardware e software a diversi livelli di astrazione con vincoli in tempo
reale e che possono interagire con sistemi fisici (sistemi ciberfisici). Il corso affronta i più comuni linguaggi di specifica per sistemi HW, SW e di rete.
Programma
Introduzione alla teoria dei sistemi.
Sistemi discreti e macchine a stati (finiti e infiniti).
Macchine a stati finiti deterministiche, osservabili, nondeterministiche.
Composizione di macchine a stati finiti.
Minimizzazione, determinizzazione, equivalenza e contenimento per macchine a stati finiti.
Relazioni di simulazione e bisimulazione per macchine a stati finiti.
Sintesi di controllori a stati finiti per proprieta' di sicurezza e di vitalita'.
Reti di Petri.
Controllo supervisore per automi e linguaggi regolari.
Automi ibridi.
Linguaggi per la specifica dell'hardware.
Modalita d'esame
Esame scritto.
|
Materiale didattico
|
| Titolo |
Formato (Lingua, Dimensione, Data pubblicazione) |
|
AD-SISS-ch3_4 Specifica di macchine a stati finiti
|
 pdf (en, 519,508 KB, 21/11/11)
|
|
AD-SISS-ch6 Specifica di sistemi ibridi
|
pdf (en, 4.918,472 KB, 10/02/12)
|
|
AD-TH-UCB01 Lezioni su sistemi e macchine a stati
|
 x-gzip (it, 750,386 KB, 21/11/11)
|
|
DES-CL_ch1-3 Sistemi a eventi discreti e controllo supervisore
|
x-gzip (it, 751,097 KB, 21/11/11)
|
|
RP-MESS_ch2 Introduzione alle reti di Petri
|
pdf (en, 294,415 KB, 21/11/11)
|
|
SI-TV2 La raggiungibilita' per gli automi ibridi
|
pdf (it, 148,312 KB, 16/03/12)
|
|
X1-TV Esercizi
|
pdf (it, 89,045 KB, 21/11/11)
|
|
X1-TV Temi d'esame
|
x-gzip (it, 721,718 KB, 21/11/11)
|
|
