Carla Seatzu
제목
인용
인용
연도
Fault detection for discrete event systems using Petri nets with unobservable transitions
MP Cabasino, A Giua, C Seatzu
Automatica 46 (9), 1531-1539, 2010
2672010
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
2142006
Observability of place/transition nets
A Giua, C Seatzu
IEEE Transactions on Automatic Control 47 (9), 1424-1437, 2002
2042002
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
1842008
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
1652011
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
1582001
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
1552016
Marking estimation of Petri nets with silent transitions
A Giua, C Seatzu, D Corona
IEEE Transactions on Automatic Control 52 (9), 1695-1699, 2007
1512007
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
1482012
Decentralized estimation of Laplacian eigenvalues in multi-agent systems
M Franceschelli, A Gasparri, A Giua, C Seatzu
Automatica 49 (4), 1031-1036, 2013
1152013
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
1152005
Control of discrete-event systems
C Seatzu, M Silva, JH Van Schuppen
Lecture notes in control and information sciences 433, 2013
1092013
Design of a predictive semiactive suspension system
A Giua, M Melas, C Seatzu, G Usai
Vehicle system dynamics 41 (4), 277-300, 2004
1032004
Distributed averaging in sensor networks based on broadcast gossip algorithms
M Franceschelli, A Giua, C Seatzu
IEEE Sensors Journal 11 (3), 808-817, 2010
962010
Identification of Petri nets from knowledge of their language
MP Cabasino, A Giua, C Seatzu
Discrete Event Dynamic Systems 17 (4), 447-474, 2007
962007
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
952013
Observer-based state-feedback control of timed Petri nets with deadlock recovery
A Giua, C Seatzu, F Basile
IEEE Transactions on Automatic Control 49 (1), 17-29, 2004
952004
Modelling and simulation of manufacturing systems with first-order hybrid Petri nets
F Balduzzi, A Giua, C Seatzu
International journal of production research 39 (2), 255-282, 2001
952001
State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions
F Basile, MP Cabasino, C Seatzu
IEEE Transactions on Automatic Control 60 (4), 997-1009, 2014
882014
Observer-controller design for cranes via Lyapunov equivalence
A Giua, C Seatzu, G Usai
Automatica 35 (4), 669-678, 1999
861999
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20