| Topic | People | Description | |
|---|---|---|---|
| Sistemi robotici e automazione | |||
| AI, Robotics & Automatic Control |
Andrea Calanca Diego Dall'Alba Roberto Di Marco Paolo Fiorini Bogdan Mihai Maris Riccardo Muradore Francesco Visentin |
Robotics is concerned with the development of systems that make the intelligent connection between perception and action. For this reason, robotics is strongly interdisciplinary, including mechanical and electronic design, computation and data fusion algorithms, machine learning and reasoning, and motion control and environment interaction methods. In the last years, robotics systems have matured in terms of safety and reliability and they can now work in delicate environments and in direct contact with people. In case of demanding cognitive tasks, robots are usually supported by a human operator, in a teleoperation mode. A well established example of teleoperation system is a surgical robot, in which a surgeon directly moves the robotic tools to carry out the intervention. A new research direction is the addition of autonomous functions to the robotic systems. To reach this goal, we need to improve the perceptual and cognitive capabilities of the robots, to interact safely with a complex real environment. Some of the research topics addressed at the University of Verona include: control and system theory, modeling and analysis of human perception, coordination of multiple-robot systems, distributed sensing and control algorithms, teleoperation algorithms, and analysis of the physical interaction of humans and robots. | |
| Name | Description | URL |
|---|---|---|
| ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici | Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari. | |
| Information Extraction for Robotic Surgery | Il gruppo si occupa di ricercare e sviluppare tecniche per l'estrazione di informazione da manuali e contenuti testuali nell'ambito della chirurgia robotica. Coinvolge l'Università di Verona (con tre dipartimenti: Ingegneria per la medicina di innovazione, Informatica, e Lingue e Letterature Straniere) e Universität Mannheim (Germania). | |
| NeST | Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio. | |
| PARCO – Parallel Computing | Obiettivo del gruppo di ricerca è lo sviluppo e ottimizzazione di Software per sistemi di calcolo multi-core CPU/many-core GPU con vincoli di risorse (e.g., Edge Computing) e per sistemi di calcolo ad alte prestazioni (High-performance Computing – HPC). | |
| Robotica, Intelligenza Artificiale e Controllo | Il gruppo di ricerca si occupa di robotica non convenzionale | |
| Sistemi robotici e automazione |
******** CSS e script comuni siti DOL - frase 9957 ********p>
