화학공학소재연구정보센터
검색결과 : 41건
No. Article
1 Marking Estimation in a Class of Time Labeled Petri Nets
Ma ZY, Li ZW, Giua A
IEEE Transactions on Automatic Control, 65(2), 493, 2020
2 Influence minimization in linear threshold networks
Yang L, Li ZW, Giua A
Automatica, 100, 10, 2019
3 State estimation of max-plus automata with unobservable events
Lai AW, Lahaye S, Giua A
Automatica, 105, 36, 2019
4 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
5 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
6 Codiagnosability Analysis of Bounded Petri Nets
Ran N, Su HY, Giua A, Seatzu C
IEEE Transactions on Automatic Control, 63(4), 1192, 2018
7 Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics
He Z, Li ZW, Giua A
IEEE Transactions on Automatic Control, 63(8), 2573, 2018
8 Decidability of opacity verification problems in labeled Petri net systems
Tong Y, Li ZW, Seatzu C, Giua A
Automatica, 80, 48, 2017
9 Decentralized observability of discrete event systems with synchronizations
Giua A, Mahulea C, Seatzu C
Automatica, 85, 468, 2017
10 Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
Ma ZY, Tong Y, Li ZW, Giua A
IEEE Transactions on Automatic Control, 62(3), 1078, 2017