Pasquale CHIACCHIO | 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.

Verrano sviluppate metodologie innovative per la sintesi di controllori data-driven che siano robusti rispetto ad incertezze epistemiche nell'impianto che potrà essere nonlineare, stocastico e non-stazionario. Per raggiungere questo scopo, il progetto sara' articolato in 3 obiettivi concreti: O1 - formalizzazione del problem di controllo. Il problema verra' formalizzato come un problema di contro

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.

Verrano sviluppate metodologie innovative per la sintesi di protocolli di controllo per la coordinazione di una rete di agenti in ambienti stocastici e non-stazionari. Gli agenti determineranno le proprie azioni direttamente dai datiPer raggiungere questo scopo, il progetto sara' articolato in 3 obiettivi concreti:O1 - formalizzazione del problem di controllo. Il problema verra' formalizzato co

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.

Applicazioni quali trasporto ed assemblaggio di parti nell'industria manifatturiera, costruzione di basi per l'esplorazione planetaria, assistenza fisica per lavori usuranti e supporto a persone disabili ed anziane hanno in comune la manipolazione di oggetti ingombranti e/o pesanti che non può essere eseguita da un singolo essere umano o robot.In tale contesto, si studieranno tecniche di pianifi

Lo scopo ultimo del progetto e' quello di sviluppare metodologie innovative per la sintesi di algoritmi di controllo dai dati che siano sicuri ed efficienti. Per raggiungere questo scopo, il progetto sara' articolato in 3 obiettivi concreti:O1 - sintesi di algoritmi di controllo per applicazioni real time con uso parsimonioso dei dati. Verranno sviluppate metodologie per sintetizzare, direttament