1.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核心合集引用: 1 2019影響因子: 5.541
2.Influence minimization in linear threshold networks
Yang, Lan, Li, Zhiwu More...
Automatica[0005-1098], Published 2019, Volume 100, Pages 10-16
收錄情况: WOS SCOPUS
WOS核心合集引用: 4 2019影響因子: 5.541 发表年影響因子: 5.541
3.On scalable supervisory control of multi-agent discrete-event systems
Liu, YY, Cai, K, Li, More...
AUTOMATICA[0005-1098], Published 2019, Volume 108,
收錄情况: WOS SCOPUS
WOS核心合集引用: 14 2019影響因子: 5.541 发表年影響因子: 5.541
4.Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
Wang, X, Li, ZW, Won More...
AUTOMATICA[0005-1098], Published 2018, Volume 89, Pages 392-397
收錄情况: WOS SCOPUS
WOS核心合集引用: 4 2019影響因子: 5.541 发表年影響因子: 6.355
5.On-line verification of current-state opacity by Petri nets and integer linear programming
Cong, XY, Fanti, MP, More...
AUTOMATICA[0005-1098], Published 2018, Volume 94, Pages 205-213
收錄情况: WOS SCOPUS
WOS核心合集引用: 26 2019影響因子: 5.541 发表年影響因子: 6.355
6.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核心合集引用: 37 2019影響因子: 5.541 发表年影響因子: 6.355
7.Decidability of opacity verification problems in labeled Petri net systems
Tong, Y, Li, ZW, Sea More...
AUTOMATICA[0005-1098], Published 2017, Volume 80, Pages 48-53
收錄情况: WOS SCOPUS
WOS核心合集引用: 25 2019影響因子: 5.541 发表年影響因子: 6.126
8.Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators
Ma, ZY, Li, ZW, Giua More...
AUTOMATICA[0005-1098], Published 2016, Volume 74, Pages 238-246
收錄情况: WOS SCOPUS
WOS核心合集引用: 11 2019影響因子: 5.541 发表年影響因子: 5.451
Ma, ZY, Li, ZW, Giua More...
AUTOMATICA[0005-1098], Published 2015, Volume 51, Pages 131-134
收錄情况: WOS SCOPUS
WOS核心合集引用: 6 2019影響因子: 5.541 发表年影響因子: 3.635
10.On the enforcement of a class of nonlinear constraints on Petri nets
Chen, YF, Li, ZW, Ba More...
AUTOMATICA[0005-1098], Published 2015, Volume 55, Pages 116-124
收錄情况: WOS SCOPUS
WOS核心合集引用: 82 2019影響因子: 5.541 发表年影響因子: 3.635
Liu, D, Li, ZW, Zhou More...
AUTOMATICA[0005-1098], Published 2014, Volume 50, Issue 8, Pages 2201-2201
收錄情况: WOS SCOPUS
2019影響因子: 5.541 发表年影響因子: 3.020
12.A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Liu, D, Li, ZW, Zhou More...
AUTOMATICA[0005-1098], Published 2013, Volume 49, Issue 11, Pages 3167-3179
收錄情况: WOS SCOPUS
WOS核心合集引用: 18 2019影響因子: 5.541 发表年影響因子: 3.132
13.On structural minimality of optimal supervisors for flexible manufacturing systems
Chen, YF, Li, ZW
AUTOMATICA[0005-1098], Published 2012, Volume 48, Issue 10, Pages 2647-2656
收錄情况: WOS SCOPUS
WOS核心合集引用: 49 2019影響因子: 5.541 发表年影響因子: 2.919
14.Liveness of an extended (SPR)-P-3 (vol 46, pg 1008, 2010)
Liu, D, Li, ZW, Zhou More...
AUTOMATICA[0005-1098], Published 2012, Volume 48, Issue 5, Pages 1003-1004
收錄情况: WOS SCOPUS
WOS核心合集引用: 9 2019影響因子: 5.541 发表年影響因子: 2.919
Chen, YF, Li, ZW
AUTOMATICA[0005-1098], Published 2011, Volume 47, Issue 5, Pages 1028-1034
收錄情况: WOS SCOPUS
WOS核心合集引用: 160 2019影響因子: 5.541 发表年影響因子: 2.829
16.Liveness of an extended (SPR)-P-3
Liu, D, Li, ZW, Zhou More...
AUTOMATICA[0005-1098], Published 2010, Volume 46, Issue 6, Pages 1008-1018
收錄情况: WOS SCOPUS
WOS核心合集引用: 69 2019影響因子: 5.541 发表年影響因子: 2.172
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫