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

Discrete event and hybrid systems  (2022/2023)

Codice insegnamento

4S009002

Docente

Tiziano Villa

Coordinatore

Tiziano Villa

Crediti

9

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Periodo

Primo semestre dal 3 ott 2022 al 27 gen 2023.

Orario Lezioni MoodleMoodle Seminari 0

Obiettivi di apprendimento

L'insegnamento si propone di descrivere i principali metodi formali per la specifica, analisi e sintesi di sistemi a eventi discreti e di sistemi ibridi. Tali sistemi si ottengono dalla composizione di componenti discrete eterogenee e concorrenti a diversi livelli di astrazione, con vincoli in tempo reale, interagenti con componenti continue artificiali e naturali. Alla fine lo studente dovrà dimostrare di avere acquisito le conoscenze fondamentali nell'ambito dei formalismi e degli algoritmi per la specifica, analisi e sintesi di sistemi a eventi discreti ed ibridi per operare su di essi con 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 macchine a stati finiti, reti di Petri, automi ibridi ed altri formalismi; ii) analizzarne il comportamento mediante tecniche formali strutturali e comportamentali sia esatte che approssimate; iii) sintetizzare controllori supervisori d'impianti descritti da automi finiti e reti di Petri con eventi incontrollabili e inosservabili; iv) analizzare il comportamento di sistemi ibridi con dinamiche sia continue che discrete. Al termine dell'insegnamento lo studente sarà in grado di: i) valutare autonomamente vantaggi e svantaggi di differenti scelte di formalismi di specifica, e di algoritmi per l'analisi e sintesi per sistemi a eventi discreti e per sistemi ibridi; ii) collaborare con altri specialisti di vari domini applicativi per scegliere il modello formale adatto per modellare, analizzare, sintetizzare e controllare un dato sistema ingegneristico; iii) proseguire anche autonomamente lo studio e la ricerca nell'ambito dei metodi formali per sistemi a eventi discreti e ibridi sia in ambito di applicazioni industriali che di ricerca scientifica. Prerequisiti. L'insegnamento introduce tutti gli strumenti matematici richiesti, ma si suppone che lo studente abbia una conoscenza di base dei concetti fondamentali di matematica discreta, teoria degli automi ed equazioni differenziali.

Prerequisiti e nozioni di base

Nessuno.

Programma

Introduzione alla teoria dei sistemi:
sistemi lineari e non lineari, combinatori e reattivi, causali e non.
Sistemi discreti e macchine a stati (finiti e infiniti).
Macchine a stati finiti deterministiche e 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'.

Modelli di reti di Petri.
Analisi della raggiungibilita' di reti di Petri: grafo e albero di
raggiungibilita' e di copertura, equazioni di stato, matrici d'incidenza.
Proprieta' strutturali e comportamentali di reti di Petri.
Espressivita' di classi di reti di Petri.

Controllo supervisore per automi e linguaggi regolari.
Esistenza e determinazione di un supervisore sotto controllabilita' parziale.
Esistenza e determinazione di un supervisore sotto osservabilita' parziale.
Esistenza e determinazione di un supervisore non-bloccante.
Soluzioni sovrapprossimate e sottoapprossimate del problema del controllo supervisore.

Automi ibridi: specifica e comportamento.
Il problema della raggiungibilita' per automi temporizzati.

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 in classe.

Modalità di verifica dell'apprendimento

L'esame consiste in una prova scritta contenente domande ed esercizi di teoria.

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

Comprensione dei modelli formali e loro proprietà matematiche per specificare, analizzare e controllare sistemi a eventi discreti e ibridi.

Criteri di composizione del voto finale

La prova è superata con un voto maggiore o uguale a 18/30.

Lingua dell'esame

English

Materiale e documenti