Cyber-Physical and IoT Systems Design · University of Verona

Active

  1. STRATEGUS

    2023 – 2026

    STRATEgic GUide to Smart manufacturing

    A Horizon Europe MSCA Global Fellowship developing digital-twin, simulation and scheduling methods for safely integrating new technologies into existing manufacturing plants, in collaboration with the University of North Carolina at Chapel Hill.

    ESD

Completed

  1. DeFacto

    2020 – 2023

    Design Automation for Smart Factories

    A Horizon 2020 MSCA project on rigorous, compositional design automation for smart factories, combining assume-guarantee contracts, formal methods, simulation and optimisation to engineer high-assurance cyber-physical production systems.

    ESD

  2. OPERA 4.0

    2021 – 2022

    Observation of work processes, with objective guarantees of privacy protection, for the automatic prevention of errors and risk situations in the context of Industry 4.0

    A Fondazione Cariverona project on privacy-aware industrial monitoring: formal work-process analysis, machine vision, wearable sensing and real-time localisation were combined to identify unsafe or error-prone situations in Industry 4.0 environments.

    ESD

  3. 2021 – 2022

    An IoT infrastructure for monitoring motor fluctuations in Parkinson's disease.

    A Brain Research Foundation Verona project on an Internet of Things infrastructure for observing motor fluctuations in Parkinson’s disease, supporting the broader IoT4Care research line on wearable and data-driven movement monitoring.

    IoT4Care

  4. Smart-Pump

    2020 – 2021

    Smart-Pump: Intelligent assistive system to regulate the continuous administration of drugs in Parkinson’s patients.

    A Veneto FSE project combining motor-symptom monitoring and intelligent assistance to support more personalised continuous drug administration for people with Parkinson’s disease and give clinicians a richer view of treatment response.

    IoT4Care

  5. Bip-Bip

    2018 – 2019

    Bip-Bip: a wearable smart system to prevent freezing of gait in people affected by Parkinson’s disease.

    A Veneto FSE research project on wearable sensing and machine-learning support for anticipating freezing of gait in Parkinson’s disease, with the goal of triggering assistance before or during a freezing episode.

    IoT4Care

  6. ADA

    2017 – 2019

    ADA: An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome.

    A multidisciplinary IoT and virtual-coaching project for supporting autonomy and healthy ageing in people with Down syndrome, combining unobtrusive smart objects, personalised data analytics and daily-life coaching.

    IoT4Care