| 1 |
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
Ma ZY, Zhu GH, Li ZW
IEEE Transactions on Automatic Control, 66(2), 810, 2021 |
| 2 |
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
Li L, Basile F, Li ZW
IEEE Transactions on Automatic Control, 65(1), 237, 2020 |
| 3 |
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 |
| 4 |
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming
Ma ZY, Zhu GH, Li ZW, Giua A
IEEE Transactions on Automatic Control, 65(6), 2662, 2020 |
| 5 |
Design of Supervisors for Active Diagnosis in Discrete Event Systems
Hu YH, Ma ZY, Li ZW
IEEE Transactions on Automatic Control, 65(12), 5159, 2020 |
| 6 |
Achieving a global objective with competing networked agents in the framework of discrete event systems
Park SJ, Cho KH
International Journal of Control, 93(4), 889, 2020 |
| 7 |
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications
Viana GS, Basilio JC
Automatica, 101, 354, 2019 |
| 8 |
Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
Wang X, Li ZW, Wonham WM
Automatica, 89, 392, 2018 |
| 9 |
Model-based fault identification of discrete event systems using partially observed Petri nets
Zhu GH, Li ZW, Wu NQ
Automatica, 96, 201, 2018 |
| 10 |
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 |
