Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2016/2017
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Due insegnamenti a scelta
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Sistemi - SISTEMI A EVENTI DISCRETI (2015/2016)
Codice insegnamento
4S02785
Docente
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Periodo
I semestre dal 1 ott 2015 al 29 gen 2016.
Sede
VERONA
Obiettivi formativi
Introdurre ed ampliare le conoscenze relative ai metodi formali di specifica, progettazione e verifica 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 possono interagire con sistemi fisici (sistemi ciberfisici).
Prerequisiti. Il corso e' auto-contenuto, ma suppone la padronanza delle nozioni di base di matematica discreta, teoria degli automi ed equazioni differenziali.
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.
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
---|---|---|---|---|---|
Edward A. Lee and Sanjit A. Seshia | Introduction to Embedded Systems, A Cyber-Physical Systems Approach (Edizione 2) | http://LeeSeshia.org | 2015 | ISBN 978-1-312-42740-2 | Versione in rete scaricabile (ma non stampabile) da http://LeeSeshia.org Paperback: Second Edition, Printing 2.0 is available from LuLu.com |
Angela Di Febbraro, Alessandro Giua | Sistemi ad Eventi Discreti | MvGraw-Hill | 2002 | 88-386-0863-6 |
Modalità d'esame
Esame scritto.
Materiale e documenti
-
AD-SISS-ch3_4 Specifica di macchine a stati finiti (pdf, en, 519 KB, 10/19/15)
-
AD-SISS-ch6 Specifica di automi ibridi (pdf, en, 4918 KB, 10/19/15)
-
AD-TH-UCB01 Lezioni su sistemi e macchine a stati finiti (x-gzip, en, 750 KB, 10/4/15)
-
DES-CL-ch1_3 Sistemi a eventi discreti e controllo supervisore (x-gzip, en, 750 KB, 12/14/15)
-
Errata Corrige (x-gzip, it, 0 KB, 10/19/15)
-
RP-JC_p2 Sintesi da specifiche concorrenti (vnd.ms-powerpoint, en, 836 KB, 11/22/15)
-
RP-MESS-ch2 Introduzione alle reti di Petri (pdf, en, 294 KB, 11/9/15)
-
SI-PV-1 Gli automi ibridi: sintassi e semantica (pdf, en, 622 KB, 1/18/16)
-
SI-TV-2 La raggiungibilita' per gli automi ibridi (pdf, it, 189 KB, 1/18/16)
-
X1-TV Esercizi (pdf, it, 152 KB, 12/14/15)
-
XI-TV Temi d'esame (x-gzip, it, 2909 KB, 11/22/15)
-
Z-L1-csotiriou (pdf, en, 2983 KB, 5/26/16)
-
Z-L2-csotiriou (pdf, en, 2930 KB, 6/9/16)
-
Z-L3-csotiriou (pdf, en, 4060 KB, 6/9/16)
-
Z-L4-csotiriou (pdf, en, 2071 KB, 6/13/16)
-
Z-L5-csotiriou (pdf, en, 1387 KB, 6/15/16)
-
Z-L6-csotiriou (pdf, en, 2701 KB, 6/22/16)
-
Z-Progetto-csotiriou (pdf, en, 711 KB, 7/3/16)