Fornire le conoscenze di base, sia metodologiche che operative, necessarie per valutare le procedure di controllo supervisore delle operazioni negli insiemi coordinati di macchine manifatturiere automatiche.
Curriculum
scheda docente
materiale didattico
SISTEMI AD EVENTI DISCRETI (SED)
MODELLI AD EVENTI DISCRETI (MED)
• MED LOGICI
• MED TEMPORIZZATI
2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI
TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI
PROCESSI DI NASCITA E MORTE
TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO
RETI DI CODE APERTE
RETI DI CODE CHIUSE
3. MED LOGICI
AUTOMI
4. MED TEMPORIZZATI
RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI:
ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE
MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE
CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE
PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ
INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE.
RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT
Programma
1. INTRODUZIONESISTEMI AD EVENTI DISCRETI (SED)
MODELLI AD EVENTI DISCRETI (MED)
• MED LOGICI
• MED TEMPORIZZATI
2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI
TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI
PROCESSI DI NASCITA E MORTE
TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO
RETI DI CODE APERTE
RETI DI CODE CHIUSE
3. MED LOGICI
AUTOMI
4. MED TEMPORIZZATI
RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI:
ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE
MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE
CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE
PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ
INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE.
RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI
Testi Adottati
DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT
scheda docente
materiale didattico
SISTEMI AD EVENTI DISCRETI (SED)
MODELLI AD EVENTI DISCRETI (MED)
• MED LOGICI
• MED TEMPORIZZATI
2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI
TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI
PROCESSI DI NASCITA E MORTE
TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO
RETI DI CODE APERTE
RETI DI CODE CHIUSE
3. MED LOGICI
AUTOMI
4. MED TEMPORIZZATI
RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI:
ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE
MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE
CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE
PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ
INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE.
RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT
Mutuazione: 20801782 ANALISI DEI SISTEMI AD EVENTI in Ingegneria informatica L-8 ADACHER LUDOVICA
Programma
1. INTRODUZIONESISTEMI AD EVENTI DISCRETI (SED)
MODELLI AD EVENTI DISCRETI (MED)
• MED LOGICI
• MED TEMPORIZZATI
2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI
TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI
PROCESSI DI NASCITA E MORTE
TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO
RETI DI CODE APERTE
RETI DI CODE CHIUSE
3. MED LOGICI
AUTOMI
4. MED TEMPORIZZATI
RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI:
ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE
MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE
CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE
PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ
INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE.
RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI
Testi Adottati
DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT