Li Yin

Orcid: 0000-0002-0456-1775

Affiliations:
  • Macau University of Science and Technology, Macao, SAR, China


According to our database1, Li Yin authored at least 23 papers between 2016 and 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets.
IEEE CAA J. Autom. Sinica, January, 2025

Application of differential privacy in smart building systems.
Syst. Control. Lett., 2025

Opacity enforcement in discrete event systems using differential privacy.
Inf. Sci., 2025

LLM and VLM-Assisted Human-Robot Collaboration Framework for Smart Assembly Cells.
Proceedings of the 2025 17th International Conference on Computer Modeling and Simulation, 2025

2024
Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses.
IEEE Trans Autom. Sci. Eng., October, 2024

Fuzzy Prediction Model in Privacy Protection: Takagi-Sugeno Rules Model via Differential Privacy.
IEEE Trans. Fuzzy Syst., June, 2024

Adjacent initial states-based differential privacy for probabilistic labeled Petri nets.
Expert Syst. Appl., March, 2024

Identification of labeled Petri nets from finite automata.
Inf. Sci., 2024

Quantifying opacity of discrete event systems modeled with probabilistic Petri nets.
Inf. Sci., 2024

Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata.
IEEE Access, 2024

2023
Liveness enforcement for production systems modeled by time Petri nets.
Inf. Sci., November, 2023

2022
Granular data representation under privacy protection: Tradeoff between data utility and privacy via information granularity.
Appl. Soft Comput., 2022

Optimal Transition-based Supervisors Design for Flexible Manufacturing Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets.
Proceedings of the 8th International Conference on Control, 2022

Liveness Enforcement for Time Petri Nets.
Proceedings of the 8th International Conference on Control, 2022

Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications<sup>*</sup>.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021
Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets.
IEEE Access, 2021

2020
Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting.
IEEE Access, 2020

2019
Optimal Petri net supervisor synthesis for forbidden state problems using marking mask.
Inf. Sci., 2019

Diagnosability of Vector Discrete-Event Systems Using Predicates.
IEEE Access, 2019

2018
Fault Diagnosis in Partially Observed Petri Nets Using Redundancies.
IEEE Access, 2018

Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints.
IEEE Access, 2018

2016
Fault diagnosis in DESs modeled by partially observed Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016


  Loading...