Francesco BASILE | Projects

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

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

1. Sviluppo di metodologie per l'analisi e la sintesi di algoritmi di controllo distribuiti;2. Sviluppo di metodologie per la diturbance rejection in reti di sistemi nonlineari; 3. Applicazioni alla robotica mobile e veicoli autonomi.