1.Efficient iterative deadlock prevention for flexible manufacturing systems utilizing modified resource requirement graphs

Lu, Y, Chen, YF, Had     More...

Lu, Y, Chen, YF, Hadjicostis, CN, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2026, Volume 183,

收錄情况： WOS SCOPUS

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

2.Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints

Li, YT, Hadjicostis,     More...

Li, YT, Hadjicostis, CN, Wu, NQ, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2025, Volume 171,

收錄情况： WOS SCOPUS

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

3.A joint diagnoser approach for diagnosability of discrete event systems under attack

Kang, TL, Seatzu, C,     More...

Kang, TL, Seatzu, C, Li, ZW, Giua, A     Less

AUTOMATICA[0005-1098], Published 2025, Volume 172,

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2024影響因子:  5.9 

4.Verification of current-state opacity and opaque time for labeled time Petri net systems

Wang, YT, Li, L, Li,     More...

Wang, YT, Li, L, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2025, Volume 176,

收錄情况： WOS SCOPUS

WOS核心合集引用: 2  2024影響因子:  5.9 

5.Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints

Yuting Li, Christofo     More...

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

Automatica[0005-1098], Published 2025, Volume 171,

2024影響因子:  5.9 

6.Symbolic state estimation in bounded timed labeled Petri nets

Dong, Yifan, Wu, Nai     More...

Dong, Yifan, Wu, Naiqi, Li, Zhiwu     Less

Automatica[0005-1098], Published 2024, Volume 160,

收錄情况： WOS SCOPUS

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

7.Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs

Gu, Chao, Ma, Ziyue,     More...

Gu, Chao, Ma, Ziyue, Li, Zhiwu     Less

Automatica[0005-1098], Published 2024, Volume 164,

收錄情况： WOS SCOPUS

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

8.State estimation for constant-time labeled automata under dense time

Li, Jun, Lefebvre, D     More...

Li, Jun, Lefebvre, Dimitri, Hadjicostis, Christoforos N., Li, Zhiwu     Less

Automatica[0005-1098], Published 2024, Volume 170,

收錄情况： WOS SCOPUS

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

9.Strong current-state and initial-state opacity of discrete-event systems

Han, XG, Zhang, KZ,     More...

Han, XG, Zhang, KZ, Zhang, JH, Li, ZW, Chen, ZQ     Less

AUTOMATICA[0005-1098], Published 2023, Volume 148,

收錄情况： WOS SCOPUS

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

10.Diagnosis of timed patterns for discrete event systems by means of state isolation

Lefebvre, Dimitri, L     More...

Lefebvre, Dimitri, Li, Zhiwu, Liang, Ye     Less

Automatica[0005-1098], Published 2023, Volume 153,

收錄情况： WOS SCOPUS

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

11.Time based deadlock prevention for Petri nets

Boucheneb, Hanifa, B     More...

Boucheneb, Hanifa, Barkaoui, Kamel, Xing, Qian, Wang, KuangZe, Liu, GaiYun, Li, ZhiWu     Less

Automatica[0005-1098], Published 2022, Volume 137,

收錄情况： WOS SCOPUS

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

12.Design of supervisors for linear marking specifications in labeled Petri nets

Ma, Ziyue, He, Zhou,     More...

Ma, Ziyue, He, Zhou, Li, Zhiwu, Giua, Alessandro     Less

Automatica[0005-1098], Published 2022, Volume 136,

收錄情况： WOS SCOPUS

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

13.Modular control of discrete-event systems using similarity

Liu, Yingying, Komen     More...

Liu, Yingying, Komenda, Jan, Masopust, Tomáš, Li, Zhiwu     Less

Automatica[0005-1098], Published 2022, Volume 142,

收錄情况： WOS SCOPUS

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

14.Online verification of K-step opacity by Petri nets in centralized and decentralized structures

Zhu, GH, Li, ZW, Wu,     More...

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

AUTOMATICA[0005-1098], Published 2022, Volume 145,

收錄情况： WOS SCOPUS

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

15.Initial-state detectability and initial-state opacity of unambiguous weighted automata

Lai, AW, Lahaye, S,     More...

Lai, AW, Lahaye, S, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2021, Volume 127,

收錄情况： WOS SCOPUS

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

16.Marking diagnosability verification in labeled Petri nets

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

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

Automatica[0005-1098], Published 2021, Volume 131,

收錄情况： WOS SCOPUS

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

17.Diagnosability enforcement in labeled Petri nets using supervisory control

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

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

AUTOMATICA[0005-1098], Published 2021, Volume 131,

收錄情况： WOS

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

18.Verification and enforcement of strong infinite- and k-step opacity using state recognizers

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

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

AUTOMATICA[0005-1098], Published 2021, Volume 133,

收錄情况： WOS SCOPUS

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

19.Current-state opacity modelling and verification in partially observed Petri nets

Saadaoui, I, Li, ZW,     More...

Saadaoui, I, Li, ZW, Wu, NQ     Less

AUTOMATICA[0005-1098], Published 2020, Volume 116,

收錄情况： WOS SCOPUS

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

20.Influence minimization in linear threshold networks

Yang, Lan, Li, Zhiwu     More...

Yang, Lan, Li, Zhiwu, Giua, Alessandro     Less

Automatica[0005-1098], Published 2019, Volume 100, Pages 10-16

收錄情况： WOS SCOPUS

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