Recent graduate students of Alessandro Giua

Current Ph.D. Students

• Tianyu Liu. Verification and diagnosis of unbounded Petri nets. University of Cagliari.
• Chenhao Cui. Multi-agent control of crawler cranes. University of Cagliari.
• Wenjie Zhao. Resiliency in networks of dynamical systems. University of Cagliari and Xidian University.
• Chao Gao. State estimation of timed automata. University of Cagliari and Xidian University.

Past Ph.D. Students

• Chao GU. Thesis: Behavioral Property Analysis and Supervisory Control of Petri Nets Using Semi-Structural Approaches. University of Cagliari and Xidian University. May 2022.
• Qi Zhang. Thesis: Cyber security in discrete event systems: from state estimation to supervisory control. University of Cagliari and Xidian University. May 2022.
• Yihui Hu. Thesis: Design of supervisors for active diagnosis in discrete event systems. University of Cagliari and Xidian University. December 2021.
• Diego Deplano. Thesis: Coordination of multi-agent systems: stability via nonlinear Perron-Frobenius theory and consensus for desynchronization and dynamic estimation. University of Cagliari. March 2021.
• Wenjing Yang. Thesis: Influence Maximization in Social Networks. Aix-Marseille University. November 2019.
• Aiwen Lai. Thesis: State Estimation and Verification of Detectability and Opacity in Max-plus Automata. Angers University. September 2019.
• Lan Yang. Thesis: Influence Minimization and Rumor Containment in Social Networks. Aix-Marseille University and Xidian University. September 2019.
• Changshun Wu. Thesis: Synchronizing sequences for unbounded Synchronized Petri nets. Aix-Marseille University. December 2018.
• Zhou He. Thesis: Performance Optimization of a Class of Deterministic Timed Petri Nets: Weighted Marked Graphs. Aix-Marseille University and Xidian University. 2017
• Yin Tong. Thesis: Observation Structures and Opacity Problems in Discrete Event Systems. University of Cagliari and Xidian University. 2017
• Ziyue Ma. Thesis: Controller Design for Supervisory Control in Petri Nets. University of Cagliari and Xidian University. 2016
• Marco Pocci. Thesis: Test and diagnosis of discrete event systems using Petri nets. University of Cagliari and Aix-Marseille University. 2013.
• Daniele Rosa. Thesis: Graph methods in Multi Agent Systems coordination and Social Network Analysis. University of Cagliari. 2013.
• Mauro Franceschelli. Thesis: Consensus Algorithms for Estimation and Discrete Averaging in Networked Control Systems. University of Cagliari. 2011.
• Mohammad Hejri. Thesis:Hybrid Modeling and Control of Power Electronics Converters. Sharif University of Technology (Teheran, Iran) and University of Cagliari. 2010.
• Maria Paola Cabasino. Thesis: Diagnosis and Identification of discrete event systems using Petri nets. University of Cagliari. 2009.
• Antonio Manca. Thesis: Analysis for network scenario optimization under data uncertainty: algorithms, computer codes and case studies. University of Cagliari. 2006.
• Daniele Corona. Thesis: Optimal Control of Linear Affine Hybrid Automata. University of Cagliari. 2005.

Masters students at the University of Cagliari

• Bruno Pinna. Thesis: Deterministic and probabilistic dependability assessments of a critical system. November 2014.
• Domingo Palmas. Thesis: Modellazione, simulazione e gestione di reti di scaldacqua elettrici. March 2014.
• Michele Cau. Thesis: Collision Avoidance Using Decentralized Hierarchical Supervisory Control. October 2012.
• Matteo Secci. Thesis: Tecniche di ottimizzazione per l'analisi della diffusione delle innovazioni nei social networks. October 2012.
• Fabrizio Serpi. Thesis: Algorithms for the Stabilization of a Leader - Follower formation described via Complex Laplacian. October 2012.
• Simone Pibiri. Thesis: Approcci simulativi e formali per la validazione del sistema avionico TCAS. October 2011.
• Laura Marcias. Thesis: Validazione Piattaforma Software DISC e confronto tra diversi approcci di diagnosi. July 2011.
• Rita Perria. Thesis: Implementazione di un nuovo algoritmo per la diagnosticabilità di reti posto transizioni mediante marcature di base. February 2011.
• Daniele Rosa. Thesis: Simulazione e analisi di algoritmi decentralizzati applicati in parallelo su sistemi multi agente interconnessi. December 2010.
• Davide Nessi. Thesis: Applicazione di tecniche di Infinitesimal Perturbation Analysis alle reti di Petri ibride. October 2010.
• Michele Pischedda. Thesis: Progettazione, costruzione e controllo di un ascensore da laboratorio a tre piani. July 2010.
• Marianna Stara. Thesis: Progetto e implementazione di leggi di controllo distribuite per un plotone di veicoli autonomi. April 2010.
• Cristiano Poddie. Thesis: Analysis of grafcet models by automatic generation of the equivalent timed automaton. December 2009.
• Sergio Lorrai. Thesis: Modellazione, Implementazione e Simulazione di un Sistema Brake by Wire su FlexRay. July 2009.
• Marco Pocci. Thesis: Un Toolbox per la diagnosticabilità di reti posto/transizione. July 2009.
• Maria Paola Ciullo. Thesis: Controllo decentralizzato di reti di Petri mediante posti monitor. July 2009.
• Stefano Salis. Thesis: Osservatori per sistemi a commutazione: sviluppo metodologico e applicazione a un modello fisico con tre serbatoi. February 2009.
• Andrea Baccara. Thesis: A Control Algorithm For Multi-Vehicle Guide On A Fixed Lattice Formation. December 2008.
• Ambrosiana Piras. Thesis: Robotisation d'une phase du processus de fabbrication du réservoir: l'étanchéité. December 2008.
• Pierandrea Secchi. Thesis: Tecniche di programmazione lineare per l'identificazione di reti di Petri. July 2008.
• Federica Lamon. Thesis: Freeway Traffic Modeling and Calibration for the Eindhoven Network. April 2008.
• Andrea Pinna. Thesis: Modeling, Calibration and Validation of Highway Traffic Networks. April 2008.
• Andrea Frau. Thesis: PWA and MMPS functions: equivalences and transformations. December 2007.
• Andrès Rey. Thesis: Diagnosi di reti di Petri mediante grafo di raggiungibilità di base. October 2007. Slides.
• Mauro Franceschelli. Thesis: Load balancing over networks through gossip based distributed algorithms. July 2007.
• Fausto Sessego. Thesis: Hypens: un simulatore per le reti di Petri discrete, continue ed ibride. July 2007.
• Nicola Manca. Thesis: Design of an adaptive cruise controller via MPC/PWA-based methods. April 2007.
• Matteo Cantarelli. Thesis: Control system design using Supervisory Control Theory: from theory to implementation. December 2006.
• Ivan Malloci. Thesis: Contrôle anti-windup pour systèmes à commutation. October2006.
• Antonio Maccioni. Thesis: Architettura ibrida per ottimizzazione e simulazione: applicazione al sistema di smistamento postale. February 2006.
• Maria Paola Cabasino. Thesis: Diagnosi di un sistema ad eventi discreti mediante automi e reti di Petri. November 2005.

Undergraduate students at the University of Cagliari

• Massimo Gessa. Thesis: Un osservatore algebrico per reti di Petri con funzione di etichettamento lambda-free. December 2005.
• Tina Paschedag (Erasmus, Otto-von-Guericke University Magdeburg). Thesis: Constrained Optimal Control: an Application to Semiactive Suspension Systems. November 2005.
• Caterina Carboni, Federica Lamon. Thesis: Analisi di reti posto/transizione mediante ordine parziale: sviluppo di un toolbox Matlab per "unfolding". October 2005.