Giovanni RUSSO | Progetti

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.

Controllo di sistemi ad eventi discreti temporizzati con specifiche di robustezza rispetto a cyberattack.Validazione basata su modello di sistemi reattivi e temporizzati.

Partendo da metodologie di pianificazione e controllo di robot ridondanti e cooperanti, che sono oggetto di una linea di ricerca parallela, si studierà la loro applicazione per sistemi robotici per l'esplorazione spaziale.In particolare, si approfondirà come le particolari esigenze di tali sistemi, necessità di ottimizzazione energetica e di utilizzo efficiente delle risorse computazioni, influe

Identificazione di sistemi di automazione industriale finalizzata alla validazione ed alla correzione di modelli esistenti di sistemi reattivi. Controllo di sistemi ad eventi discreti temporizzati, dimostrando la fattibilità delle metodologie su sistemi di automazione reali. Applicazione della pianificazione a tempo minimo ai robot ridondanti e cooperanti, dimostrando la fattibilità delle traie

Per la parte automazione, gli obiettivi riguarderanno il controllo di sistemi ad eventi discreti temporizzati e l'identificazione ed analisi di guasti in sistemi ad eventi temporizzati.Per la parte robotica, gli obiettivi riguarderanno il controllo di sistemi multirobot (eventualmente in presenza di ridondanza cinematica)