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 discret…
Sommario della lezione Vincoli di mutua esclusione generalizzata (GMEC); Controllo supervisivo mediante
Sommario della lezione Realizzazione del supervisore; Basic Supervisory Control Problem (BSCP); Dual Basic
Sommario della lezione Linguaggi ammissibili e richiesti a ciclo chiuso; Traduzione di
Sommario della lezione Controllo supervisivo in presenza di eventi non-controllabili. Controllo supervisivo
Sommario della lezione Schema di riferimento per il controllo di supervisione Specifiche
Sommario Reti di Petri temporizzate Reti di Petri temporizzate – Ipotesi di
Sommario della lezione Metodi algebrici per la stima dell'insieme di raggiungibilit
Sommario della lezione Proprietà comportamentali delle reti di Petri Raggiungibilità Limitatezza Conservatività Ripetitività Reversibilità Vivezza Raggiungibilità Problema "Dato un sistema
Sommario della lezione Grafo di raggiungibilità Grafo di copertura Rappresentazione grafica di Grafo
Sommario della lezione Automi temporizzati stocastici; Catene di Markov. Automi temporizzati stocastici Struttura
Sommario della lezione Reti di Petri: definizioni Equazione di stato di una
Sommario della lezione SED temporizzati; Automi temporizzati deterministici; Evoluzione temporale
Sommario della lezione Operazioni sugli automi Operazioni unarie Operazioni binarie Software UMDES Linguaggi regolari e
Sommario della lezione Linguaggi ed automi Definizione di linguaggio Operazioni sui linguaggi Definizione di
Sommario della lezione Introduzione ai sistemi ad eventi discreti Concetti di Sistema