A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints. - Jipeng Wang; Chunrong Pan; Hesuan Hu; Liang Li 020; Yuan Zhou 005 (IEEE Trans Autom. Sci. Eng., 2019)

Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints. - Jipeng Wang; Hesuan Hu; Chunrong Pan; Yuan Zhou 005; Liang Li 020 (IEEE CAA J. Autom. Sinica, 2020)

An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems. - Liang Li 020; Francesco Basile; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2020)

Transient Process Optimization for Dual-Arm Cluster Tools With Wafer Revisiting. - Jipeng Wang; Hesuan Hu; Chunrong Pan; Liang Li 020 (IEEE Access, 2021)

An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions. - Liang Li 020; Zhiwu Li 001; Jipeng Wang (Inf. Sci., 2021)

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. - Liang Li 020; Francesco Basile; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2021)

Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions. - Liang Li 020; Yaqiong Li; Bin Liu 064; Weimin Wu 002 (Int. J. Control, 2023)

State estimation in labeled time Petri net systems using observed modified state class graph. - Liang Li 020; Mingxi Deng; Bin Liu 064; Zhiwu Li 001 (Inf. Sci., 2024)

Verification of current-state opacity and opaque time for labeled time Petri net systems. - Yuting Wang; Liang Li 020; Zhiwu Li 001 (Autom., 2025)