1.Model-based fault identification of discrete event systems using partially observed Petri nets
Zhu, GH, Li, ZW, Wu, More...
AUTOMATICA[0005-1098], Published 2018, Volume 96, Pages 201-212
收錄情况: WOS SCOPUS
WOS核心合集引用: 75 2023影響因子: 4.8 发表年影響因子: 6.355
2.Current-state opacity modelling and verification in partially observed Petri nets
Saadaoui, I, Li, ZW, More...
AUTOMATICA[0005-1098], Published 2020, Volume 116,
收錄情况: WOS SCOPUS
WOS核心合集引用: 22 2023影響因子: 4.8 发表年影響因子: 5.944
3.Robust predictability of stochastic discrete-event systems and a polynomial-time verification
Liao, Hui, Liu, Fuch More...
Automatica[0005-1098], Published 2022, Volume 144,
收錄情况: WOS SCOPUS
WOS核心合集引用: 1 2023影響因子: 4.8 发表年影響因子: 6.4
4.Online verification of K-step opacity by Petri nets in centralized and decentralized structures
Zhu, GH, Li, ZW, Wu, More...
AUTOMATICA[0005-1098], Published 2022, Volume 145,
收錄情况: WOS SCOPUS
WOS核心合集引用: 6 2023影響因子: 4.8 发表年影響因子: 6.4
5.Symbolic state estimation in bounded timed labeled Petri nets
Dong, YF, Wu, NQ, Li More...
AUTOMATICA[0005-1098], Published 2024, Volume 160,
收錄情况: WOS
WOS核心合集引用: 1 2023影響因子: 4.8
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫