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/05
9
B
ING-INF/04
9
C
ING-IND/13 ,ING-IND/35
Compulsory activities for Embedded & Iot Systems
6
B
ING-INF/05
6
B
ING-INF/05
Compulsory activities for Robotics Systems
6
B/C
INF/01
6
B/C
ING-INF/05
Compulsory activities for Smart Systems & Data Analytics
6
B/C
INF/01 ,ING-INF/06
6
B/C
ING-INF/05

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

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
Final exam
24
E
-
InsegnamentiCreditiTAFSSD
9
B
ING-INF/05
9
B
ING-INF/05
9
B
ING-INF/04
9
C
ING-IND/13 ,ING-IND/35
Compulsory activities for Embedded & Iot Systems
6
B
ING-INF/05
6
B
ING-INF/05
Compulsory activities for Robotics Systems
6
B/C
INF/01
6
B/C
ING-INF/05
Compulsory activities for Smart Systems & Data Analytics
6
B/C
INF/01 ,ING-INF/06
6
B/C
ING-INF/05
Attivato nell'A.A. 2022/2023
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
Final exam
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
3 modules among the following
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
ING-INF/01
6
C
ING-IND/16
6
C
INF/01
6
C
SECS-P/10
6
C
INF/01 ,ING-IND/34
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
3
F
-
Tra gli anni: 1°- 2°
Training
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  (2021/2022)

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 4 ott 2021 al 28 gen 2022.

Orario Lezioni MoodleMoodle Seminari 0

Obiettivi formativi

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.

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à d'esame

L'esame consiste in una prova scritta contenente domande ed esercizi di teoria.
La prova è superata con un voto maggiore o uguale a 18/30.

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

Materiale e documenti