排序方式:
    總頁 2 
      Go

    1.State estimation of timed automata under partial observation

    Gao, Chao, Lefebvre,     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2025, Volume 70, Issue 3, Pages 1981-1987

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    2.Verification of State-Based Timed Opacity for Constant-Time Labeled Automata

    Li, J, Lefebvre, D,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2025, Volume 70, Issue 1, Pages 503-509

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    3.Supervisory Control of Networked Timed Discrete Event Systems with Bandwidth Constraints

    Xiang, Zhaoyu, Chen,     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2025,

    收錄情况: SCOPUS

    2023影響因子:  6.2 

    4.K-step Opacity Verification and Enforcement of Time Labeled Petri Net Systems

    Dong, Yifan, Lefebvr     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2025,

    收錄情况: SCOPUS

    2023影響因子:  6.2 

    5.Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems under Supervisory Control

    He, Zhaoyang, Wu, Na     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2024, Volume 69, Issue 9, Pages 5963-5978

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    6.Concealability Analysis for Current-state Opacity Enforcement via Editing Functions

    Peng, Kun, Chen, Yuf     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2024, Volume 69, Issue 10, Pages 7231-7238

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    7.On the Existence of Non-blocking Bounded Supervisors for Discrete Event Systems

    Xiang, Zhaoyu, Chen,     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2024, Volume 69, Issue 11, Pages 8003-8010

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    8.Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

    Duan, W, Hadjicostis     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2024, Volume 69, Issue 10, Pages 7263-7269

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    9.Predictability Verification of Fault Patterns in Labeled Petri Nets

    Cong, Xuya, Yu, Zhen     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2024, Volume 70, Issue 3, Pages 1973-1980

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2 

    10.Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints

    Li, Yuting, Hadjicos     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 11, Pages 6743-6750

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2  发表年影響因子:  6.2 

    11.Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints

    Li, Xiaoyan, Hadjico     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 11, Pages 6797-6803

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2  发表年影響因子:  6.2 

    12.Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

    Cong, Xuya, Fanti, M     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 12, Pages 8158-8164

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 11  2023影響因子:  6.2  发表年影響因子:  6.2 

    13.Observers for a Class of Timed Automata Based on Elapsed Time Graphs

    Li, J, Lefebvre, D,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2022, Volume 67, Issue 2, Pages 767-779

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 14  2023影響因子:  6.2  发表年影響因子:  6.8 

    14.Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs

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

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 2, Pages 810-817

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 11  2023影響因子:  6.2  发表年影響因子:  6.549 

    15.An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets

    Zhu, GH, Feng, L, Li     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 5, Pages 2393-2398

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 26  2023影響因子:  6.2  发表年影響因子:  6.549 

    16.Marking Predictability and Prediction in Labeled Petri Nets

    Ma, ZY, Yin, X, Li,     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 8, Pages 3608-3623

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2  发表年影響因子:  6.549 

    17.Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures

    Wang, X, Li, ZW, Won     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 9, Pages 4230-4237

    收錄情况: WOS

    WOS核心合集引用: 10  2023影響因子:  6.2  发表年影響因子:  6.549 

    18.Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

    Li, L, Basile, F, Li     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 11, Pages 5326-5341

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 23  2023影響因子:  6.2  发表年影響因子:  6.549 

    19.Extended Insertion Functions for Opacity Enforcement in Discrete Event Systems

    Li, Xiaoyan, Hadjico     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2021, Volume 67, Issue 10, Pages 5289-5303

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 16  2023影響因子:  6.2  发表年影響因子:  6.549 

    20.A clustering approach to approximate the timed reachability graph for a class of time Petri nets

    Zhou, Jiazhong, Lefe     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2021, Volume 67, Issue 7, Pages 3693-3698

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.2  发表年影響因子:  6.549 

    顯示      條  合計   33   條
      總頁 2 
        Go

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

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