1.Decentralized Fault Diagnosis by Petri Nets and Integer Linear Programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

IFAC PAPERSONLINE[2405-8963], Published 2017, Volume 50, Issue 1, Pages 13624-13629

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

2.Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions

Zhu, Guanghui, Li, Z     More...

Zhu, Guanghui, Li, Zhiwu, Wu, Naiqi, Al-Ahmari, Abdulrahman     Less

IEEE Transactions on Systems, Man, and Cybernetics: Systems[2168-2216], Published 2019, Volume 49, Issue 2, Pages 333-345

收錄情况： WOS SCOPUS

WOS核心合集引用: 80  2023影響因子:  8.6  发表年影響因子:  9.309 

3.On-line verification of current-state opacity by Petri nets and integer linear programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2018, Volume 94, Pages 205-213

收錄情况： WOS SCOPUS

WOS核心合集引用: 67  2023影響因子:  4.8  发表年影響因子:  6.355 

4.On-line Algorithm for Current State Opacity Enforcement in a Petri Net Framework

Cong X.Y., Fanti M.P     More...

Cong X.Y., Fanti M.P., Mangini A.M., Li Z.W.     Less

IFAC-PapersOnLine[2405-8963], Published 2018, Volume 51, Issue 7, Pages 349-354

收錄情况： WOS SCOPUS

WOS核心合集引用: 5 

5.Model-based fault identification of discrete event systems using partially observed Petri nets

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

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

AUTOMATICA[0005-1098], Published 2018, Volume 96, Pages 201-212

收錄情况： WOS SCOPUS

WOS核心合集引用: 80  2023影響因子:  4.8  发表年影響因子:  6.355 

6.Critical Observability of Safe Petri Nets via Integer Linear Programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2018, Volume 2018-December, Pages 1029-1034

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

7.On-line verification of initial-state opacity by Petri nets and integer linear programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

ISA TRANSACTIONS[0019-0578], Published 2019, Volume 93, Pages 108-114

收錄情况： WOS SCOPUS

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

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

9.Critical Observability of Petri Nets with Unknown Initial Marking

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2019, Volume 2019-December, Pages 2003-2008

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

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

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

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

13.An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems

Kaid, Husam, Al-Ahma     More...

Kaid, Husam, Al-Ahmari, Abdulrahman, Li, Zhiwu, Ameen, Wadea     Less

IEEE Access[2169-3536], Published 2022, Volume 10, Pages 68570-68581

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2023影響因子:  3.4  发表年影響因子:  3.9 

14.Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority

Liu, Yejia, Li, Xunb     More...

Liu, Yejia, Li, Xunbo, Li, Zhiwu     Less

IEEE Access[2169-3536], Published 2023, Volume 11, Pages 45442-45455

收錄情况： WOS SCOPUS

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

15.Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints

Saadaoui, I, Labed,     More...

Saadaoui, I, Labed, A, Li, ZW, El-Sherbeeny, AM, Du, HR     Less

MATHEMATICS[2227-7390], Published 2023, Volume 11, Issue 18,

收錄情况： WOS SCOPUS

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

16.On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

Habbachi, S, Ben Haf     More...

Habbachi, S, Ben Hafaiedh, I, Li, ZW, Krichen, M     Less

VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2023[0302-9743], Published 2024, Volume 14368, Pages 45-59

收錄情况： WOS SCOPUS

WOS核心合集引用: 0 

17.Identification of labeled Petri nets from finite automata

Zhu, Guanghui, Yin,     More...

Zhu, Guanghui, Yin, Li, Li, Yaohui, Li, Zhiwu, Wu, Naiqi     Less

Information Sciences[0020-0255], Published 2024, Volume 667,

收錄情况： WOS SCOPUS

WOS核心合集引用: 1 

18.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  2023影響因子:  5.9