1.Symbolic state estimation in bounded timed labeled Petri nets
Dong, Yifan, Wu, Nai More...
Automatica[0005-1098], Published 2024, Volume 160,
收錄情况: WOS SCOPUS
WOS核心合集引用: 0 2022影響因子: 6.4
2.Strong current-state and initial-state opacity of discrete-event systems
Han, XG, Zhang, KZ, More...
AUTOMATICA[0005-1098], Published 2023, Volume 148,
收錄情况: WOS SCOPUS
WOS核心合集引用: 5 2022影響因子: 6.4
3.Diagnosis of timed patterns for discrete event systems by means of state isolation
Lefebvre, Dimitri, L More...
Automatica[0005-1098], Published 2023, Volume 153,
收錄情况: WOS SCOPUS
WOS核心合集引用: 2 2022影響因子: 6.4
4.Time based deadlock prevention for Petri nets
Boucheneb, Hanifa, B More...
Automatica[0005-1098], Published 2022, Volume 137,
收錄情况: WOS SCOPUS
WOS核心合集引用: 1 2022影響因子: 6.4 发表年影響因子: 6.4
5.Design of supervisors for linear marking specifications in labeled Petri nets
Ma, Ziyue, He, Zhou, More...
Automatica[0005-1098], Published 2022, Volume 136,
收錄情况: WOS SCOPUS
WOS核心合集引用: 6 2022影響因子: 6.4 发表年影響因子: 6.4
6.Modular control of discrete-event systems using similarity
Liu, Yingying, Komen More...
Automatica[0005-1098], Published 2022, Volume 142,
收錄情况: WOS SCOPUS
WOS核心合集引用: 0 2022影響因子: 6.4 发表年影響因子: 6.4
7.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核心合集引用: 1 2022影響因子: 6.4 发表年影響因子: 6.4
8.Initial-state detectability and initial-state opacity of unambiguous weighted automata
Lai, AW, Lahaye, S, More...
AUTOMATICA[0005-1098], Published 2021, Volume 127,
收錄情况: WOS SCOPUS
WOS核心合集引用: 5 2022影響因子: 6.4 发表年影響因子: 6.150
9.Marking diagnosability verification in labeled Petri nets
Ma, ZY, Yin, X, Li, More...
Automatica[0005-1098], Published 2021, Volume 131,
收錄情况: WOS SCOPUS
WOS核心合集引用: 12 2022影響因子: 6.4 发表年影響因子: 6.150
10.Diagnosability enforcement in labeled Petri nets using supervisory control
Hu, YH, Ma, ZY, Li, More...
AUTOMATICA[0005-1098], Published 2021, Volume 131,
收錄情况: WOS
WOS核心合集引用: 11 2022影響因子: 6.4 发表年影響因子: 6.150
11.Verification and enforcement of strong infinite- and k-step opacity using state recognizers
Ma, ZY, Yin, X, Li, More...
AUTOMATICA[0005-1098], Published 2021, Volume 133,
收錄情况: WOS SCOPUS
WOS核心合集引用: 23 2022影響因子: 6.4 发表年影響因子: 6.150
12.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核心合集引用: 19 2022影響因子: 6.4 发表年影響因子: 5.944
13.Influence minimization in linear threshold networks
Yang, Lan, Li, Zhiwu More...
Automatica[0005-1098], Published 2019, Volume 100, Pages 10-16
收錄情况: WOS SCOPUS
WOS核心合集引用: 16 2022影響因子: 6.4 发表年影響因子: 5.541
14.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核心合集引用: 32 2022影響因子: 6.4 发表年影響因子: 5.541
15.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核心合集引用: 8 2022影響因子: 6.4 发表年影響因子: 6.355
16.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核心合集引用: 58 2022影響因子: 6.4 发表年影響因子: 6.355
17.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核心合集引用: 70 2022影響因子: 6.4 发表年影響因子: 6.355
18.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核心合集引用: 48 2022影響因子: 6.4 发表年影響因子: 6.126
19.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核心合集引用: 26 2022影響因子: 6.4 发表年影響因子: 5.451
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫