1.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

2020影響因子:  5.083 

2.On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints

Goubaa, A, Khalgui,     More...

Goubaa, A, Khalgui, M, Li, ZW, Frey, G, Al-Ahmari, A     Less

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

收錄情况： WOS

2020影響因子:  5.083 

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

Zhang, Huimin, Li, Z     More...

Zhang, Huimin, Li, Zhiwu, Feng, Lei     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2020, Volume 17, Issue 1, Pages 361-374

收錄情况： WOS SCOPUS

2020影響因子:  5.083  发表年影響因子:  5.083 

4.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核心合集引用: 11  2020影響因子:  5.083  发表年影響因子:  5.083 

5.Interval-Valued Intuitionistic Uncertain Linguistic Cloud Petri Net and Its Application to Risk Assessment for Subway Fire Accident

Zhang, Cheng, Wang,     More...

Zhang, Cheng, Wang, Wenjie, Tian, Guangdong, Fathollahi-Fard, Amir Mohammad, Wu, Peng, Li, Zhiwu     Less

IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2020,

收錄情况： SCOPUS

2020影響因子:  5.083  发表年影響因子:  5.083 

6.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核心合集引用: 22  2020影響因子:  5.083  发表年影響因子:  4.938 

7.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核心合集引用: 46  2020影響因子:  5.083  发表年影響因子:  4.938 

8.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核心合集引用: 2  2020影響因子:  5.083  发表年影響因子:  4.938 

9.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核心合集引用: 45  2020影響因子:  5.083  发表年影響因子:  5.224 

10.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  2020影響因子:  5.083  发表年影響因子:  5.224 

11.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核心合集引用: 46  2020影響因子:  5.083  发表年影響因子:  3.667 

12.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核心合集引用: 19  2020影響因子:  5.083  发表年影響因子:  3.667 

13.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核心合集引用: 96  2020影響因子:  5.083  发表年影響因子:  2.696 

14.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核心合集引用: 127  2020影響因子:  5.083  发表年影響因子:  2.428 

15.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核心合集引用: 38  2020影響因子:  5.083  发表年影響因子:  2.162 

16.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  2020影響因子:  5.083  发表年影響因子:  1.674 

17.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核心合集引用: 210  2020影響因子:  5.083  发表年影響因子:  1.461 

18.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核心合集引用: 47  2020影響因子:  5.083  发表年影響因子:  1.461 

19.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核心合集引用: 53  2020影響因子:  5.083  发表年影響因子:  1.396 

20.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核心合集引用: 45  2020影響因子:  5.083  发表年影響因子:  1.396