1.Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems under Supervisory Control

He, Zhaoyang, Wu, Na     More...

He, Zhaoyang, Wu, Naiqi, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2024,

收錄情况： SCOPUS

2023影響因子:  6.2 

2.Concealability Analysis for Current-state Opacity Enforcement via Editing Functions

Peng, Kun, Chen, Yuf     More...

Peng, Kun, Chen, Yufeng, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2024,

收錄情况： SCOPUS

2023影響因子:  6.2 

3.On the Existence of Non-blocking Bounded Supervisors for Discrete Event Systems

Xiang, Zhaoyu, Chen,     More...

Xiang, Zhaoyu, Chen, Yufeng, Wu, Naiqi, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2024,

收錄情况： SCOPUS

2023影響因子:  6.2 

4.Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints

Li, Yuting, Hadjicos     More...

Li, Yuting, Hadjicostis, Christoforos N., Wu, Naiqi, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 11, Pages 6743-6750

收錄情况： WOS SCOPUS

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

5.Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints

Li, Xiaoyan, Hadjico     More...

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

IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 11, Pages 6797-6803

收錄情况： WOS SCOPUS

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

6.Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

Cong, Xuya, Fanti, M     More...

Cong, Xuya, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 12, Pages 8158-8164

收錄情况： WOS SCOPUS

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

7.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核心合集引用: 6  2023影響因子:  6.2  发表年影響因子:  6.8 

8.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 

9.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核心合集引用: 20  2023影響因子:  6.2  发表年影響因子:  6.549 

10.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核心合集引用: 7  2023影響因子:  6.2  发表年影響因子:  6.549 

11.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核心合集引用: 8  2023影響因子:  6.2  发表年影響因子:  6.549 

12.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核心合集引用: 17  2023影響因子:  6.2  发表年影響因子:  6.549 

13.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核心合集引用: 10  2023影響因子:  6.2  发表年影響因子:  6.549 

14.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核心合集引用: 3  2023影響因子:  6.2  发表年影響因子:  6.549 

15.Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis

Ma, Ziyue, Zou, Minq     More...

Ma, Ziyue, Zou, Minqiang, Zhang, Jiafeng, Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

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

16.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核心合集引用: 49  2023影響因子:  6.2  发表年影響因子:  5.792 

17.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核心合集引用: 16  2023影響因子:  6.2  发表年影響因子:  5.792 

18.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核心合集引用: 5  2023影響因子:  6.2  发表年影響因子:  5.792 

19.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核心合集引用: 31  2023影響因子:  6.2  发表年影響因子:  5.792 

20.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核心合集引用: 12  2023影響因子:  6.2  发表年影響因子:  5.625