排序方式:
    總頁 2 
      Go

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

    20.Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]

    Ma, ZY, Li, ZW, Giua     More...

    AUTOMATICA[0005-1098], Published 2015, Volume 51, Pages 131-134

    收錄情况: WOS SCOPUS

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

    顯示      條  合計   27   條
      總頁 2 
        Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫