1.Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors

Hu, SP, Hu, YH, Liu,     More...

Hu, SP, Hu, YH, Liu, D, Fanti, MP, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2025, Volume 22, Pages 9061-9074

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2024影響因子:  6.4 

2.Fault Diagnosis of Labeled Petri Nets Under Attacks Using Integer Linear Programming

Li, Tengbo, Ren, Huo     More...

Li, Tengbo, Ren, Huorong, Liu, Ruotian, Fanti, Maria Pia, Li, Zhiwu     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2025, Volume 22, Pages 11881-11893

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  6.4 

3.Generalized Critical Observability of Labeled Petri Nets Under Nondeterministic Observations

Zhang, Yuling, Hadji     More...

Zhang, Yuling, Hadjicostis, Christoforos N., Li, Zhiwu     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2025, Volume 22, Pages 14633-14645

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  6.4 

4.Online Opacity Verification of Networked Discrete Event Systems Modeled With Labeled Petri Nets

Li, Tengbo, Ren, Huo     More...

Li, Tengbo, Ren, Huorong, Liu, Ruotian, Fanti, Maria Pia, Li, Zhiwu     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2025,

收錄情况： SCOPUS

2024影響因子:  6.4 

5.Opacity Enforcement in Discrete Event Systems Using Modification Functions

Li, XY, Hadjicostis,     More...

Li, XY, Hadjicostis, CN, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2024,

收錄情况： WOS SCOPUS

WOS核心合集引用: 2  2024影響因子:  6.4  发表年影響因子:  6.4 

6.Monitor-Based Supervisory Control of Labeled Petri Nets Under Sensor Attacks

Zhang, ZL, Liu, GY,     More...

Zhang, ZL, Liu, GY, Lefebvre, D, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2024, Volume 22, Pages 9388-9403

收錄情况： WOS SCOPUS

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

7.Addressing a Collaborative Maintenance Planning Using Multiple Operators by a Multi-Objective Metaheuristic Algorithm

Tian, Guangdong, Zha     More...

Tian, Guangdong, Zhang, Lele, Fathollahi-Fard, Amir M., Kang, Qi, Li, Zhiwu, Wong, Kuan Yew     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 50  2024影響因子:  6.4  发表年影響因子:  5.9 

8.A Digital Twin Approach for Enforcing Diagnosability in Petri Nets

Hu, SP, Li, ZW     More...

Hu, SP, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 13  2024影響因子:  6.4  发表年影響因子:  5.9 

9.Hierarchical Data Fusion-Based Health State Assessment of Nuclear Power Plant Operation Under Human-Cyber-Physical System Architecture

Jiang, XY, Feng, YX,     More...

Jiang, XY, Feng, YX, Li, ZW, Hong, ZX, Si, HY, Tan, JR     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  6.4  发表年影響因子:  5.9 

10.Adaptive Supervisory Control of Automated Manufacturing Systems With Unreliable Resources Based on Smart Switch Controllers

Zhang, ZL, Liu, GY,     More...

Zhang, ZL, Liu, GY, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 11  2024影響因子:  6.4  发表年影響因子:  5.9 

11.Knowledge-Based Lot-Splitting Optimization Method for Flexible Job Shops Considering Energy Consumption

Tian, ZQ, Jiang, XY,     More...

Tian, ZQ, Jiang, XY, Tian, GD, Li, ZW, Liu, WJ     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 13  2024影響因子:  6.4  发表年影響因子:  5.9 

12.A Hybrid QFD-Based Human-Centric Decision Making Approach of Disassembly Schemes Under Interval 2-Tuple q-Rung Orthopair Fuzzy Sets

Zhang, HH, Huang, ZW     More...

Zhang, HH, Huang, ZW, Tian, GD, Wang, WJ, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 24  2024影響因子:  6.4  发表年影響因子:  5.9 

13.Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information

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

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

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 10  2024影響因子:  6.4  发表年影響因子:  5.9 

14.Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses

Qin, T, Yin, L, Wu,     More...

Qin, T, Yin, L, Wu, NQ, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

收錄情况： WOS SCOPUS

WOS核心合集引用: 7  2024影響因子:  6.4  发表年影響因子:  5.9 

15.Interval-Valued Intuitionistic Uncertain Linguistic Cloud Petri Net and Its Application to Risk Assessment for Subway Fire Accident

Zhang, C, Tian, GD,     More...

Zhang, C, Tian, GD, Fathollahi-Fard, AM, Wang, WJ, Wu, P, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2022, Volume 19, Issue 1, Pages 163-177

收錄情况： WOS SCOPUS

WOS核心合集引用: 58  2024影響因子:  6.4  发表年影響因子:  5.6 

16.Improved Meta-Heuristics for Solving Distributed Lot-Streaming Permutation Flow Shop Scheduling Problems

Pan, YX, Gao, KZ, Li     More...

Pan, YX, Gao, KZ, Li, ZW, Wu, NQ     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2022, Volume 20, Issue 1, Pages 361-371

收錄情况： WOS SCOPUS

WOS核心合集引用: 80  2024影響因子:  6.4  发表年影響因子:  5.6 

17.Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets

Chen, YF, Pan, L, Li     More...

Chen, YF, Pan, L, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2022, Volume 20, Issue 1, Pages 611-623

收錄情况： WOS SCOPUS

WOS核心合集引用: 8  2024影響因子:  6.4  发表年影響因子:  5.6 

18.Revisiting State Estimation and Weak Detectability of Discrete-Event Systems

Han, XG, Wang, JL, L     More...

Han, XG, Wang, JL, Li, ZW, Chen, XY, Chen, ZQ     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2022, Volume 20, Issue 1, Pages 662-674

收錄情况： WOS SCOPUS

WOS核心合集引用: 7  2024影響因子:  6.4  发表年影響因子:  5.6 

19.Critical Observability of Labeled Time Petri Net Systems

Cong, Xuya, Fanti, M     More...

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

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2022, Volume 20, Issue 3, Pages 2063-2074

收錄情况： WOS SCOPUS

WOS核心合集引用: 21  2024影響因子:  6.4  发表年影響因子:  5.6 

20.RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems

Ramdani, M, Kahloul,     More...

Ramdani, M, Kahloul, L, Khalgui, M, Li, ZW, Zhou, MC     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2021, Volume 18, Issue 3, Pages 1392-1405

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2024影響因子:  6.4  发表年影響因子:  6.636