Che materia stai cercando?

Automazione Industriale - appunti

Teoria dei Linguaggi

Sistemi ad eventi discreti, linguaggi, automi
Operazione di proiezione
Automi deterministici
Deadlock e livelock
Automi non deterministici
Operazioni sugli automi

Teoria della bisimulazione

Definizione di bisimulazione
Gerarchia di equivalenze
Relazioni di equivalenza
Riduzione in simulazione

Osservatore dello... Vedi di più

Esame di Automazione industriale docente Prof. G. Pola

Anteprima

ESTRATTO DOCUMENTO

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner


PAGINE

45

PESO

17.48 MB

PUBBLICATO

3 mesi fa


DESCRIZIONE APPUNTO

Teoria dei Linguaggi

Sistemi ad eventi discreti, linguaggi, automi
Operazione di proiezione
Automi deterministici
Deadlock e livelock
Automi non deterministici
Operazioni sugli automi

Teoria della bisimulazione

Definizione di bisimulazione
Gerarchia di equivalenze
Relazioni di equivalenza
Riduzione in simulazione

Osservatore dello stato, osservabilità
DES parzialmente osservabili
Automi a stati finiti
Analisi di DES
Diagnosi di eventi

Controllo supervisore

Controllo supervisore di DES
Ammissibilità
Specifiche
Teorema della controllabilità, dimostrazione
Controllabilità dei linguaggi
Teorema della controllabilità, caso non-blocking
Teorema della controllabilità ed osservabilità


DETTAGLI
Corso di laurea: Corso di laurea in ingegneria dell'informazione
SSD:
Università: L'Aquila - Univaq
A.A.: 2018-2019

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher damfaz.24 di informazioni apprese con la frequenza delle lezioni di Automazione industriale e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università L'Aquila - Univaq o del prof Pola Giordano.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!

Altri appunti di Corso di laurea in ingegneria dell'informazione

Diagrammi di Bode
Appunto
Teoria dei sistemi - Appunti
Appunto
Stabilità dei sistemi lineari e stazionari
Appunto
Evoluzione dei sistemi lineari
Appunto