Suivre
Alessandro Giua
Alessandro Giua
Professor of Automatic Control, Univ. of Cagliari, Italy
Adresse e-mail validée de unica.it - Page d'accueil
Titre
Citée par
Citée par
Année
A survey of Petri net methods for controlled discrete event systems
LE Holloway, BH Krogh, A Giua
Discrete event dynamic systems 7, 151-190, 1997
5771997
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
5501992
Fault detection for discrete event systems using Petri nets with unobservable transitions
MP Cabasino, A Giua, C Seatzu
Automatica 46 (9), 1531-1539, 2010
3392010
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
2812000
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
2412016
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
2332006
Observability of place/transition nets
A Giua, C Seatzu
IEEE Transactions on Automatic Control 47 (9), 1424-1437, 2002
2222002
Leader–follower formation via complex Laplacian
Z Lin, W Ding, G Yan, C Yu, A Giua
Automatica 49 (6), 1900-1906, 2013
2212013
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
2182011
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
2082008
An implicit gain-scheduling controller for cranes
G Corriga, A Giua, G Usai
IEEE Transactions on Control Systems Technology 6 (1), 15-20, 1998
2061998
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
1872012
Marking estimation of Petri nets with silent transitions
A Giua, C Seatzu, D Corona
IEEE Transactions on Automatic Control 52 (9), 1695-1699, 2007
1732007
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
1602001
Decentralized estimation of Laplacian eigenvalues in multi-agent systems
M Franceschelli, A Gasparri, A Giua, C Seatzu
Automatica 49 (4), 1031-1036, 2013
1522013
Containment of rumor spread in complex social networks
L Yang, Z Li, A Giua
Information Sciences 506, 113-130, 2020
1502020
Basis marking representation of Petri net reachability spaces and its application to the reachability problem
Z Ma, Y Tong, Z Li, A Giua
IEEE Transactions on Automatic Control 62 (3), 1078-1093, 2016
1342016
Diagnosability of discrete-event systems using labeled Petri nets
MP Cabasino, A Giua, C Seatzu
IEEE Transactions on Automation Science and Engineering 11 (1), 144-153, 2013
1312013
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
1292015
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
1262005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20