Sistemi Robotici in ambienti complessi

L'obiettivo del progetto è quello di sviluppare nuove metodologie e tecniche formali per la modellazione e la valutazione efficiente di proprietà di sistemi robotici complessi di uso comune, operanti in tempo sia discreto che continuo e con complesse interazioni con l'ambiente esterno. In particolare, si farà riferimento a sistemi dotati di dispositivi di manipolazione, di locomozione, di sistemi percettivi complessi (localizzazione, riconoscimento) e capacità di deliberazione (pianificazione, ragionamento). In questo contesto, saranno investigati modelli continui e ibridi e algoritmi per la verifica basati sulla teoria dei giochi sfruttando metodi probabilistici e tecniche di modularizzazione. Per la realizzazione degli obiettivi proposti, si farà uso di diversi strumenti e metodologie proprie della teoria degli automi, dei giochi, delle logiche temporali discrete e continue, della robotica, del planning, della modellazione multi-agente, della ottimizzazione della sicurezza e della progettazione e sviluppo e relativa implementazione di algoritmi in ambienti di calcolo scientifico ad alte prestazioni. Il progetto, che ha dunque un carattere marcatamente interdisciplinare, si propone di fondere le varie competenze possedute dai partecipanti al progetto per il raggiungimento degli obiettivi prefissati.