Fault diagnosis in DESs modeled by partially observed Petri nets. - Li Yin 009; ZhiWu Li 001; Naiqi Wu (CASE, 2016)

Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001; Li Yin 009 (IEEE Access, 2018)

Fault Diagnosis in Partially Observed Petri Nets Using Redundancies. - Li Yin 009; Zhiwu Li 001; Naiqi Wu; Shouguang Wang; Ting Qu 002 (IEEE Access, 2018)

Diagnosability of Vector Discrete-Event Systems Using Predicates. - Qinrui Chen; Li Yin 009; Naiqi Wu; Mohammed A. El-Meligy; Mohamed Sharaf 001; Zhiwu Li 001 (IEEE Access, 2019)

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

Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting. - Ya Wang; Li Yin 009; Guanghui Zhu (IEEE Access, 2020)

Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets. - Shiqi Li; Murat Uzam; Li Yin 009; Zhaofeng Zhong; Li Zheng; Naiqi Wu (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 009 (CASE, 2022)

Liveness Enforcement for Time Petri Nets. - Tao Qin 005; Yifan Dong; Li Yin 009; Naiqi Wu; Zhiwu Li 001 (CoDIT, 2022)

Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets. - Haoming Zhu; Li Yin 009; Naiqi Wu; Zhiwu Li 001 (CoDIT, 2022)

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

Granular data representation under privacy protection: Tradeoff between data utility and privacy via information granularity. - Ge Zhang; Xiubin Zhu; Li Yin 009; Witold Pedrycz; Zhiwu Li 001 (Appl. Soft Comput., 2022)

Liveness enforcement for production systems modeled by time Petri nets. - Tao Qin 005; Yifan Dong; Li Yin 009; Zhiwu Li 001 (Inf. Sci., 2023)

Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata. - Tareq Ahmad Al-Sarayrah; ZhiWu Li 001; Li Yin 009; Almetwally M. Mostafa (IEEE Access, 2024)

Quantifying opacity of discrete event systems modeled with probabilistic Petri nets. - Sian Zhou; Li Yin 009; Zhi Wu Li 001 (Inf. Sci., 2024)

Identification of labeled Petri nets from finite automata. - Guanghui Zhu; Li Yin 009; Yaohui Li; Zhi Wu Li 001; Naiqi Wu (Inf. Sci., 2024)

Adjacent initial states-based differential privacy for probabilistic labeled Petri nets. - Yuanxiu Teng; Li Yin 009; Zhiwu Li 001; Naiqi Wu (Expert Syst. Appl., 2024)

Fuzzy Prediction Model in Privacy Protection: Takagi-Sugeno Rules Model via Differential Privacy. - Ge Zhang; Xiubin Zhu; Li Yin 009; Witold Pedrycz; Zhiwu Li 001 (IEEE Trans. Fuzzy Syst., 2024)

Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses. - Tao Qin 005; Li Yin 009; Naiqi Wu; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2024)

LLM and VLM-Assisted Human-Robot Collaboration Framework for Smart Assembly Cells. - Wenbin Liang; Yufei Shen; Li Yin 009; Shanglang Yang; Mingxing Li 002; Ting Qu 002 (ICCMS, 2025)

Opacity enforcement in discrete event systems using differential privacy. - Jie Zhang; Yifan Dong; Li Yin 009; Almetwally M. Mostafa; Zhiwu Li 001 (Inf. Sci., 2025)

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

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets. - Tao Qin 005; Li Yin 009; Gaiyun Liu; Naiqi Wu; Zhiwu Li 001 (IEEE CAA J. Autom. Sinica, 2025)