Indice generale. Prefazione

Transcript

1 Prefazione vii 1 Classificazione dei sistemi e dei modelli Introduzione Principi di base della teoria dei sistemi e del controllo I concetti di sistema e di modello Il concetto di stato Il concetto di controllo I sistemi ad eventi discreti Caratteristiche dei sistemi dinamici ad eventi discreti Un esempio di SED: il sistema a coda Modellazione di sistemi ad eventi discreti I modelli ad eventi discreti logici I modelli ad eventi discreti temporizzati I sistemi ibridi 14 Bibliografia 15 2 Sistemi ad eventi discreti logici Linguaggi formali Alfabeti e parole Operatori sulle parole Linguaggi Operatori sui linguaggi Automi finiti deterministici (AFD) Definizione di automa finito deterministico Linguaggi di un automa finito deterministico Automi finiti non deterministici (AFN) Definizione di automa finito non deterministico Linguaggi di un automa finito non deterministico Proprietà degli automi Raggiungibilità e blocco Automi come riconoscitori di sequenze Equivalenza fra automi deterministici e non deterministici Minimizzazione di un AFD Modellazione mediante automi Modelli di sistemi elementari 44

2 x Indice generale Modelli deterministici e non deterministici Sintesi modulare Espressioni regolari (ER) Equivalenza fra espressioni regolari e automi Espressione regolare equivalente a un automa deterministico Automa non deterministico equivalente a una espressione regolare Linguaggi regolari e altre classi di linguaggi formali Automi con ingressi ed uscite Macchina di Moore Macchina di Mealy 63 Esercizi 64 Bibliografia 68 3 Sistemi ad eventi discreti temporizzati Automi temporizzati Automi temporizzati deterministici Automi temporizzati stocastici Automi markoviani Catene di Markov Catene di Markov a tempo discreto Catene di Markov a tempo continuo Approssimazione di una CMTC con una CMTD Catene di Markov nascita-morte Elementi di teoria delle code Dinamica e prestazioni Classi particolari di code Reti di code markoviane 129 Esercizi 136 Bibliografia Reti di Petri posto/transizione Definizione di rete e sistema di rete Struttura delle reti posto/transizione Marcatura e sistema di rete Abilitazione e scatto Equazione di stato e proprietà dinamiche elementari Modellazione con reti di Petri Strutture elementari Esempi di modellazione Sintesi modulare Analisi mediante grafo di copertura Grafo di raggiungibilità Albero e grafo di copertura Proprietà comportamentali Analisi mediante equazione di stato Analisi basata sulla matrice d incidenza Vettori invarianti, crescenti e decrescenti Calcolo dei P-invarianti 188

3 xi Analisi della raggiungibilità mediante P-invarianti Proprietà strutturali Classi di reti di Petri posto/transizione Reti ordinarie e pure Reti acicliche Macchine di stato Grafi marcati Reti a scelta libera Confronto fra reti di Petri e automi finiti 203 Esercizi 204 Bibliografia Reti di Petri temporizzate Temporizzazione e concetti di base Reti di Petri temporizzate deterministiche Evoluzione dinamica Grafi marcati temporizzati Reti di Petri deterministiche con temporizzazione dei posti Algebra max-plus Modellare un sistema a coda con l algebra max-plus Analisi delle prestazioni: autovalori e autovettori Reti di Petri temporizzate stocastiche Costruzione della Catena di Markov equivalente alla RPTS Analisi strutturale e analisi prestazionale Reti di Petri stocastiche generalizzate Metodi di analisi dei modelli RPSG Reti di Petri continue e reti di Petri ibride Reti di Petri continue Reti di Petri ibride 275 Esercizi 278 Bibliografia Simulazione ad eventi discreti Fasi di uno studio di simulazione Concetti di base e principi di funzionamento Metodi per individuare gli eventi da inserire nel modello Schema di avanzamento per eventi Simulazione di un sistema a coda Generazione di variabili aleatorie Generazione di numeri casuali Generazione di variabili aleatorie con funzione di distribuzione generica Definizione dei dati di ingresso Identificazione di una funzione di distribuzione Verifica della correttezza della funzione di distribuzione scelta Verifica e validazione dei modelli simulativi Analisi dei risultati della simulazione Stima degli indici di prestazioni 325

4 xii Indice generale Analisi di simulazioni di durata finita Analisi di simulazioni stazionarie (non terminanti) Software per la simulazione ad eventi discreti Linguaggi di simulazione Risorse su web 335 Esercizi 335 Bibliografia Controllo supervisivo Processo o sistema a ciclo aperto Specifiche di controllo Specifiche dinamiche Specifiche statiche Specifiche qualitative Supervisore e controllo in retroazione Eventi controllabili e ingresso di controllo Supervisore Rappresentazione di supervisori mediante SED Sistema a ciclo chiuso: processo + supervisore Sintesi supervisiva Il problema del controllo supervisivo Sintesi di supervisori per specifiche controllabili e verifica della controllabilità Sintesi di supervisori per specifiche non controllabili Sintesi di supervisori con specifiche statiche e qualitative 365 Esercizi 366 Bibliografia Controllo di reti di Petri mediante monitor Specifiche di mutua esclusione generalizzate (GMEC) Mutua esclusione e GMEC GMEC multiple Potere descrittivo delle GMEC Posti monitor Monitor e sistema a ciclo chiuso I monitor sono supervisori massimamente permissivi Realizzabilità di un posto monitor Reti con transizioni non controllabili Controllabilità Marcature controllabili e monitor sub-ottimi Progetto di monitor sub-ottimi per GMEC non controllabili Reti con transizioni non osservabili Osservabilità Progetto di monitor sub-ottimi per GMEC non controllabili e non osservabili 403 Esercizi 405 Bibliografia 408

5 xiii A Elementi di teoria degli insiemi e algebra 409 A.1 Insiemi 409 A.2 Relazioni e funzioni 411 A.3 Relazioni binarie su un insieme 415 A.3.1 Relazioni di equivalenza 416 A.3.2 Relazioni di ordine 417 A.4 Composizione di relazioni e chiusura 418 Bibliografia 419 B Elementi di teoria dei grafi 421 B.1 Definizioni elementari 421 B.2 Cammini e cicli 422 B.3 Sottografi e componenti 423 Bibliografia 426 C Elementi di teoria della probabilità 427 C.1 Definizioni e concetti di base 427 C.1.1 Probabilità condizionata 428 C.2 Variabili aleatorie 429 C.2.1 Funzione di distribuzione 429 C.2.2 Funzione di probabilità 430 C.2.3 Funzione di densità di probabilità 430 C.2.4 Valore atteso, varianza e deviazione standard 431 C.3 Variabili aleatorie continue 431 C.3.1 Variabile aleatoria uniforme continua 432 C.3.2 Variabile aleatoria esponenziale 432 C.3.3 Variabile aleatoria normale o gaussiana 433 C.3.4 Variabile aleatoria χ C.4 Variabili aleatorie discrete 435 C.4.1 Variabile aleatoria uniforme discreta 435 C.4.2 Variabile aleatoria geometrica 436 C.4.3 Variabile aleatoria di Poisson 436 C.5 Processi stocastici 437 C.5.1 Processi di Markov (o markoviani) 438 C.5.2 I processi di Poisson 439 Bibliografia 441 D Formule notevoli 445 E Acronimi 447 F Notazione 449 Indice analitico 455