1.Symbolic state estimation in bounded timed labeled Petri nets

Dong, YF, Wu, NQ, Li     More...

Dong, YF, Wu, NQ, Li, ZW     Less

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

收錄情况： WOS

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

2.Robust predictability of stochastic discrete-event systems and a polynomial-time verification

Liao, Hui, Liu, Fuch     More...

Liao, Hui, Liu, Fuchun, Wu, Naiqi     Less

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

收錄情况： WOS SCOPUS

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

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

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

4.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核心合集引用: 19  2022影響因子:  6.4  发表年影響因子:  5.944 

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核心合集引用: 70  2022影響因子:  6.4  发表年影響因子:  6.355