• Research projects

2026-2027- Research project (Regional):  "Formal methods for Resiliency and Security in Networks of Systems (ReSNetS)" Progetti biennali FdS - Bando Starts 2025. Duration: 24 months. Role: Principal Investigator.

2025-2027 "AISTech – Artificial Intelligence for Smart Technologies"  Progetti biennali FdS 2023. Duration: 24 months. Role: member of research group.

2025-2027 Research project (National): "Tecnologie dell'Industria 4.0 e ICT per l’Efficientamento e Ottimizzazione delle Produzioni Agro-alimentari tipiche mediante la valorizzazione delle condizioni Climatiche locali" (EOPAC) Duration: 36 months. Member of Scientific Steering Committee. Head of the research unit of automation and control IINF-04

2024-2027 Research project (National): “Tecnologie ICT e dell'Industria 4.0 per l'analisi e l'ingegnerizzazione di Sistemi alimentari complessi per la produzione di pani artigianali locali ad alto valore aggiunto " , (AISAC). Duration: 36 months. Programma di ricerca e sviluppo: "Accordi per l'innovazione" a valere sulle risorse del Piano nazionale per gli investimenti complementari al PNRR. Head of the research unit of automation and control IINF-04. Role: WP leader of OR10. Member of Scientific Steering Committee.

2022-2023 Research project funded by private company DEDEM s.r.l. “Development of multi-agent coordination and optimization methods and algorithms for workforce management through task assignement and routing”. “Sviluppo di metodi ed algoritmi di coordinamento e ottimizzazione multi-agente per la gestione della forza lavoro tramite assegnamento di compiti e instradamento”. 50k euros. Role: Principal investigator.

2020-2022 Regional project (Sardegna): “Formal Methods and Technologies for the Future of Energy Systems”, Progetti biennali finanziati dalla Fondazione di Sardegna - Esercizio finanziario 2019. Role: Principal investigator.

2019-2022 Research and development program: Fondo per la Crescita Sostenibile “AGRIFOOD” PON I&C 2014-2020, IOT (IAPC) "Ingegnerizzazione e Automazione del Processo di produzione tradizionale del pane Carasau mediante l’utilizzo di tecnologie IOT ", 36 mesi, 02/10/2019-02/10/2022. Role: WP leader of OR3., head of the research unit on Automation and control IINF-04.

2019-2021 Regional project FSC 2014-2020 Regione Autonoma della Sardegna, call “RICERCA DI BASE 2017”: “Metodi formali per il MOnitoraggio di SIstemi dinamici Multi-Agente (MOSIMA)”. Code RASSR05871. Member of the research unit. 

2018-2020 Regional project POR FESR Sardegna 2014 – 2020, call “AIUTI PER PROGETTI DI RICERCA E SVILUPPO”. Project UNICARASAU: “Optimization of the production process of Carasau bread for the increment of the automation level and productivity of the enterprise”. Head of the research Unit of Automation and control  IINF-04.

2017-2020 Regional project POR Sardegna FESR 2014-2020, call “Cluster top-down”, project VIRTUALENERGY: “Development of systems for the aggregation, coordination and optimization of Virtual Power Plants”. Head of the research unit and reference person for control systems research group. 

2015-2019 National project CoNetDomeSys “Cooperative constrained optimization of networked domestic thermal systems for efficient and coordinated urban energy consumption”. 360k Euros, Awarded by: MIUR, under call S.I.R 2014 (Scientific Independence of young researchers), code: RBSI14OF6H. Principal Investigator.

2013- 2016 European Artemis JU project, ACCUS (GA n. 333020), "Adaptive cooperative control of urban systems"). Deputy of scientific responsible for University of Cagliari.

2013-2015 Regional project, under call PIA Industria G.R. N° 39/3 DEL 10.11.2010 , project “Giedieon”: “Gestione Intelligente e sicura di sEnsoristica Distribuita e della sua lnterazione uOmo-macchiNa: possibili scenari futuri”. Member of the research unit.

2012-2015 Regional project L7/2007, call 2010 "SIAR": "Sistemi interconnessi per l’automazione su reti” (Control of Networked Systems). Member of the research unit. 2010-2014 European FP7-ICT project "HYCON2" (GA n. 257462) "Highly-complex and networked control systems”. Contract researcher. 

2008-2011 European FP7 project DISC (GA n. 224498),"Distributed Supervisory Control of Large Plants". Member of research unit. 2007-2008 Regional project POR Sardegna, call Misura 3.13 "DiagDis": Sviluppo di uno strumento di diagnosi per l’analisi di guasto in sistemi distribuiti” (Development of diagnosys tools for avionic systems). Member of the research unit.