Compiti ed esercitazioni VERIFICATO
esercitazioni prof: Ferrarini
69 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Controllo basato su P-invarianti: riformulazione delle specifiche come vincoli sulla marcatura dei posti, introduzione di posti di controllo e connessione con transizioni per formare invarianti soddisfacenti l'equazione L-Mp + Mc = b.
- Procedimento per risolvere il problema del sifone: formulazione del vincolo per prevenire la svuotatura, calcolo dei valori di C e Mc, e determinazione della rete di Petri risultante come controllore del sistema.
- Esempio con FMS: definizione delle transizioni e posti, grafo di raggiungibilità originale, applicazione del controllo con P-invarianti per prevenire il blocco del sistema e ricalcolo del grafo di raggiungibilità.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.