Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. - Yufeng Chen 001; Zhiwu Li 001; Kamel Barkaoui (ETFA, 2011)

On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems. - ZhiWu Li 001; Yufeng Chen 001; MengChu Zhou (SMC, 2011)

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. - Yufeng Chen 001; ZhiWu Li 001 (Autom., 2011)

Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. - Yufeng Chen 001; ZhiWu Li 001; Mohamed Khalgui; Olfa Mosbahi (IEEE Trans Autom. Sci. Eng., 2011)

On structural minimality of optimal supervisors for flexible manufacturing systems. - Yufeng Chen 001; ZhiWu Li 001 (Autom., 2012)

Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". - Yufeng Chen 001; ZhiWu Li 001; Mohamed Khalgui; Olfa Mosbahi (IEEE Trans Autom. Sci. Eng., 2012)

Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems. - Yufeng Chen 001; ZhiWu Li 001; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. - Yufeng Chen 001; Gaiyun Liu (ACM Trans. Embed. Comput. Syst., 2013)

Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems. - Yufeng Chen 001; ZhiWu Li 001; Abdulrahman Al-Ahmari (IEEE Trans. Syst. Man Cybern. Syst., 2013)

On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor. - Chunfu Zhong; ZhiWu Li 001; Yufeng Chen 001; Abdulrahman Al-Ahmari (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Maximally Permissive Petri Net Supervisors with a Novel Structure. - Yufeng Chen 001; Zhiwu Li 001; Kamel Barkaoui (WODES, 2014)

Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. - Yufeng Chen 001; ZhiWu Li 001; Kamel Barkaoui (Inf. Sci., 2014)

Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach. - Yufeng Chen 001; ZhiWu Li 001; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2014)

Corrections to "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems". - Yufeng Chen 001; ZhiWu Li 001; Abdulrahman Al-Ahmari (IEEE Trans. Syst. Man Cybern. Syst., 2014)

New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. - Yufeng Chen 001; ZhiWu Li 001; Kamel Barkaoui; Murat Uzam (IEEE Trans. Syst. Man Cybern. Syst., 2014)

On the enforcement of a class of nonlinear constraints on Petri nets. - Yufeng Chen 001; ZhiWu Li 001; Kamel Barkaoui; Alessandro Giua (Autom., 2015)

Optimal supervisory control of flexible manufacturing systems. (Synthèse de contrôleurs optimaux pour les systèmes flexibles de production). - Yufeng Chen 001 (2015)

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. - Chengzong Li; Yufeng Chen 001; Zhiwu Li 001; Kamel Barkaoui (IEEE Access, 2017)

On Computation Reduction of Liveness-Enforcing Supervisors. - Chao Wang; Anrong Wang; Yufeng Chen 001; Abdulrahman Al-Ahmari; Zhiwu Li 001 (IEEE Access, 2017)

Deadlock recovery for flexible manufacturing systems modeled with Petri nets. - Yufeng Chen 001; ZhiWu Li 001; Abdulrahman Al-Ahmari; Naiqi Wu; Ting Qu (Inf. Sci., 2017)

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. - Yufeng Chen 001; ZhiWu Li 001; Kamel Barkaoui; Naiqi Wu; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Petri net-based deadlock avoidance for single-arm cluster tools with concurrently processing two-type wafers. - Yanjun Lu; ChunRong Pan; Yan Qiao; Naiqi Wu; Yufeng Chen 001 (ICNSC, 2018)

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs. - Xuya Cong; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu; Emad S. Abouel Nasr; Abdul-Aziz Mohammed El-Tamimi (IEEE Access, 2018)

State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems. - Oussama Karoui; Mohamed Khalgui; Yufeng Chen 001; Naiqi Wu; Ateekh-Ur-Rehman; Usama Umer (IEEE Access, 2018)

An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets. - Yunyun Dong; Yufeng Chen 001; Shaoyong Li; Mohammed A. El-Meligy; Mohamed Sharaf 001 (IEEE Access, 2019)

Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons. - Gaiyun Liu; Lingchun Zhang; Yuting Liu; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu (IEEE Access, 2019)

On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets. - Dajiang Sun; Yufeng Chen 001; Mohammed A. El-Meligy; Mohamed Sharaf 001; Naiqi Wu; Zhiwu Li 001 (IEEE Access, 2019)

Optimal Petri net supervisor synthesis for forbidden state problems using marking mask. - Yuting Li; Li Yin; Yufeng Chen 001; Zhenhua Yu 001; Naiqi Wu (Inf. Sci., 2019)

Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems. - Menghuan Hu; Shaohua Yang; Yufeng Chen 001 (IEEE Access, 2020)

On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. - Oussama Karoui; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net. - Yanjun Lu; Yan Qiao; ChunRong Pan; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001; Bin Liu (IEEE Access, 2021)

Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications*. - Chengzong Li; Yufeng Chen 001; Zhiwu Li 001; Li Yin (CASE, 2022)

Optimal Transition-based Supervisors Design for Flexible Manufacturing Systems. - Yao Lu; Yufeng Chen 001; Li Yin; Zhiwu Li 001 (ICNSC, 2022)

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act- Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. - Chengzong Li; Yongyao Li; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001; Pengyu Ma; Husam Kaid (Comput. Informatics, 2022)

Petri-Net-Based Scheduling of Flexible Manufacturing Systems Using an Estimate Function. - Gongdan Xu; Yufeng Chen 001 (Symmetry, 2022)

An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs. - Yao Lu; Yufeng Chen 001; ZhiWu Li 001; Naiqi Wu (IEEE Trans Autom. Sci. Eng., 2022)

On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification. - Yufeng Chen 001; Yuting Li; Zhiwu Li 001; Naiqi Wu (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets. - Yufeng Chen 001; Lei Pan; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2023)

Modeling and Analysis of Time Dependent Petri Nets. - Shu Zhang; Ruotian Liu; Yufeng Chen 001; Xuya Cong; Maria Pia Fanti (CASE, 2024)

Correction to "On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets". - Dajiang Sun; Yufeng Chen 001; Mohammed A. El-Meligy; Mohamed Sharaf 001; Naiqi Wu; Zhiwu Li 001 (IEEE Access, 2024)

Supervisory Control of Discrete Event Systems With Dynamic Control Specifications by Petri Nets. - Chengzong Li; Yufeng Chen 001; Zhiwu Li 001 (IEEE Trans. Control. Syst. Technol., 2024)

Concealability Analysis for Current-State Opacity Enforcement via Editing Functions. - Kun Peng; Yufeng Chen 001; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2024)

On the Existence of Nonblocking Bounded Supervisors for Discrete-Event Systems. - Zhaoyu Xiang; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2024)

Application of differential privacy in smart building systems. - Yuanxiu Teng; Li Yin; Yufeng Chen 001; Zhiwu Li 001; Xin Hu; Ahmed M. El-Sherbeeny (Syst. Control. Lett., 2025)

Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement. - Chengzong Li; Yufeng Chen 001; Almetwally M. Mostafa; Mohamed Khalgui (IEEE Trans Autom. Sci. Eng., 2025)

Over-Approximation State Estimation for Networked Timed Discrete Event Systems With Communication Delays and Losses. - Zhaoyu Xiang; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2025)

Supervisory Control of Networked Timed Discrete Event Systems With Bandwidth Constraints. - Zhaoyu Xiang; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2025)

Design of Optimal Transition-Based Supervisors for Flexible Manufacturing Systems via Resource Requirement Graphs. - Yao Lu; Yufeng Chen 001; Christoforos N. Hadjicostis; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2025)