Compiti ed esercitazioni VERIFICATO
esercitazioni prof: Ferrarini
8 visualizzazioni
Nessun voto ancora
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à.