Sistemi ciberfisici

Questa area di ricerca è finalizzata a realizzare la convergenza delle 3C, cioè la profonda integrazione di informatica, controllo e comunicazione per la progettazione dei moderni sistemi complessi, che comprendono componenti ciberfisici, real-time, embedded hardware e software, per applicazioni che vanno dalla robotica all'automotive, avionica, energia fino alla biologia. La ricerca di base sugli aspetti di elaborazione è legata alla modellazione verifica e ottimizzazione di sistemi ciberfisici, con particolare enfasi suo modelli di calcolo, la manipolazione dei linguaggi di descrizione, la verifica semi formale e formale, la sintesi di hardware e software corretta per costruzione e gli algoritmi fondamentali di CAD. Concetti di teoria dei sistemi vengono utilizzati per modellare sistemi dinamici e per interfacciare sistemi dinamici a reti di comunicazione. Sono studiati principalmente dal punto di vista della progettazione di sistemi robotici per tele-operazioni, ambienti virtuali per applicazioni chirurgiche, robot mobili e sistemi multi-robot e la co-progettazione ottimale di comunicazione e strategie di controllo per sistemi embedded di controllo distribuiti. Infine, la ricerca in comunicazione è focalizzata sulla progettazione, analisi e valutazione di protocolli e architetture di rete, considerando tutti i livelli, inoltre, con la cosiddetta sintesi di rete, considerare aspetti di comunicazione computazione e controllo in un modo olistico per affrontare la complessità delle grandi applicazioni pervasive.

Documenti

pdf Brochure di presentazione dell'area  (pdf,  it, 217 KB)
pdf Presentazione Research Day 2017  (pdf,  it, 4088 KB)
Damiano Carra
Professore associato
Davide Quaglia
Professore associato
Tiziano Villa
Incaricato alla ricerca
Competenze
Argomento Persone Descrizione
Embedded and cyber-physical systems aderente allo standard  ACM 2012
Progettazione di sistemi embedded Michele Lora
Davide Quaglia
Tecniche per la progettazione automatica di hardware/software per sistemi embedded modellati a livello transazionale (TLM), con particolare attenzione a: - sintesi e astrazione RTL-TLM - astrazione da moduli RTL a software - generazione automatica di transattori TLM - generazione automatica di device driver - software embedded per sistemi multi-core e many-core - modellazione basata su linguaggi di descrizione dell'hardware - progettazione basata su middleware
Sistemi embedded di rete Damiano Carra
Davide Quaglia
Tecniche per la progettazione di sistemi embedded di rete, particolarmente orientate a: - co-progettazione di sistemi embedded di rete - co-simulazione di sistemi embedded di rete - progettazione centrata sulla qualità del servizio - reti di sensori e sistemi M2M
Electronic design automation aderente allo standard  ACM 2012
Algoritmi CAD di base Tiziano Villa
Realizzazione di algoritmi di base per la progettazione di sistemi elettronici, con particolare attenzione a: - sintesi di sistemi combinatori e sequenziali - sistemi a eventi discreti - progettazione fisica
Hardware validation aderente allo standard  ACM 2012
Verifica di sistemi embedded Tiziano Villa
Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time
Network architectures aderente allo standard  ACM 2012
Sistemi di rete Damiano Carra
Davide Quaglia
Tecniche per la progettazione di sistemi di rete, particolarmente orientate a: - progettazione di protocolli e architetture di rete - valutazione delle prestazioni di sistemi di rete - caratterizzazione e misura delle reti - reti overlay
Gruppi di ricerca
Nome Descrizione URL
Big Data Analytics Questo gruppo di ricerca si occupa di tematiche relative alla rappresentazione, gestione e analisi di grandi quantità di dati caratterizzate in particolare dalla dimensione spaziale e temporale.
ESD - Electronic Systems Design Obiettivo del gruppo di ricerca è applicare l’automazione della progettazione elettronica (EDA) ai sistemi di produzione ciber-fisici (CPPS) e IoT industriale (IIoT) per la modellazione, simulazione, sintesi e test di linee di produzione. http://cisd.di.univr.it/
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.
INdAM - Unità di Ricerca dell'Università di Verona Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
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.
Progetti
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Elaborazione delle immagini ecografica per la biopsia della prostata Paolo Fiorini Esaote S.p.A. 14/03/22 19
SPACE13 INNOVATION-LAB Davide Quaglia COMUNE LEGNAGO 11/01/22 4
Progettazione e sviluppo di schede di controllo Wifi, BLE, ZigBee e LoraWAN per l'adattamento di BOXIO a scenari in ambito smart building e sustanaible living Franco Fummi EDALab s.r.l. 01/01/22 12
Una piattaforma basata su Intelligent Video Analytics at-the-edge per il pagamento digitale automatico in esercizi pubblici con servizio al tavolo. Nicola Bombieri 01/01/22 12
Analisi tecnologica di una piattaforma per ipovedenti Graziano Pravadelli European Comfort s.r.l. 09/12/21 1
Realizzazione, programmazione e test sistema robotico per chirurgia ortopedica per protesi totale di ginocchio Paolo Fiorini Orthokey Italia S.r.l. 18/11/21 12
A multi-modal DL-based fault detection system Riccardo Muradore HPA s.r.l. 19/10/21 2
Fresh Digital Integration Franco Fummi SMACT scpa 16/09/21 6
Sistema SMART di umidificazione ad ultrasuoni ad alta efficienza Franco Fummi SMACT scpa 16/09/21 12
Sviluppo di un sistema di registrazione ed interfaccia grafica per interventi di vertebroplastica percutanea Bogdan Mihai Maris TECRES SPA 16/09/21 24
Sviluppo di un sistema meccatronico di puntamento registrato su immagini pre-operatorie per interventi di vertebroplastica percutanea Andrea Calanca TECRES SPA 16/09/21 24
Controllo avanzato di robot industriali e loro monitoraggio e sviluppo di un simulatore avanzato Riccardo Muradore SIPRO s.r.l. 14/09/21 18
Analisi BPMN per progetto di ottimizzazione flussi per trasporto merci Franco Fummi HPA s.r.l. 06/07/21 3
Prototipo Concettuale di Build Trust Franco Fummi Build Trust s.r.l. 23/03/21 6
Modelli avanzati di logistica di magazzino Franco Fummi Beper s.r.l. 17/02/21 3
Architettura per l’integrazione di avvitatore industriale in linea di produzione Franco Fummi Fiam Utensili Pneumatici spa 10/02/21 6
Estensione della piattaforma BOX-IO con tecniche di AI e integrazione di dispositivi Bluetooth LowEnergy Franco Fummi EDALab s.r.l. 01/01/21 12
Osservazione dei processi lavorativi, con garanzie oggettive di tutela della Privacy, per la prevenzione di Errori e situazioni di Rischio in maniera Automatica ai tempi di Industria 4.0 (OPERA 4.0) Davide Quaglia Fondazione Cariverona 01/01/21 24
Design Automation for Smart Factories — DeFacto (MSCA Individual - GF 2019) Franco Fummi UE - Unione Europea 01/10/20 36
JP2019 - Controllo intelligente per sistemi di riscaldamento tramite tecniche di apprendimento per rinforzo Alessandro Farinelli Giordano controls s.p.a. 01/10/20 12
FA&AF L'Agricoltura del Futuro e gli Alimenti Funzionali: una sfida per la ricerca e il rilancio del territorio veneto Riccardo Muradore Regione Veneto 10/09/20 27
SAFE PLACE Sistemi IoT per ambienti di vita salubri e sicuri Marco Cristani Regione Veneto 10/09/20 28
VIR2EM - Virtualizzazione e remotizzazione per una manifattura efficiente e resiliente Franco Fummi Regione Veneto 10/09/20 24
Scouting tecnologico per la realizzazione di un sistema intelligente per la raccolta dei rifiuti urbani Graziano Pravadelli Insis s.p.a. 18/06/20 1
Extension of the BOX-IO architecture to IIoT Franco Fummi EDALab s.r.l. 16/06/20 6
Piattaforma IIoT per controllo ed analisi qualità data-driven in ambito metallurgico Franco Fummi SMACT scpa 28/05/20 6
Industrializzazione 4.0: Processi e Modelli per l’Acquisizione Dati Franco Fummi NeroSuBianco s.r.l. 08/05/20 14
Progettazione e implementazione di dispositivi embedded sicuri per lo smartbuilding” utile allo sviluppo del progetto “S2D - Securing Smartbuilding Devices Franco Fummi EDALab s.r.l. 27/03/20 9
Progettazione e implementazione di un sistema per l’efficienza energetica utilizzando tecniche di Intelligenza Artificiale utile allo sviluppo del progetto “PERSICO - Piattaforma per l’efficientamento energetico basata su sensoristica integrata e pianificazione delle risorse" Franco Fummi EDALab s.r.l. 27/03/20 9
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications Graziano Pravadelli GNCS National Group for Scientific Computation INDAM 09/03/20 12
Una architettura OPC-UA per la raccolta e storicizzazione dei dati conforme a Industria 4.0 Franco Fummi Veronesi Holding s.p.a. 18/02/20 7
Architectures for Embedded Artificial Intelligence Franco Fummi EDALab s.r.l. 01/01/20 12
Un Ambiente Cloud-Native per l’Industrial IoT Franco Fummi Kiratech S.p.A. 01/01/20 12
Definizione delle specifiche software e hardware per una piattaforma autonoma Riccardo Muradore Gizero Energie s.r.l. 23/10/19 2
Sviluppo di una piattaforma virtuale per la verifica automatica di firmware Graziano Pravadelli Idea s.p.a. 15/10/19 3
Controllo in coppia di un Robot a geometria Delta e Simulazione grafica parametrizzabile Riccardo Muradore SIPRO s.r.l. 09/08/19 12
Modellazione formale processi produttivi e loro ottimizzazione Franco Fummi Veronesi Holding s.p.a. 14/06/19 5
Uso di tecnologie OPC-UA nel contesto Industria 4.0 Franco Fummi ASEM s.p.a. 14/06/19 7
ATLAS - AuTonomous intraLuminAl Surgery Paolo Fiorini Unione Europea 01/04/19 48
Un banco prova per algoritmi di controllo di forza Andrea Calanca UE - Unione Europea 22/03/19 20
TREATS Therapeutic Robot in early Autism Trough a Smart System Franco Fummi EDALab s.r.l. 21/03/19 9
DigitalRestaurant - una piattaforma per la gestione intelligente dei servizi di ristorazione Nicola Bombieri Digital Restaurant Srl 01/03/19 16
Distributed Optimization for Large-scale Statistical Modeling Damiano Carra INdAM 26/02/19 12
Model-Based Design and Verication Flow for Embedded Vision Applications Nicola Bombieri INdAM 26/02/19 12
Progettazione di un'ortesi robotica per l’arto superiore con controllo mioelettrico e indirizzata a soggetti con debolezza muscolare Andrea Calanca FSE: European Social Fund - Regional Operative Program 2014/2020 01/10/18 12
Estensione di un'applicazione mobile per la comunicazione tra campeggio e ospite Davide Quaglia Artemis Media srl 01/04/18 1
JP2018 - Analisi e progettazione piattaforma per il supporto alle decisioni (DSS) ad alte prestazioni per la diagnosi di malattie oculari Nicola Bombieri NEST Srl 09/03/18 24
Metodi formali per la verifica e la sintesi di sistemi discreti e ibridi Tiziano Villa INdAM 05/02/18 12
Medical Smart Space Franco Fummi EDALab s.r.l. 08/01/18 12
Progetto di eccellenza: Informatica per Industria 4.0 Franco Fummi, Alessandro Farinelli MIUR 01/01/18 60
SARAS - Smart Autonomous Robotic Assistant Surgeon Riccardo Muradore Unione Europea 01/01/18 36
COREWOOD - Riposizionamento competitivo del la filiera del legno Franco Fummi Regione del Veneto 07/11/17 36
GHOTEM - Global House Thermal & Electrical Energy Management Franco Fummi Regione del Veneto 07/11/17 36
PreMANI – Manifattura Predittiva: progettazione, sviluppo e implementazione di soluzioni di Digital Manufacturing per la previsione del la Qualità e la Manutenzione Intelligente Franco Fummi Regione del Veneto 07/11/17 36
Sistema domotico IOT integrato ad elevata sicurezza Franco Fummi Regione del Veneto 07/11/17 36
TEMART - Tecnologie e materiali per la manifattura artistica i Beni Culturali l’arredo il decoro architettonico e urbano e il design del futuro Paolo Fiorini Regione del Veneto 07/11/17 36
Partecipazione a conferenza "25th IFIP/IEEE International Conference on Very Large Scale Integration" Graziano Pravadelli INdAM 23/10/17 0
ARS - Autonomous Robotic Surgery Paolo Fiorini Unione Europea 01/10/17 60
Sviluppo di tecnologie basate su immagini termiche per il monitoraggio indoro e outdoor Claudia Daffara, Riccardo Muradore Regione Veneto 01/07/17 12
Sviluppo di una prima versione delle tecniche di localizzazione statistica in ambito sportivo e test in ambiente simulato Davide Quaglia Heta-Lab srls 03/04/17 1
Perfezionamento e introduzione di aspetti informatici innovativi nel Parco Alpi Liguri Davide Quaglia Ente Parco naturale regionale delle Alpi Liguri 30/03/17 6
Realizzazione di un'applicazione mobile per la comunicazione tra campeggio e ospite Davide Quaglia Artemis Media srl 23/03/17 4
DARE - Realtà Aumentata basata sulla direzione del segnale radio Davide Quaglia 06/03/17 18
JP2016 - Realtà Aumentata basata sulla direzione del segnale radio Davide Quaglia Joint Projects - assegnato e gestito dal Dipartimento 06/03/17 12
JP2016 - Estensione di FMI per supporto dei linguaggi ad eventi discreti Franco Fummi Joint Projects - assegnato e gestito dal Dipartimento 01/02/17 24
Progettazione e implementazione di un sistema di controllo e monitoraggio multi protocollo Wireless Graziano Pravadelli EDALab s.r.l. 01/01/17 12
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive Davide Quaglia ALLEGRETTI ALBERTO & C. sas 13/12/16 3
Analisi di strategie esistenti di stima e ridistribuzione del carico in macchine di lavaggio rotative e sviluppo di un algoritmo di stima di carico sbilanciato basato su sensori giroscopici Paolo Fiorini ELECTROLUX ITALIA SpA 29/11/16 12
Realizzazione di un dimostratore di un'applicazione mobile per la comunicazione tra campeggio e ospite ai fini dello studio dell'interfaccia grafica e funzionale Davide Quaglia Artemis Media srl 28/11/16 3
Elaborazione di un modello della turbolenza basato su misure sperimentali Riccardo Muradore LAMBDATECH srl 06/07/16 4
INTCATCH - Development and application of Novel, Integrated Tools for monitoring and managing Catchments Alessandro Farinelli Unione Europea 01/06/16 44
Progettazione e implementazione di un efficiente e innovativo strumento di modellazione e simulazione per sistemi cosiddetti smart systems (TLM Smart Systems Modeling) Graziano Pravadelli EDALab s.r.l. 29/02/16 10
JP2015 - EXPO-AGRI - Osservazione degli impianti oltre campo per il monitoraggio e la previsione delle infezioni agricole Davide Quaglia Agricontrol snc di Balbo e Secco, Ateneo, Centro di sperimentazione e assistenza agricola - CERSAA 01/02/16 24
JP2015 - TOYS - Verso gli smart display industriali Franco Fummi Exor International, Inc. 01/01/16 12
MURAB - MRI and Ultrasound Robotic Assisted Biopsy Paolo Fiorini Unione Europea 01/01/16 48
ROBIOPSY - Robot guidato da immagini per la biopsia di precisione della prostata Paolo Fiorini Ministero degli Affari Esteri 01/01/16 36
Servizi di progettazione dei totem multimediali interattivi, nell'ambito del progetto di realizzazione del percorso culturale ciclo-pedonale denominato "Alta Via della montagna veronese" che collega il sistema ambientale del monte Baldo con quello della Lessinia, attraversando i territori di tredici Comuni da San Zeno di Montagna fino alla frazione di Bolca in Comune di Vestanova per la lunghezza di 110 km Franco Fummi Provincia di Verona 28/12/15 2
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale Davide Quaglia Telenia Software s.r.l. 10/09/15 6
JP2014 - SPAWNE - Rete WSN Smart Pole Graziano Pravadelli Telefin S.p.A. 02/01/15 12
Progettazione e implementazione di una piattaforma di teleassistenza mobile audio e video basato sulla Realtà Aumentata e Reti di Sensori Wearable (Glasses Hidden On-Site Technician) Graziano Pravadelli EDALab s.r.l. 01/01/15 16
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) Graziano Pravadelli EDALab s.r.l. 01/12/14 12
The Translation Wiki project Graziano Pravadelli Microsoft Corporation 18/11/13 7
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model Franco Fummi STM Products s.r.l. 01/11/13 5
Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica Franco Fummi STM Products s.r.l. 30/07/13 22
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation Graziano Pravadelli EDALab s.r.l. 02/01/13 12
Sviluppo di un middleware per comunicazioni con dispositivi ZigBee / Enocean (Progetto SAFE HOME 2) Graziano Pravadelli EDALab s.r.l. 02/01/13 12
Realizzazione di un sistema innovativo di monitoraggio e controllo basato su sensori senza fili di ultima generazione (Wireless Sensor Network - WSN) Graziano Pravadelli ABS COMPUTERS SRL 20/07/12 4
Tracciabilità integrata e verifica di processo in tempo reale applicata alla produzione di farine da cereali biologici macinati a pietra (E-FLOUR) - Joint Projects 2011 Davide Quaglia Antico Molino Rosso s.r.l. 01/05/12 16
ECHORD: EduFIll, filling the gap in robotics education Paolo Fiorini Unione Europea 01/02/12 18
EUROSURGE: European Robotic Surgery Paolo Fiorini Unione Europea 01/10/11 24
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development Franco Fummi Unione Europea 01/09/11 36
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) Franco Fummi PRIN VALUTATO POSITIVAMENTE 15/07/11 24
HyCARoS ( Hybrid Control for Augmented Robotic Surgery) (PRIN 2009) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 15/07/11 24
UNSELFISH: UNtethered Sensor Enabled Locomotion FISH Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 15/04/11 36
ISUR - Intelligent Surgical Robotics Paolo Fiorini Commissione europea – VII PQ, Unione Europea 01/03/11 42
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/10 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/10 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/10 24
Development of a software simulation application for the Exploratory Research project "In-cell tool for Remote Operation on Spent Nuclear Material" Paolo Fiorini Commissione Europea - Centro Comune di Ricerca - Istituto per la Protezione e la Sicurezza del Cittadino 02/07/10 6
AuTOMatic verifICation tool for embedded software (ATOMIC) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 05/05/10 24
SAFROS - Patient Safety in Robotic Surgery Paolo Fiorini Unione Europea 01/04/10 36
Tools for cOoperating Objects applications Life-cycle (TOOL) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 01/03/10 36
COROSUR: Bringing Cognition to Robotic Surgery Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 15/02/10 60
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008) Damiano Carra PRIN VALUTATO POSITIVAMENTE 27/01/10 24
Simulatore chirurgico aggiornato con dati intraoperatori (PRIN 2008) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 27/01/10 24
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) Davide Quaglia PRIN VALUTATO POSITIVAMENTE 27/01/10 24
Architetture per la gestione integrata di sistemi di rete Graziano Pravadelli EDALab s.r.l. 01/01/10 12
Architetture per sistemi embedded di controllo e comunicazione Graziano Pravadelli EDALab s.r.l. 01/01/10 12
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori Graziano Pravadelli EDALab s.r.l. 01/01/10 12
Modellazione e verifica di sistemi embedded Graziano Pravadelli EDALab s.r.l. 26/11/09 1
Reliability aware methods for robust design technology (RELMUST) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 06/07/09 36
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici Franco Fummi Ministero dello Sviluppo Economico 06/04/09 36
FILOSE - Robotic Fish Locomotion and Sensing Paolo Fiorini Unione Europea 01/02/09 36
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite Graziano Pravadelli EDALab s.r.l. 07/11/08 16
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) Franco Fummi PRIN VALUTATO POSITIVAMENTE 22/09/08 24
Registrazione e acquisizione multimodale di immagini (PRIN 2007) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 22/09/08 24
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) Andrea Acquaviva PRIN VALUTATO POSITIVAMENTE 22/09/08 24
TELEANY: Teleoperating Anything Anywhere Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 28/02/08 60
Disordine di movimento e riabilitazione della paralisi cerebrale infantile Paolo Fiorini Centro Polifunzionale Don Calabria 15/02/08 24
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007 Franco Fummi Ateneo, STM Products s.r.l. 01/01/08 30
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems Franco Fummi Unione Europea 01/01/08 30
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 17/12/07 30
Middleware di Comunicazione - III Anno Paolo Fiorini Società Tecnica Elettronica S.p.A. 21/11/07 7
Development of the state of the art of Robotics Education on the Internet and the implementation of prototypes of interactive lectures Paolo Fiorini IEEE Robotics and Automation Society 14/08/07 1
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 13/07/07 30
PLASTIC BRAIN: A Study of Brain Plasticity in Humans and Robots Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 07/05/07 36
INtelligent Vision system for Industrial Automation (INVIA) - Joint Project 2005 Vittorio Murino Ateneo, Automazioni Industriali s.r.l. 13/03/07 30
RoSta: Robotic Standards Paolo Fiorini Unione Europea 01/01/07 24
Il Mosaico: Progetto per il completamento e innovazione dei servizi a favore delle persone con grave cerebrolesione acquisita Paolo Fiorini Centro Polifunzionale Don Calabria 08/09/06 28
AccuRobAs: Accurate Robotic Assistant Paolo Fiorini Unione Europea 01/09/06 36
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life Franco Fummi Unione Europea 01/07/06 30
VERTIGO: Verification and Validation of Embedded Systems Design Workbench Franco Fummi Unione Europea 01/06/06 30
Middleware di Comunicazione Paolo Fiorini Società Tecnica Elettronica S.p.A. 15/05/06 12
XPERO: Learning by experimentation Paolo Fiorini Unione Europea 01/04/06 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/06 24
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) Franco Fummi Ministero dell'Istruzione dell'Università e della Ricerca 30/01/06 24
Metodologie MES per la gestione dei processi Batch Paolo Fiorini Società Tecnica Elettronica S.p.A. 27/01/05 12
Applicazione di tecnologie robotiche a progeti relativi ad apparecchi ortopedici e riabilitativi Paolo Fiorini F.G.P. s.r.l. 25/06/04 12
Studio di fattibilità per SUPER (Space Unmanned Planetary Exploration Rover) Paolo Fiorini Galileo Avionica S.p.A. 23/02/04 6
Hopping and Treaded Mobility for Planetary Micro-Rovers Paolo Fiorini European Space Agency (ESA) 23/10/03 5
Sviluppo di un algoritmo di controllo decentralizato per sistemi con ritardi variabili Paolo Fiorini ENEA Ente per le Nuove tecnologie, l'Energia e l'Ambiente 07/10/03 6
ROBOCHIR Chirurgia robotica Paolo Fiorini Banca Popolare di Verona 01/04/03 24
Telepresence Instant Groupware for higher Education in Robotics (TIGER) (FIRB 2001) Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 21/02/03 46
MATRICS Analisi e modellazione di sistemi complessi Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 01/02/03 24
Progetto di integrazione unix - active directory Franco Fummi SIEMENS HEALTHCARE DIAGNOSTICS SRL 14/01/03 6
GLAXO Prova di concetto su sistema robotico per la movimentazione e gestione di piccoli oggetti Paolo Fiorini GlaxoSmithKline S.p.A. 01/11/02 18
TESTA Sistema di visione artificiale scalabile per la robotica spaziale Paolo Fiorini Agenzia Spaziale Italiana 02/09/02 12
SYMBAD: Formal Verification in System Level Based Design Franco Fummi Unione Europea 01/03/02 27
EURON Paolo Fiorini Commissione Europea 01/05/01 36
MEDICATE The control, identification and delivery of prescribed medication Paolo Fiorini Unione Europea 01/05/01 36
ITEC Studio di algoritmi per la compensazione del ritardo di trasmissione in teleoperazione Paolo Fiorini Agenzia Spaziale Italiana 01/09/00 36

Attività

Strutture

Condividi