Concepedia

Liang Li

LL

8

Publications

228

Citations

8

H-Index

2018

Active since

Affiliations

Xidian University(Current)

Macau University of Science and Technology

Wuhan University of Science and Technology

University of Salerno

Nanyang Technological University

Liang Li is an author at Xidian University specializing in computer engineering, systems engineering, and engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceFormal MethodsProcess ControlFormal VerificationAutomationCluster ComputingParallel Computing

Publications per year

2018–2023

8

Publications

8

An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

Liang Li, Francesco Basile, Zhiwu Li · IEEE Transactions on Automatic Control · 2019 · 59 citations

Petri Net, Engineering, Reachability Problem +17

Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints

Jipeng Wang, Hesuan Hu, Chunrong Pan et al. · IEEE/CAA Journal of Automatica Sinica · 2020 · 49 citations · Full text

Cluster Computing, Engineering, Computer Architecture +18

A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints

Jipeng Wang, Chunrong Pan, Hesuan Hu et al. · IEEE Transactions on Automation Science and Engineering · 2018 · 46 citations

Cluster Computing, Engineering, Wafer Batch Size +22

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

Liang Li, Francesco Basile, Zhiwu Li · IEEE Transactions on Automatic Control · 2020 · 26 citations

Petri Net, Engineering, Reachability Problem +17

An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

Liang Li, Zhiwu Li, Jipeng Wang · Information Sciences · 2021 · 14 citations

Petri Net, Engineering, Reachability Problem +12

Rows per page

1–5 of 8