1.Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

Ma, ZY, Li, ZW, Giua     More...

Ma, ZY, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2015, Volume 60, Issue 7, Pages 1774-1785

收錄情况： WOS SCOPUS

WOS核心合集引用: 112  2023影響因子:  6.2  发表年影響因子:  2.777 

2.On the Equivalence of Observation Structures for Petri Net Generators

Tong, Y, Li, ZW, Giu     More...

Tong, Y, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2016, Volume 61, Issue 9, Pages 2448-2462

收錄情况： WOS SCOPUS

WOS核心合集引用: 68  2023影響因子:  6.2  发表年影響因子:  4.270 

3.Verification of State-Based Opacity Using Petri Nets

Tong, Y, Li, ZW, Sea     More...

Tong, Y, Li, ZW, Seatzu, C, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2017, Volume 62, Issue 6, Pages 2823-2837

收錄情况： WOS SCOPUS

WOS核心合集引用: 210  2023影響因子:  6.2  发表年影響因子:  5.007 

4.Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Ma, ZY, Tong, Y, Li,     More...

Ma, ZY, Tong, Y, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2017, Volume 62, Issue 3, Pages 1078-1093

收錄情况： WOS SCOPUS

WOS核心合集引用: 110  2023影響因子:  6.2  发表年影響因子:  5.007 

5.Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

Ma, ZY, Li, ZW, Giua     More...

Ma, ZY, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2017, Volume 62, Issue 3, Pages 1329-1341

收錄情况： WOS SCOPUS

WOS核心合集引用: 72  2023影響因子:  6.2  发表年影響因子:  5.007 

6.Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics

He, Z, Li, ZW, Giua,     More...

He, Z, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2018, Volume 63, Issue 8, Pages 2573-2580

收錄情况： WOS SCOPUS

WOS核心合集引用: 20  2023影響因子:  6.2  发表年影響因子:  5.093 

7.A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems

Zhang, HM, Feng, L,     More...

Zhang, HM, Feng, L, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2018, Volume 63, Issue 10, Pages 3345-3360

收錄情况： WOS SCOPUS

WOS核心合集引用: 49  2023影響因子:  6.2  发表年影響因子:  5.093 

8.Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions"

He, Z, Li, ZW, Giua,     More...

He, Z, Li, ZW, Giua, A, Basile, F, Seatzu, C     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2019, Volume 64, Issue 12, Pages 5253-5259

收錄情况： WOS SCOPUS

WOS核心合集引用: 15  2023影響因子:  6.2  发表年影響因子:  5.625 

9.An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

Li, L, Basile, F, Li     More...

Li, L, Basile, F, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 1, Pages 237-251

收錄情况： WOS SCOPUS

WOS核心合集引用: 51  2023影響因子:  6.2  发表年影響因子:  5.792 

10.Marking Estimation in a Class of Time Labeled Petri Nets

Ma, ZY, Li, ZW, Giua     More...

Ma, ZY, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 2, Pages 493-506

收錄情况： WOS SCOPUS

WOS核心合集引用: 17  2023影響因子:  6.2  发表年影響因子:  5.792 

11.Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming

Ma, ZY, Zhu, GH, Li,     More...

Ma, ZY, Zhu, GH, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 6, Pages 2662-2669

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2023影響因子:  6.2  发表年影響因子:  5.792 

12.Design of Supervisors for Active Diagnosis in Discrete Event Systems

Hu, YH, Ma, ZY, Li,     More...

Hu, YH, Ma, ZY, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 12, Pages 5159-5172

收錄情况： WOS SCOPUS

WOS核心合集引用: 38  2023影響因子:  6.2  发表年影響因子:  5.792 

13.Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs

Ma, ZY, Zhu, GH, Li,     More...

Ma, ZY, Zhu, GH, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 2, Pages 810-817

收錄情况： WOS SCOPUS

WOS核心合集引用: 10  2023影響因子:  6.2  发表年影響因子:  6.549 

14.An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets

Zhu, GH, Feng, L, Li     More...

Zhu, GH, Feng, L, Li, ZW, Wu, NQ     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 5, Pages 2393-2398

收錄情况： WOS SCOPUS

WOS核心合集引用: 24  2023影響因子:  6.2  发表年影響因子:  6.549 

15.Marking Predictability and Prediction in Labeled Petri Nets

Ma, ZY, Yin, X, Li,     More...

Ma, ZY, Yin, X, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 8, Pages 3608-3623

收錄情况： WOS SCOPUS

WOS核心合集引用: 9  2023影響因子:  6.2  发表年影響因子:  6.549 

16.Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures

Wang, X, Li, ZW, Won     More...

Wang, X, Li, ZW, Wonham, WM     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 9, Pages 4230-4237

收錄情况： WOS

WOS核心合集引用: 10  2023影響因子:  6.2  发表年影響因子:  6.549 

17.Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

Li, L, Basile, F, Li     More...

Li, L, Basile, F, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 11, Pages 5326-5341

收錄情况： WOS SCOPUS

WOS核心合集引用: 19  2023影響因子:  6.2  发表年影響因子:  6.549 

18.Observers for a Class of Timed Automata Based on Elapsed Time Graphs

Li, J, Lefebvre, D,     More...

Li, J, Lefebvre, D, Hadjicostis, CN, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2022, Volume 67, Issue 2, Pages 767-779

收錄情况： WOS SCOPUS

WOS核心合集引用: 10  2023影響因子:  6.2  发表年影響因子:  6.8 

19.Extended Insertion Functions for Opacity Enforcement in Discrete Event Systems

Li, Xiaoyan, Hadjico     More...

Li, Xiaoyan, Hadjicostis, Christoforos N., Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2021, Volume 67, Issue 10, Pages 5289-5303

收錄情况： WOS SCOPUS

WOS核心合集引用: 15  2023影響因子:  6.2  发表年影響因子:  6.549 

20.A clustering approach to approximate the timed reachability graph for a class of time Petri nets

Zhou, Jiazhong, Lefe     More...

Zhou, Jiazhong, Lefebvre, Dimitri, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2021, Volume 67, Issue 7, Pages 3693-3698

收錄情况： WOS SCOPUS

WOS核心合集引用: 5  2023影響因子:  6.2  发表年影響因子:  6.549