1.Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks

Wang, X, Khemaissia,     More...

Wang, X, Khemaissia, I, Khalgui, M, Li, ZW, Mosbahi, O, Zhou, MC     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2015, Volume 12, Issue 1, Pages 258-271

收錄情况： WOS SCOPUS

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

2.RWiN: New Methodology for the Development of Reconfigurable WSN

Grichi, H, Mosbahi,     More...

Grichi, H, Mosbahi, O, Khalgui, M, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2017, Volume 14, Issue 1, Pages 109-125

收錄情况： WOS SCOPUS

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

3.Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets

Hu, HS, Zhou, MC, Li     More...

Hu, HS, Zhou, MC, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2010, Volume 7, Issue 3, Pages 549-557

收錄情况： WOS SCOPUS

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

4.Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets

Hu, HS, Zhou, MC, Li     More...

Hu, HS, Zhou, MC, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2010, Volume 7, Issue 4, Pages 933-944

收錄情况： WOS SCOPUS

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

5.An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems

Hu, HS, Zhou, MC, Li     More...

Hu, HS, Zhou, MC, Li, ZW, Tang, Y     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2013, Volume 10, Issue 3, Pages 772-782

收錄情况： WOS SCOPUS

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

6.Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach

Chen, YF, Li, ZW, Zh     More...

Chen, YF, Li, ZW, Zhou, MC     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2014, Volume 11, Issue 2, Pages 549-563

收錄情况： WOS SCOPUS

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

7.Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems

Chen, YF, Li, ZW, Kh     More...

Chen, YF, Li, ZW, Khalgui, M, Mosbahi, O     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2011, Volume 8, Issue 2, Pages 374-393

收錄情况： WOS SCOPUS

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

8.Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets

Hu, HS, Zhou, MC, Li     More...

Hu, HS, Zhou, MC, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2011, Volume 8, Issue 4, Pages 794-804

收錄情况： WOS SCOPUS

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

9.Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior

Hu, HS, Li, ZW     More...

Hu, HS, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2009, Volume 6, Issue 3, Pages 557-559

收錄情况： WOS SCOPUS

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

10.Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems

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

Zhang, HM, Feng, L, Wu, NQ, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2018, Volume 15, Issue 1, Pages 2-15

收錄情况： WOS SCOPUS

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

11.Optimization of Deterministic Timed Weighted Marked Graphs

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

He, Z, Li, ZW, Giua, A     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2017, Volume 14, Issue 2, Pages 1084-1095

收錄情况： WOS SCOPUS

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

12.Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems (vol 8, pg 374, 2011)

Chen, YF, Li, ZW, Kh     More...

Chen, YF, Li, ZW, Khalgui, M, Mosbahi, O     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2012, Volume 9, Issue 2, Pages 455-455

收錄情况： WOS SCOPUS

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

13.A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions

Li, ZW, Zhou, MC, Je     More...

Li, ZW, Zhou, MC, Jeng, MD     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2008, Volume 5, Issue 1, Pages 182-188

收錄情况： WOS SCOPUS

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

14.Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems

Ben Ahmed, A, Mosbah     More...

Ben Ahmed, A, Mosbahi, O, Khalgui, M, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2018, Volume 15, Issue 4, Pages 1864-1882

收錄情况： WOS SCOPUS

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

15.Synthesis of Supervisory Control with Partial Observation on Normal State-Tree Structures

Gu, Chan, Wang, Xi,     More...

Gu, Chan, Wang, Xi, Li, Zhiwu     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2019, Volume 16, Issue 2, Pages 984-997

收錄情况： WOS SCOPUS

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

16.Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly

Feng, Yixiong, Gao,     More...

Feng, Yixiong, Gao, Yicong, Zheng, Hao, Tian, Guangdong, Li, Zhiwu, Hu, Hesuan     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2019, Volume 16, Issue 1, Pages 311-326

收錄情况： WOS SCOPUS

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

17.Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

Guellouz, S, Benzina     More...

Guellouz, S, Benzina, A, Khalgui, M, Frey, G, Li, ZW, Vyatkin, V     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2019, Volume 16, Issue 3, Pages 1110-1124

收錄情况： WOS SCOPUS

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

18.Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems

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

Zhang, HM, Feng, L, Li, ZW     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2020, Volume 17, Issue 1, Pages 361-374

收錄情况： WOS SCOPUS

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

19.Multiobjective Bike Repositioning in Bike-Sharing Systems via a Modified Artificial Bee Colony Algorithm

Jia, HF, Miao, HZ, T     More...

Jia, HF, Miao, HZ, Tian, GD, Zhou, MC, Feng, YX, Li, ZW, Li, JC     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2020, Volume 17, Issue 2, Pages 909-920

收錄情况： WOS SCOPUS

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

20.RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems

Ramdani, M, Kahloul,     More...

Ramdani, M, Kahloul, L, Khalgui, M, Li, ZW, Zhou, MC     Less

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2021, Volume 18, Issue 3, Pages 1392-1405

收錄情况： WOS SCOPUS

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