Li Yin

Game Current-State Opacity Formulation in Probabilistic Resource Automata

N. Wu, Dong Li, Li Yin, 2022, Information Sciences.

Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints

Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, 2018, IEEE Access.

Two-step approach to robust deadlock control in automated manufacturing systems with multiple resource failures

Pei Li, Gaiyun Liu, NaiQi Wu, 2018, Journal of the Chinese Institute of Engineers.

Optimal Petri net supervisor synthesis for forbidden state problems using marking mask

NaiQi Wu, Zhenhua Yu, Li Yin, 2019, Inf. Sci..

Robot Waiting Time Analysis and Its Impact on Wafer Delay Time of Single-Arm Cluster Tools

N. Wu, Yan Qiao, Li Yin, 2020 .

Adjacent initial states-based differential privacy for probabilistic labeled Petri nets

N. Wu, Li Yin, Yuanxiu Teng, 2023, Expert Systems with Applications.

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

N. Wu, Zhiwu Li, Li Yin, 2023, Mathematics.