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