Francesco BASILE | Progetti

Sintesi di supervisori di tipo quantitativo per sistemi di automazione su larga scala. Implementazione di supervisori di tipo quantitativo per sistemi di automazione su larga scala su dispositivi di controllo commerciali.

Analisi e controllo di sistemi di automazione robusti rispetto a sensor-attack di tipo attivo.Analisi e controllo di sistemi di automazione robusti rispetto a sensor-attack di tipo passivo.

Analisi e controllo di sistemi ad eventi discreti con specifiche di robustezza rispetto a cyberattack di tipo attivo.Analisi e controllo di sistemi ad eventi discreti temporizzati con specifiche di robustezza rispetto a cyberattack di tipo passivo.