排序方式:
    總頁 1 
      Go

    1.An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

    Li, Liang, Li, Zhiwu     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2020, Volume 65, Issue 1, Pages 237-251

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 11  2019影響因子:  5.625 

    2.Marking Estimation in a Class of Time Labeled Petri Nets

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

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 2, Pages 493-506

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2019影響因子:  5.625 

    3.Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming

    Ma, ZY, Zhu, GH, Li,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 6, Pages 2662-2669

    收錄情况: WOS SCOPUS

    2019影響因子:  5.625 

    4.Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions"

    He, Z, Li, ZW, Giua,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2019, Volume 64, Issue 12, Pages 5253-5259

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2019影響因子:  5.625  发表年影響因子:  5.625 

    5.Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics

    He, Z, Li, ZW, Giua,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2018, Volume 63, Issue 8, Pages 2573-2580

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 10  2019影響因子:  5.625  发表年影響因子:  5.093 

    6.A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems

    Zhang, HM, Feng, L,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2018, Volume 63, Issue 10, Pages 3345-3360

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 27  2019影響因子:  5.625  发表年影響因子:  5.093 

    7.Verification of State-Based Opacity Using Petri Nets

    Tong, Y, Li, ZW, Sea     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2017, Volume 62, Issue 6, Pages 2823-2837

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 86  2019影響因子:  5.625  发表年影響因子:  5.007 

    8.Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

    Ma, ZY, Tong, Y, Li,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2017, Volume 62, Issue 3, Pages 1078-1093

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 48  2019影響因子:  5.625  发表年影響因子:  5.007 

    9.Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

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

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2017, Volume 62, Issue 3, Pages 1329-1341

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 46  2019影響因子:  5.625  发表年影響因子:  5.007 

    10.On the Equivalence of Observation Structures for Petri Net Generators

    Tong, Y, Li, ZW, Giu     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2016, Volume 61, Issue 9, Pages 2448-2462

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 52  2019影響因子:  5.625  发表年影響因子:  4.270 

    11.Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

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

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2015, Volume 60, Issue 7, Pages 1774-1785

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 85  2019影響因子:  5.625  发表年影響因子:  2.777 

    顯示      條  合計   11   條
      總頁 1 
        Go

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

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