Sistemi - SISTEMI A EVENTI DISCRETI (2015/2016)

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 1-ott-2015 al 29-gen-2016.

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ì 10.30 - 12.30 lezione Aula I  
martedì 8.30 - 10.30 lezione Aula I  

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.

Testi di riferimento
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 didattico

Documenti

Opinione studenti frequentanti - 2015/2016