Gruppi di ricerca-Dip.Ingegneria per la medicina di innovazione-Università degli Studi di Verona

Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. Robotica, Intelligenza Artificiale e Controllo

Robotica, Intelligenza Artificiale e Controllo

Il gruppo di ricerca "Robotica, Intelligenza Artificiale e Controllo" è impegnato nello sviluppo della teoria e delle applicazioni dei robot "intelligenti", cioè' di quei dispositivi robotici che includono algoritmi di Intelligenza Artificiale e Controlli Avanzati per poter interagire in modo efficace con l’ambiente circostante e con l’uomo, reagire autonomamente a variazioni inaspettate della situazione, o permettere la separazione fisica tra operatore e ambiente di lavoro. Queste caratteristiche sono richieste alla maggior parte dei sistemi robotici avanzati, inclusi i robot per applicazioni industriali (ad es. i robot collaborativi), i robot medicali e chirurgici, quelli per la logistica e per l'assistenza domestica. I progetti del gruppo sono realizzati in collaborazione con centri di ricerca in Europa e in Italia, e sono stati finanziati da istituzioni nazionali italiane, e dai fondi del Programma Horizon dell'Unione Europea.

Andrea Calanca
Professore associato
Alessandro Farinelli
Professore ordinario (Dipartimento Informatica)
Bogdan Mihai Maris
Ricercatore a tempo determinato
Nicola Sansonetto
Professore associato (Dipartimento Informatica)
Diego Dall'Alba
Incaricato alla ricerca
Paolo Fiorini
Studioso Senior
Riccardo Muradore
Professore associato
Francesco Setti
Professore associato
Argomento Area di ricerca
Agenti intelligenti Intelligenza Artificiale Distributed artificial intelligence
Agenti intelligenti Ingegneria del Software e Verifica Formale Distributed artificial intelligence
AI e robotica Intelligenza Artificiale Planning and scheduling
AI e robotica Ingegneria del Software e Verifica Formale Planning and scheduling
Apprendimento non supervisionato Intelligenza Artificiale Machine learning
Apprendimento non supervisionato Ingegneria del Software e Verifica Formale Machine learning
Apprendimento per rinforzo Intelligenza Artificiale Machine learning
Apprendimento per rinforzo Ingegneria del Software e Verifica Formale Machine learning
Apprendimento supervisionato Intelligenza Artificiale Machine learning
Apprendimento supervisionato Ingegneria del Software e Verifica Formale Machine learning
Deep learning Intelligenza Artificiale Machine learning
Deep learning Ingegneria del Software e Verifica Formale Machine learning
Dinamica non-olonoma Algebra, Geometria e Logica Matematica Methods of Riemannian geometry, including PDE methods; curvature restrictions
Dinamica non-olonoma Metodi e modelli matematici Finite-dimensional Hamiltonian, Lagrangian, contact, and nonholonomic systems
Image processing and computer vision Sistemi intelligenti e analisi di dati
Sistemi intelligenti e analisi di dati
Ingegneria industriale e industria sostenibile Sistemi robotici e automazione
Sistemi robotici e automazione
Intelligenza artificiale spiegabile Intelligenza Artificiale Machine learning
Intelligenza artificiale spiegabile Ingegneria del Software e Verifica Formale Machine learning
Intelligenza meccanica incarnata e sostenibile Sistemi robotici e automazione
Sistemi robotici e automazione
Meccanica applicata alle macchine Sistemi robotici e automazione
Sistemi robotici e automazione
Pianificazione con incertezza Intelligenza Artificiale Planning and scheduling
Pianificazione con incertezza Ingegneria del Software e Verifica Formale Planning and scheduling
Pianificazione multi-agente Intelligenza Artificiale Planning and scheduling
Pianificazione multi-agente Ingegneria del Software e Verifica Formale Planning and scheduling
Pianificazione neurosimbolica Intelligenza Artificiale Planning and scheduling
Pianificazione neurosimbolica Ingegneria del Software e Verifica Formale Planning and scheduling
Quantizzazione Geometrica of integrable Hamiltonian systems Algebra, Geometria e Logica Matematica Methods of Riemannian geometry, including PDE methods; curvature restrictions
Robotica Sistemi robotici e automazione
Sistemi robotici e automazione
Sistemi integrabili Hamiltoniani e non Hamiltoniani in dimensione finita Metodi e modelli matematici Finite-dimensional Hamiltonian, Lagrangian, contact, and nonholonomic systems
Sistemi Multiagente Intelligenza Artificiale Distributed artificial intelligence
Sistemi Multiagente Ingegneria del Software e Verifica Formale Distributed artificial intelligence
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
AccuRobAs: Accurate Robotic Assistant Paolo Fiorini Unione Europea 01/09/2006 36
ARS - Autonomous Robotic Surgery Paolo Fiorini Unione Europea 01/10/2017 60
ATLAS - AuTonomous intraLuminAl Surgery Paolo Fiorini Unione Europea 01/04/2019 48
C4C - Control for Coordination of Distributed Systems Tiziano Villa Unione Europea 01/05/2008 36
ECHORD: EduFIll, filling the gap in robotics education Paolo Fiorini Unione Europea 01/02/2012 18
EURON Paolo Fiorini Commissione Europea 01/05/2001 36
EUROSURGE: European Robotic Surgery Paolo Fiorini Unione Europea 01/10/2011 24
FILOSE - Robotic Fish Locomotion and Sensing Paolo Fiorini Unione Europea 01/02/2009 36
GLAXO Prova di concetto su sistema robotico per la movimentazione e gestione di piccoli oggetti Paolo Fiorini GlaxoSmithKline S.p.A. 01/11/2002 18
ITEC Studio di algoritmi per la compensazione del ritardo di trasmissione in teleoperazione Paolo Fiorini Agenzia Spaziale Italiana 01/09/2000 36
MATRICS Analisi e modellazione di sistemi complessi Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 01/02/2003 24
MEDICATE The control, identification and delivery of prescribed medication Paolo Fiorini Unione Europea 01/05/2001 36
Modellazione e resa aptico/visiva di oggetti soffici e deformabili (PRIN 2005) Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 30/01/2006 24
MURAB - MRI and Ultrasound Robotic Assisted Biopsy Paolo Fiorini Unione Europea 01/01/2016 48
Registrazione e acquisizione multimodale di immagini (PRIN 2007) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 22/09/2008 24
ROBOCHIR Chirurgia robotica Paolo Fiorini Banca Popolare di Verona 01/04/2003 24
RoSta: Robotic Standards Paolo Fiorini Unione Europea 01/01/2007 24
SAFROS - Patient Safety in Robotic Surgery Paolo Fiorini Unione Europea 01/04/2010 36
SARAS - Smart Autonomous Robotic Assistant Surgeon Riccardo Muradore Unione Europea 01/01/2018 36
Simulatore chirurgico aggiornato con dati intraoperatori (PRIN 2008) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 27/01/2010 24
Sviluppo di tecnologie basate su immagini termiche per il monitoraggio indoro e outdoor Claudia Daffara, Riccardo Muradore Regione Veneto 01/07/2017 12
Telepresence Instant Groupware for higher Education in Robotics (TIGER) (FIRB 2001) Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 21/02/2003 46
TESTA Sistema di visione artificiale scalabile per la robotica spaziale Paolo Fiorini Agenzia Spaziale Italiana 02/09/2002 12
XPERO: Learning by experimentation Paolo Fiorini Unione Europea 01/04/2006 36
Nome Descrizione
Laboratorio ALTAIR

Al laboratorio di robotica ALTAIR afferiscono i ricercatori impegnati nella studio dei sistemi intelligenti e robotici, dal punto di vista del controllo, dell'interazione uomo macchina, della modellistica matematica, della sicurezza, dell'analisi delle proprieta' formali e della pianificazione delle attivita' e del cammino.
 
Condividi