1.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核心合集引用: 0 2022影響因子: 6.8
Li, Xiaoyan, Hadjico More...
IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 11, Pages 6797-6803
收錄情况: WOS SCOPUS
WOS核心合集引用: 0 2022影響因子: 6.8
3.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核心合集引用: 4 2022影響因子: 6.8
4.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核心合集引用: 3 2022影響因子: 6.8 发表年影響因子: 6.8
5.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核心合集引用: 8 2022影響因子: 6.8 发表年影響因子: 6.549
6.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核心合集引用: 18 2022影響因子: 6.8 发表年影響因子: 6.549
7.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核心合集引用: 6 2022影響因子: 6.8 发表年影響因子: 6.549
8.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核心合集引用: 7 2022影響因子: 6.8 发表年影響因子: 6.549
9.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核心合集引用: 12 2022影響因子: 6.8 发表年影響因子: 6.549
10.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核心合集引用: 7 2022影響因子: 6.8 发表年影響因子: 6.549
11.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核心合集引用: 2 2022影響因子: 6.8 发表年影響因子: 6.549
12.Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis
Ma, Ziyue, Zou, Minq More...
IEEE Transactions on Automatic Control[0018-9286], Published 2021, Volume 67, Issue 7, Pages 3685-3692
收錄情况: WOS SCOPUS
WOS核心合集引用: 6 2022影響因子: 6.8 发表年影響因子: 6.549
13.An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
Li, L, Basile, F, Li More...
IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 1, Pages 237-251
收錄情况: WOS SCOPUS
WOS核心合集引用: 44 2022影響因子: 6.8 发表年影響因子: 5.792
14.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核心合集引用: 14 2022影響因子: 6.8 发表年影響因子: 5.792
Ma, ZY, Zhu, GH, Li, More...
IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 6, Pages 2662-2669
收錄情况: WOS SCOPUS
WOS核心合集引用: 5 2022影響因子: 6.8 发表年影響因子: 5.792
16.Design of Supervisors for Active Diagnosis in Discrete Event Systems
Hu, YH, Ma, ZY, Li, More...
IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2020, Volume 65, Issue 12, Pages 5159-5172
收錄情况: WOS SCOPUS
WOS核心合集引用: 29 2022影響因子: 6.8 发表年影響因子: 5.792
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核心合集引用: 12 2022影響因子: 6.8 发表年影響因子: 5.625
18.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核心合集引用: 18 2022影響因子: 6.8 发表年影響因子: 5.093
Zhang, HM, Feng, L, More...
IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2018, Volume 63, Issue 10, Pages 3345-3360
收錄情况: WOS SCOPUS
WOS核心合集引用: 45 2022影響因子: 6.8 发表年影響因子: 5.093
20.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核心合集引用: 189 2022影響因子: 6.8 发表年影響因子: 5.007
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫