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.

L'impiego di robot in contesti di collaborazione ed assistenza all'uomo è oggi sempre più frequente per migliorare l'accuratezza in compiti industriali, assistere in operazioni di assemblaggio e di trasporto, operare in ambienti pericolosi, intervenire in ambito medico La ricerca proposta si focalizza sullo scambio di forze tra il robot ed il collaboratore umano, al fine di rendere la collaborazi

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.

La ricerca si pone come obiettivo primario la definizione di metodologie di pianificazione e controllo di robot ridondanti e cooperanti, estendendo i risultati degli ultimi anni attraverso il progetto di soluzioni che siano sostenibili dal punto di vista computazionale, flessibili a contingenze ed adatte all'interazione con l'ambiente e/o l'essere umano. Tali metodologie saranno orientate all'otti

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