學者庫將於2020年9月22日至9月23日進行與wemust系統同步工作,屆時前台上傳成果數據和相關服務可能受影響。不便之處,祈請見諒!倘有相關垂詢,歡迎致電8897-2204或電郵mustscholar@must.edu.mo。
排序方式:
    總頁 1 
      Go

    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

    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核心合集引用:  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核心合集引用: 10  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核心合集引用:  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核心合集引用: 23  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核心合集引用: 31  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核心合集引用: 23  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核心合集引用: 10  2019影響因子:  5.541  发表年影響因子:  5.451 

    9.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核心合集引用:  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核心合集引用: 80  2019影響因子:  5.541  发表年影響因子:  3.635 

    11.Authors' Reply to 'Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46(6) (2010) 1008-1018]'

    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核心合集引用:  2019影響因子:  5.541  发表年影響因子:  2.919 

    15.Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

    Chen, YF, Li, ZW

    AUTOMATICA[0005-1098], Published 2011, Volume 47, Issue 5, Pages 1028-1034

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 158  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 

    顯示      條  合計   16   條
      總頁 1 
        Go

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

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