Academic Qualification
Ph.D. in Macau University of Science and Technology
M.S. in CNNC Beijing Research Institute of Uranium Geology
B.S. in Wuhan University
Teaching Area
Numerical Analysis
Pattern Recognition
Research Area
Petri net
Differential Privacy
Working Experience
Jan. 2021 ~ present, Assistant Professor, Department of Engineering Science, Faculty of Innovation Engineering, MUST
Sep. 2018 ~ Aug. 2020, Postdoctoral Fellow, Macau Institute of Systems Engineering, Macau University of Science and Technology
Academic Publication (selected)
1. Yurui Xia, Jianzhou Wang, Ziyuan Zhang, Danxiang Wei, Li Yin, Short-term PV power forecasting based on time series expansion and high-order fuzzy cognitive maps, Applied Soft Computing, 135, March 2023
2. Ge Zhang, Xiubin Zhu, Li Yin, Witold Pedrycz, Zhiwu Li, Granular data representation under privacy protection: Tradeoff between data utility and privacy via information granularity, Applied Soft Computing, 131, December 2022
3. Tao Qin, Yifan Dong, Li Yin, Zhiwu Li, Liveness enforcement for production systems modeled by time Petri nets, Information Sciences, 648, November 2023
4. Li Y, Wang Y, Zhu G, Yin L, Zhang H, Fault diagnosis of PLC-based discrete event systems using Petri nets, Measurement and Control, 55(9-10): 960-973, November 2022
5. Li, Shiqi and Zhou, Sian and Yin, Li and Jiang, Rongtian, Robust Diagnosability Analysis Using Basis Reachability Graph, IEEE Access, 11: 9751-9762, 2023
6. Teng, Yuanxiu, Zhiwu Li, Li Yin, and Naiqi Wu, State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata, Mathematics, 11(8), April 2023
7. Zhining Cao, Jianzhou Wang, Li Yin, Danxiang Wei, Yiyao Xiao, A hybrid electricity load prediction system based on weighted fuzzy time series and multi-objective differential evolution, Applied Soft Computing, 149, December 2023
8. Yuanxiu Teng, Li Yin, Zhiwu Li, Naiqi Wu, Adjacent initial states-based differential privacy for probabilistic labeled Petri nets, Expert Systems with Applications, 237, March 2024
9. Qin, Tao and Yin, Li and Wu, Naiqi and Li, Zhiwu, Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses, IEEE Transactions on Automation Science and Engineering, : 1-13, December 2023
10. Zhu, Haoming and Yin, Li and Wu, Naiqi and Li, Zhiwu, Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets, 2022 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, 1: 1261-1266, 2022
11. Zhong, Zhaofeng, Ge Zhang, Li Yin, and Yufeng Chen, Description and Analysis of Data Security Based on Differential Privacy in Enterprise Power Systems, Mathematics, 11(23), December 2023
12. Zhou, Sian, Jiaxin Yu, Li Yin, and Zhiwu Li, Security Quantification for Discrete Event Systems Based on the Worth of States, Mathematics 11(17), September 2023
13. Qin, Tao and Dong, Yifan and Yin, Li and Wu, Naiqi and Li, Zhiwu, Liveness Enforcement for Time Petri Net, 2022 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, :1184-1189, 2022
14. Dong Li, Li Yin, Jianzhou Wang, Naiqi Wu, Game current-state opacity formulation in probabilistic resource automata, Information Sciences, 613: 96-113, October 2022
15. Zhenhua Yu, Zhengqi Liu, Xuya Cong, Xiaobo Li, Li Yin, Fuzzing: Progress, Challenges, and Perspectives, Computers, Materials & Continua, 78(1): 1-29, 2024
16. Zhang, Ge and Zhu, Xiubin and Yin, Li and Pedrycz, Witold and Li, Zhiwu, Fuzzy Prediction Model in Privacy Protection: Takagi–Sugeno Rules Model via Differential Privacy, IEEE Transactions on Fuzzy Systems, 32(6): 3716-3728, June 2024
17. Sian Zhou, Li Yin, Zhiwu Li, Quantifying opacity of discrete event systems modeled with probabilistic Petri nets, Information Sciences, 666, May 2024
18. Guanghui Zhu, Li Yin, Yaohui Li, Zhiwu Li, Naiqi Wu, Identification of labeled Petri nets from finite automata, Information Sciences, 667, May 2024
19. Al-Sarayrah, Tareq Ahmad and Li, Zhiwu and Yin, Li and Mostafa, Almetwally M., Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata, IEEE Access, 12: 84189-84203, 2024
20. Yin, Li and Li, Zhiwu, Wu, Naiqi, Wang, Shouguang and Qu, Ting, Fault Diagnosis in Partially Observed Petri Nets Using Redundancies, IEEE Access, 6: 7541-7556, 2018
21. Liu, Gaiyun, Pei Li, Naiqi Wu, Li Yin, Two-step approach to robust deadlock control in automated manufacturing systems with multiple resource failures, Journal of the Chinese Institute of Engineers, 41(6): 484-494, 2018
22. Yuting Li, Li Yin, Yufeng Chen, Zhenhua Yu, Naiqi Wu, Optimal Petri net supervisor synthesis for forbidden state problems using marking mask, Information Sciences, 505: 183-197, December 2019
