Il corso di Controllo di Supervisione ha come obiettivo principale quello di introdurre gli studenti alle problematiche di analisi e controllo per i sistemi ad eventi discreti (SED). I sistemi ad eventi discreti sono una particolare categoria di sistemi dinamici non-lineari a spazio di stato discreto ed event-driven. Gli strumenti principali di analisi e sintesi utilizzati durante il corso per lo studio dei SED sono la teoria dei linguaggi, gli automi e le reti di Petri.
1. Introduzione ai sistemi ad eventi discreti
3. Operazioni sugli automi e linguaggi regolari
4. Automi deterministici temporizzati
5. Automi temporizzati stocastici e catene di Markov
6. Reti di Petri – Definizioni e proprietà
7. Reti di Petri – Grafo di raggiungibilità e grafo di copertura
8. Proprietà comportamentali delle reti di Petri
9. Reti di Petri – Stima dell'insieme di raggiungibilità e classificazione
10. Reti di Petri temporizzate
11. Introduzione al controllo di supervisione
12. Controllo di Supervisione - Parte Prima
13. Controllo di Supervisione - Parte Seconda
Gianmaria De Tommasi è nato a Milano il 23 maggio 1975. Attualmente è Ricercatore universitario presso la Facoltà di Ingegneria dell’Università degli Studi di Napoli Federico II, nel settore scientifico-disciplinare ING-INF/04 Automatica. La sua attività di ricerca è rivolta ad argomenti di carattere sia applicativo che metodologico, quali il controllo del plasma in macchine da fusione nucleare, l’analisi dei guasti per sistemi ad eventi discreti modellati con reti di Petri, l’identificazione di sistemi ad eventi discreti e la stabilità di sistemi ibridi.