2025
Enhanced Monte-Carlo tree search for dynamic flexible job shop scheduling with transportation time constraints.
Expert Syst. J. Knowl. Eng., February, 2025
2024
Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph.
IEEE Trans. Autom. Control., October, 2024
Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions.
IEEE Trans Autom. Sci. Eng., April, 2024
Contrastive learning based on linguistic knowledge and adaptive augmentation for text classification.
Knowl. Based Syst., 2024
Fine-grained and coarse-grained contrastive learning for text classification.
Neurocomputing, 2024
Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming.
IEEE Control. Syst. Lett., 2024
Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
Bisimulation non-interference analysis of bounded Petri nets.
Proceedings of the 10th International Conference on Control, 2024
2023
Performance Optimization for a Class of Petri Nets.
Sensors, February, 2023
Codiagnosability Enforcement in Labeled Petri Nets.
IEEE Trans. Autom. Control., 2023
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.
IEEE Control. Syst. Lett., 2023
2022
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets.
IEEE Trans. Autom. Control., 2022
Diversity Technology Research in Wireless Communication Systems.
Proceedings of the Computer and Communication Engineering - 2nd International Conference, 2022
2019
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection.
IEEE Trans. Autom. Control., 2019
K-Codiagnosability Verification of Labeled Petri Nets.
IEEE Access, 2019
2018
Codiagnosability Analysis of Bounded Petri Nets.
IEEE Trans. Autom. Control., 2018
Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions.
IEEE Access, 2018
Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement.
IEEE Access, 2018
Diagnosability analysis of bounded Petri nets.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
2017
Comments on "Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis".
IEEE Trans. Autom. Control., 2017
Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions.
IMA J. Math. Control. Inf., 2017
An improved approach to test diagnosability of bounded petri nets.
IEEE CAA J. Autom. Sinica, 2017
2016
Codiagnosability verification of bounded Petri nets using basis markings.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015
2007
Harbin Water Supply Network Monitoring and Evaluation.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007