Alessandro Giua

Alessandro Giua

Università degli Studi di Cagliari - Cagliari / Italy
Others
AD Scientific Index ID: 1874366
University of Cagliari
person_outline Alessandro Giua's MOST POPULAR ARTICLES
1-) A survey of Petri net methods for controlled discrete event systemsLE Holloway, BH Krogh, A GiuaDiscrete event dynamic systems 7, 151-190, 19975681997
2-) Generalized mutual exclusion contraints on nets with uncontrollable transitionsA Giua, F DiCesare, M Silva[Proceedings] 1992 IEEE International Conference on Systems, Man, and …, 19925341992
3-) Fault detection for discrete event systems using Petri nets with unobservable transitionsMP Cabasino, A Giua, C SeatzuAutomatica 46 (9), 1531-1539, 20103192010
4-) First-order hybrid Petri nets: a model for optimization and controlF Balduzzi, A Giua, G MengaIEEE transactions on robotics and automation 16 (4), 382-399, 20002822000
5-) Verification of state-based opacity using Petri netsY Tong, Z Li, C Seatzu, A GiuaIEEE Transactions on Automatic Control 62 (6), 2823-2837, 20162572016