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核心合集引用: 0 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核心合集引用: 0 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
He, Zhaoyang, Wu, Na More...
IEEE Transactions on Automatic Control[0018-9286], Published 2024, Volume 69, Issue 9, Pages 5963-5978
收錄情况: WOS SCOPUS
WOS核心合集引用: 1 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核心合集引用: 0 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核心合集引用: 0 2023影響因子: 6.2
Duan, W, Hadjicostis More...
IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2024, Volume 69, Issue 10, Pages 7263-7269
收錄情况: WOS SCOPUS
WOS核心合集引用: 1 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核心合集引用: 0 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核心合集引用: 5 2023影響因子: 6.2 发表年影響因子: 6.2
Li, Xiaoyan, Hadjico More...
IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 11, Pages 6797-6803
收錄情况: WOS SCOPUS
WOS核心合集引用: 1 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核心合集引用: 9 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核心合集引用: 6 2023影響因子: 6.2 发表年影響因子: 6.549
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫