CV Alessandro Giua

Positions

• Professor, Automatic Control, University of Cagliari, Italy (since Jan 2005)
• Professor, Automatic Control, Aix-Marseille University, France (Feb 2013-Feb 2017)
• Associate/Assistant Professor, Automatic Control, University of Cagliari, Italy (Jan 1994 – Dec 2004)

Visiting professor/researcher at several institutions: Univ. de Zaragoza (Spain), INRIA Rocquencourt e Lorraine (France), Univ. d'Angers (France), Univ. de Metz (France), CINVESTAV  Guadalajara (Mexico), Ecole Normale Supérieure de Lyon (France), Ecole Normale Supérieure de Cachan (France), Univ. de Reims Champagne-Ardenne (France), Otto-von-Guericke Univ. Magdeburg (Germany), Ecole Centrale de Lille (France), Univ. Paul Cézanne - Aix-Marseille III (France), Zhejiang Univ. (China), Univ. de Valenciennes et du Hainaut-Cambrésis (France), Xidian Univ. (China), Osaka Metropolitan Univ. (Japan), Univ. Le Havre Normandie (France).

Education

• Ph.D. & M.S  in Computer & Systems Eng., Rensselaer Polytechnic Institute, Troy, NY, USA (1992 & 1990)
• Laurea in Ingegneria Elettrotecnica, University of Cagliari, Italy (1988)

Teaching activity (selected)

• Current courses at the University of Cagliari: Elementi di Analisi dei Sistemi (Bachelor in Biomedical Eng., since 2017); Analysis and control of cyber-physical systems (Master in Electronic Eng., since 2020)
• Coordinator, PhD Program in Electronic and Computer Eng., Univ. of Cagliari, Italy (2006-12 and 2019-2025)
• Thesis supervisor for over 20 PhD students

Research activity

My research interests lie in the fields of Automatic Control and Systems Engineering. They include Discrete event systems; Hybrid and fluid systems; Petri nets and automata theory; Failure diagnosis; Switched systems; Networked control systems and diffusion of innovation; Control of mechanical systems.

Research projects

• Coordinator, FP7-ICT-2007.3.7.(c) project DISC: Distributed Supervisory Control of Large Plants, 2008-2011
• UNICA coord. ARTEMIS-JU 2012 project ACCUS: Adaptive Cooperative Control in Urban (sub) Systems, 2013- 2016
• UNICA coord, FP7-ICT-2009-5 Netw. of Excellence HYCON2: Highly-complex & networked control sys., 2010-2014

Editor of International Journals

• Editor-in-chief, IFAC journal Nonlinear Analysis: Hybrid Systems (2014-2022; was Main Editor 2011-13; Associate Editor 2006-10)
• Senior editor, IEEE Trans. on Automatic Control (2017-2022; was Associate Editor 2002-05)
• Department editor, Discrete Event Dynamic Systems (2015-2020; was Associate Editor 2001-14)
• Associate editor: IEEE Trans. on Control Systems Technology (2006-12)
• Associate editor: European Journal of Control (2001-05)

Conference organization

•  General Chair, CDC16: IEEE 55th IEEE Conf. on Decision and Control (Las Vegas, USA). 12-14 Dec 2016
• Chair, ADHS06: IFAC 2nd Int. Conf. Analysis and Design of Hybrid Systems (Alghero, Italy). 7-9 Jun 2006
• Chair, WODES98: 4th Int. Work. on Discrete Event Systems (Cagliari, Italy), 26-28 Aug 1998
• Program co-chair: WODES (2016, 2010, 2008, 2002), MOSIM (2012), ADHS (2012, 2009) , CASE (2011)
• Member of the Steering Committee IEEE CASE: Conf. Series on Automation Science and Engin. (2011-15)
• Member of the Steering Committee IFAC ADHS: series on Analysis and Design of Hybrid Systems (2012-2018)

Services in technical societies

IEEE

• Vice-President for Conference Activities of the IEEE Control Systems Society (2020-21)
• Member elected of the Board of Governors of the IEEE Control Systems Society (2013-15)

IFAC

• Ordinary member of the IFAC Publications Board (2025-2029) 
• Member of the IFAC Publications Committee (2014-2022)
• Chair of the IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems (2008-14)

Awards (selected)

• Fellow of the IEEE for contributions to discrete event and hybrid systems
• Fellow of the IFAC for contributions to discrete event and hybrid systems
• Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA)
• Recipient of the IFAC Outstanding Service Award (2017)
• Recipient of the Friendship Award of the People's Republic of China (2017)

Publications

Co-author of over 130 journal papers including the following recent ones (2025-2022)

• C. Gao, D. Lefebvre, C. Seatzu, Z.W. Li, A. Giua, "State estimation of timed automata under partial observation," IEEE Trans. on Automatic Control, Vol. 70, no. 3, pp. 1981-1987, 2025.
• T.L. Kang, C. Seatzu, Z.W. Li, A. Giua, "A joint diagnoser approach for diagnosability of discrete event systems under attack," Automatica, Vol. 172, 2025.
• D. Lefebvre, C. Seatzu, C.N. Hadjicostis, A. Giua, "Detectability notions for a class of finite labeled Markovian systems," Nonlinear Analysis: Hybrid Systems, Vol. 57, 2025.
• O. Amri, C. Seatzu, A. Giua, D. Lefebvre, "State estimation of timed probabilistic discrete event systems via artificial neural networks," Discrete Event Dynamic Systems, Vol. 35, pp. 107–135, 2025.
• B.H. Cui, A. Giua, X. Yin, "Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms," IEEE Control Systems Letters, Vol. 9, pp. 1189-1194, 2025.
• K. Peng, Y.F. Chen, C. Seatzu, Z.W. Li, A. Giua, "Concealability Analysis for Current-state Opacity Enforcement via Editing Functions," IEEE Trans. on Automatic Control, vol. 69, no. 10, pp. 7231-7238, Oct. 2024.
• D. Deplano, M. Franceschelli, A. Giua, "Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks," IEEE Control Systems Letters, Vol. 8, pp. 1793-1798, 2024.
• D. Deplano, M. Franceschelli, A. Giua, "Dynamic Min and Max Consensus and Size Estimation of Anonymous Multi-Agent Networks," IEEE Trans. on Automatic Control, Vol. 68, no. 1, pp. 202-213, 2023.
• D. Deplano, M. Franceschelli, A. Giua, "Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks," IEEE Trans. on Automatic Control, Vol. 68, no. 12, pp. 7028-7040, 2023.
• L. Yang, Z.W. Li, A. Giua, "Rumor Containment by Blocking Nodes in Social Networks," IEEE Trans. on Systems Man & Cybernetics, Systems, Vol. 53, no. 7, pp. 3990-4002, 2023.
• Z.Y. Ma, Z. He, Z.W Li, A. Giua, "Design of Supervisors for Linear Marking Specifications in Labeled Petri Nets," Automatica, Vol. 136, 2022.
• K. Cai, A. Giua, C. Seatzu, "Consistent reduction in discrete-event systems," Automatica, Vol. 142, 2022.
• D. Lefebvre, C. Seatzu, C.N. Hadjicostis, A. Giua, "Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection," Discrete Event Dynamic Systems, Vol. 32, pp. 65-88, 2022.
• A. Pilloni, D. Deplano, A. Giua, E. Usai, "A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems," IEEE Control Systems Letters, Vol. 6, pp. 632-637, 2022.
• C. Gu, Z. Ma, Z. Li and A. Giua, "Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs," IEEE Control Systems Letters, Vol. 6, pp. 1220 -12205, 2022.
• Y. Tong, Y.C. Wang, A. Giua, "A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker," IEEE Control Systems Letters, Vol. 6, pp. 2930-2935, 2022.
• C. Gu, Z. Ma, Z. Li and A. Giua, "Verification of Nonblockingness in Bounded Petri Nets with Min-Max Basis Reachability Graphs," IEEE Trans. on Systems Man & Cybernetics, Systems, Vol. 52, No. 10, pp. 6162-6173, Oct 2022.
• Q. Zhang, C. Seatzu, Z.W Li, A. Giua, "Selection of a stealthy and harmful attack function in discrete event systems," Scientific Reports, Vol. 12, 2022.

Co-author of two textbooks in Italian and over 210 international conference papers.

External links

• Personal home page (in English)
• Pagina personale (in italiano)
• Publications