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

A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021

Il 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

InsegnamentiCreditiTAFSSD
9
B
ING-INF/05
9
B
ING-INF/04
9
C
ING-IND/13 ,ING-IND/35
9
B
ING-INF/05
Compulsory activities for Embedded & Iot Systems
6
B
ING-INF/05
6
B
ING-INF/05
Compulsory activities for Smart Systems & Data Analytics
6
B/C
INF/01 ,ING-INF/06
6
B/C
ING-INF/05
Compulsory activities for Robotics Systems
6
B/C
INF/01
6
B/C
ING-INF/05

2° Anno  Attivato nell'A.A. 2023/2024

InsegnamentiCreditiTAFSSD
Compulsory activities for Embedded & Iot Systems
6
B/C
INF/01
6
B/C
ING-INF/05
Compulsory activities for Robotics Systems
6
B/C
ING-INF/04
6
B/C
ING-INF/05
Compulsory activities for Smart Systems & Data Analytics
6
B/C
ING-INF/05
6
B/C
ING-INF/05
24
E
-
InsegnamentiCreditiTAFSSD
9
B
ING-INF/05
9
B
ING-INF/04
9
C
ING-IND/13 ,ING-IND/35
9
B
ING-INF/05
Compulsory activities for Embedded & Iot Systems
6
B
ING-INF/05
6
B
ING-INF/05
Compulsory activities for Smart Systems & Data Analytics
6
B/C
INF/01 ,ING-INF/06
6
B/C
ING-INF/05
Compulsory activities for Robotics Systems
6
B/C
INF/01
6
B/C
ING-INF/05
Attivato nell'A.A. 2023/2024
InsegnamentiCreditiTAFSSD
Compulsory activities for Embedded & Iot Systems
6
B/C
INF/01
6
B/C
ING-INF/05
Compulsory activities for Robotics Systems
6
B/C
ING-INF/04
6
B/C
ING-INF/05
Compulsory activities for Smart Systems & Data Analytics
6
B/C
ING-INF/05
6
B/C
ING-INF/05
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
3
F
-
Tra gli anni: 1°- 2°
3 modules among the following (Computer vision and Human computer interaction 1st year only; Advanced computer architectures 2nd year only; the other courses both 1st and 2nd year). Year 2023/24: Robot Programming and Control not activated
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
ING-INF/01
6
C
INF/01 ,ING-INF/06
6
C
ING-IND/16
6
C
INF/01
6
C
SECS-P/10
6
C
INF/01 ,ING-INF/06
6
C
INF/01
6
C
INF/01
6
C
INF/01
Tra gli anni: 1°- 2°
12
D
-
Tra gli anni: 1°- 2°
Further activities. International students (ie students who do not have an Italian bachelor’s degree) must compulsorily gain 3 credits of Italian language skills
3
F
-

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.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Systems design laboratory  (2022/2023)

Codice insegnamento

4S009016

Docenti

Tiziano Villa, Matteo Zavatteri

Coordinatore

Tiziano Villa

Crediti

6

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

Secondo semestre dal 6 mar 2023 al 16 giu 2023.

Orario Lezioni MoodleMoodle Seminari 0

Obiettivi di apprendimento

L'insegnamento propone attività di studio e laboratorio che completano il percorso di apprendimento dei metodi formali per la progettazione di sistemi ingegneristici a partire da modelli, i cui fondamenti teorici sono proposti nell'insegnamento Discrete Event and Hybrid Systems (cui si rinvia per l'informazione relativa). L'insegnamento descrive gli strumenti esistenti per la specifica, analisi e sintesi di sistemi a eventi discreti e di sistemi ibridi. Tali sistemi sono costituiti dalla composizione di componenti discrete eterogenee e concorrenti a diversi livelli di astrazione, anche con vincoli in tempo reale e interazione con sistemi continui artificiali e naturali. Nello specifico, i sistemi modellati ed analizzati durante l'attività di laboratorio provengono dal dominio dell'Industria 4.0, con particolare attenzione ai sistemi robotici. Alla fine lo studente dimostrerà con un progetto di avere acquisito le conoscenze fondamentali per operare con strumenti di progettazione avanzata basati su metodi formali per la specifica, analisi e sintesi di sistemi a eventi discreti ed ibridi mediante la metodologia basata su modelli. Queste conoscenze consentiranno allo studente di: i) rappresentare sistemi a eventi discreti e ibridi sotto forma di linguaggi, automi e logiche; ii) analizzarne il comportamento mediante tecniche formali strutturali e comportamentali sia esatte che approssimate; iii) sintetizzare controllori supervisori d'impianti descritti da automi con eventi incontrollabili e inosservabili. Al termine dell'insegnamento lo studente sarà in grado di: i) valutare autonomamente vantaggi e svantaggi di differenti librerie di codice per la specifica, l'analisi e sintesi di sistemi a eventi discreti e ibridi; ii) collaborare con altri specialisti di vari domini applicativi per costruire il modello formale più adatto per modellare, analizzare, sintetizzare e controllare un dato sistema ingegneristico; iii) procedere nello studio indipendente della letteratura recente sull'argomento.

Prerequisiti e nozioni di base

Sistemi a eventi discreti e ibridi.

Programma

Rappresentazione di modelli formali per i sistemi
--------------------------------------------------
Modelli formali per sistemi a eventi discreti
Funzioni e reti Booleane
Diagrammi di decisione
Multi-valued and temporal logica
Logiche a piu' valori e temporali
Automi finiti e omega-automi

Sistemi a Eventi Discreti
-------------------------
Modellazione di impianti e specifiche di controllo tramite automi a stati finiti
Controllo supervisore
Eclipse Supervisory Control Engineering Toolkit (ESCET)
Linguaggio di specifica CIF (Compositional Interchange Format)
Simulazione
Sintesi automatica di controllori supervisori
Progettazione di interfacce grafiche tramite SVG

Sistemi Ibridi
--------------
Automi ibridi e strumenti per la loro analisi
Analisi di raggiungibilita' e rappresentazione degl'insiemi
Algoritmi per la raggiungibilita' ibrida
Sistemi complessi e loro analisi
Dall'analisi statica a quella dinamica

Bibliografia

Vai alla bibliografia
Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Modalità didattiche

Lezioni e sessioni di laboratorio in classe.
L'insegnamento e' organizzato in tre parti (Modelli formali per i sistemi, Sistemi a eventi discreti, Sistemi ibridi).

Modalità di verifica dell'apprendimento

L'insegnamento e' organizzato in tre parti (Modelli formali per i sistemi, Sistemi a eventi discreti, Sistemi ibridi).
Ogni studente svolgera' un progetto in una di esse
e un esercizio di laboratorio in ognuna di esse.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Criteri di valutazione

Capacita' di modellare esempi di sistemi a eventi discreti e ibridi con i formalismi e le librerie descritte in classe.

Criteri di composizione del voto finale

Ogni studente svolgera' un esercizio di laboratorio in ognuna delle tre parti, e un progetto in una delle tre parti a scelta.
Il voto sara' definito come segue: 21/30 progetto,
3/30 x 3 = 9/30 esercizi di laboratorio, totale 30/30.

Lingua dell'esame

English

Materiale e documenti