ENRICO FERRENTINO | 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

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

The main goal of the project is to build a system to help the user in both the transcription of small collections of handwrittendocuments (as those available in local museums, church records and notary transactions), and the search for the digital images of aword. The proposed system is meant to be language and script independent and to require the manual transcription of just a fewpages of the

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.

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