1.State estimation of timed automata under partial observation

Gao, Chao, Lefebvre,     More...

Gao, Chao, Lefebvre, Dimitri, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2024影響因子:  7.0 

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

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

Li, J, Lefebvre, D, Hadjicostis, CN, Li, ZW     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2024影響因子:  7.0 

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

Xiang, Zhaoyu, Chen,     More...

Xiang, Zhaoyu, Chen, Yufeng, Wu, Naiqi, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2025, Volume 70, Issue 7, Pages 4849-4856

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  7.0 

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

Dong, Yifan, Lefebvr     More...

Dong, Yifan, Lefebvre, Dimitri, Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2025, Volume 70, Issue 9, Pages 5848-5863

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2024影響因子:  7.0 

5.Global and Local Error-Tolerant Decentralized State Estimation Under Partially Ordered Observations

Sun, Dajiang, Hadjic     More...

Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu     Less

IEEE Transactions on Automatic Control[0018-9286], Published 2025, Volume 70, Issue 10, Pages 6719-6734

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  7.0 

6.Synthesis of Sensor Attacks for Tampering Detectability of Partially Observed Discrete-Event Systems

Chen, Qinrui, Su, Ro     More...

Chen, Qinrui, Su, Rong, Li, Zhiwu     Less

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

收錄情况： SCOPUS

2024影響因子:  7.0 

7.Construction of Decentralized State Estimator Based on Partially Ordered Observation Sequences

Sun, Dajiang, Hadjic     More...

Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu     Less

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

收錄情况： SCOPUS

2024影響因子:  7.0 

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

He, Zhaoyang, Wu, Na     More...

He, Zhaoyang, Wu, Naiqi, Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 4  2024影響因子:  7.0  发表年影響因子:  7.0 

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

Peng, Kun, Chen, Yuf     More...

Peng, Kun, Chen, Yufeng, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2024影響因子:  7.0  发表年影響因子:  7.0 

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

Xiang, Zhaoyu, Chen,     More...

Xiang, Zhaoyu, Chen, Yufeng, Wu, Naiqi, Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2024影響因子:  7.0  发表年影響因子:  7.0 

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

Duan, W, Hadjicostis     More...

Duan, W, Hadjicostis, CN, Li, ZW     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2024影響因子:  7.0  发表年影響因子:  7.0 

12.Predictability Verification of Fault Patterns in Labeled Petri Nets

Cong, Xuya, Yu, Zhen     More...

Cong, Xuya, Yu, Zhenhua, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 5  2024影響因子:  7.0  发表年影響因子:  7.0 

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

Li, Yuting, Hadjicos     More...

Li, Yuting, Hadjicostis, Christoforos N., Wu, Naiqi, Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

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

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

Li, Xiaoyan, Hadjico     More...

Li, Xiaoyan, Hadjicostis, Christoforos N., Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

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

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

Cong, Xuya, Fanti, M     More...

Cong, Xuya, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu     Less

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

收錄情况： WOS SCOPUS

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

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

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

Li, J, Lefebvre, D, Hadjicostis, CN, Li, ZW     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 18  2024影響因子:  7.0  发表年影響因子:  6.8 

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

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

Ma, ZY, Zhu, GH, Li, ZW     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 15  2024影響因子:  7.0  发表年影響因子:  6.549 

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

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

Zhu, GH, Feng, L, Li, ZW, Wu, NQ     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 33  2024影響因子:  7.0  发表年影響因子:  6.549 

19.Marking Predictability and Prediction in Labeled Petri Nets

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

Ma, ZY, Yin, X, Li, ZW     Less

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

收錄情况： WOS SCOPUS

WOS核心合集引用: 14  2024影響因子:  7.0  发表年影響因子:  6.549 

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

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

Wang, X, Li, ZW, Wonham, WM     Less

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

收錄情况： WOS

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