Alessandro Giua
Alessandro Giua
Professor of Automatic Control, Univ. of Cagliari, Italy
Verified email at unica.it - Homepage
Title
Cited by
Cited by
Year
A survey of Petri net methods for controlled discrete event systems
LE Holloway, BH Krogh, A Giua
Discrete Event Dynamic Systems 7 (2), 151-190, 1997
5021997
Generalized mutual exclusion contraints on nets with uncontrollable transitions
A Giua, F DiCesare, M Silva
[Proceedings] 1992 IEEE International Conference on Systems, Man, and …, 1992
4511992
First-order hybrid Petri nets: a model for optimization and control
F Balduzzi, A Giua, G Menga
IEEE transactions on robotics and automation 16 (4), 382-399, 2000
2602000
Fault detection for discrete event systems using Petri nets with unobservable transitions
MP Cabasino, A Giua, C Seatzu
Automatica 46 (9), 1531-1539, 2010
2392010
An implicit gain-scheduling controller for cranes
G Corriga, A Giua, G Usai
IEEE Transactions on Control Systems Technology 6 (1), 15-20, 1998
1971998
Observability of place/transition nets
A Giua, C Seatzu
IEEE Transactions on Automatic Control 47 (9), 1424-1437, 2002
1932002
Optimal control of continuous-time switched affine systems
C Seatzu, D Corona, A Giua, A Bemporad
IEEE transactions on automatic control 51 (5), 726-741, 2006
1912006
Modeling and supervisory control of railway networks using Petri nets
A Giua, C Seatzu
IEEE Transactions on automation science and engineering 5 (3), 431-445, 2008
1732008
Optimal control of switched autonomous linear systems
A Giua, C Seatzu, C Van Der Mee
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001
1542001
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
MP Cabasino, A Giua, M Pocci, C Seatzu
Control Engineering Practice 19 (9), 989-1001, 2011
1502011
Leader–follower formation via complex Laplacian
Z Lin, W Ding, G Yan, C Yu, A Giua
Automatica 49 (6), 1900-1906, 2013
1472013
Marking estimation of Petri nets with silent transitions
A Giua, C Seatzu, D Corona
IEEE Transactions on Automatic Control 52 (9), 1695-1699, 2007
1412007
A new approach for diagnosability analysis of Petri nets using verifier nets
MP Cabasino, A Giua, S Lafortune, C Seatzu
IEEE Transactions on Automatic Control 57 (12), 3104-3117, 2012
1402012
Verification of state-based opacity using Petri nets
Y Tong, Z Li, C Seatzu, A Giua
IEEE Transactions on Automatic Control 62 (6), 2823-2837, 2016
1212016
Fault detection for discrete event systems using Petri nets with unobservable transitions
A Giua, C Seatzu
Proceedings of the 44th IEEE Conference on Decision and Control, 6323-6328, 2005
1132005
Petri net structural analysis for supervisory control
A Giua, F DiCesare
IEEE Transactions on Robotics and Automation 10 (2), 185-195, 1994
1111994
Blocking and controllability of Petri nets in supervisory control
A Giua, F DiCesare
IEEE Transactions on automatic control 39 (4), 818-823, 1994
1051994
Decentralized estimation of Laplacian eigenvalues in multi-agent systems
M Franceschelli, A Gasparri, A Giua, C Seatzu
Automatica 49 (4), 1031-1036, 2013
1042013
Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints
Z Ma, Z Li, A Giua
IEEE Transactions on Automatic Control 60 (7), 1774-1785, 2015
1002015
Design of a predictive semiactive suspension system
A Giua, M Melas, C Seatzu, G Usai
Vehicle system dynamics 41 (4), 277-300, 2004
992004
The system can't perform the operation now. Try again later.
Articles 1–20