검색결과 : 27건
| No. | Article |
|---|---|
| 1 |
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis Giua A, Lafortune S, Seatzu C IEEE Transactions on Automatic Control, 65(7), 3092, 2020 |
| 2 |
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection Ran N, Giua A, Seatzu C IEEE Transactions on Automatic Control, 64(7), 2997, 2019 |
| 3 |
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs You D, Wang SG, Seatzu C IEEE Transactions on Automatic Control, 64(10), 4353, 2019 |
| 4 |
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions" He Z, Li ZW, Giua A, Basile F, Seatzu C IEEE Transactions on Automatic Control, 64(12), 5253, 2019 |
| 5 |
Codiagnosability Analysis of Bounded Petri Nets Ran N, Su HY, Giua A, Seatzu C IEEE Transactions on Automatic Control, 63(4), 1192, 2018 |
| 6 |
Decidability of opacity verification problems in labeled Petri net systems Tong Y, Li ZW, Seatzu C, Giua A Automatica, 80, 48, 2017 |
| 7 |
Decentralized observability of discrete event systems with synchronizations Giua A, Mahulea C, Seatzu C Automatica, 85, 468, 2017 |
| 8 |
Diagnosability Analysis of Labeled Time Petri Net Systems Basile F, Cabasino MP, Seatzu C IEEE Transactions on Automatic Control, 62(3), 1384, 2017 |
| 9 |
Marking Observer in Labeled Petri Nets With Application to Supervisory Control Cabasino MP, Hadjicostis CN, Seatzu C IEEE Transactions on Automatic Control, 62(4), 1813, 2017 |
| 10 |
Verification of State-Based Opacity Using Petri Nets Tong Y, Li ZW, Seatzu C, Giua A IEEE Transactions on Automatic Control, 62(6), 2823, 2017 |