Zhou He

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 26

Top Topics

Integer Linear Programming

Resource Constrained

Job Shop Scheduling

Top Venues

IEEE Trans. Autom. Control.

IEEE Control. Syst. Lett.

Publications

Ning Ran, Tingting Li, Shouguang Wang, Zhou He
Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Trans Autom. Sci. Eng. 21 (2) (2024)
Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. ICCA (2024)
Zhou He, Jiaxing Yuan, Ning Ran, Xiang Yin
Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming. IEEE Control. Syst. Lett. 8 (2024)
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. IEEE Control. Syst. Lett. 7 (2023)
Ning Ran, Tingting Li, Zhou He, Carla Seatzu
Codiagnosability Enforcement in Labeled Petri Nets. IEEE Trans. Autom. Control. 68 (4) (2023)
Zhou He, Biao Tang, Fei Luan
An Improved African Vulture Optimization Algorithm for Dual-Resource Constrained Multi-Objective Flexible Job Shop Scheduling Problems. Sensors 23 (1) (2023)
Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma
Performance Optimization for a Class of Petri Nets. Sensors 23 (3) (2023)
Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136 (2022)
Chan Gu, Junbo Zhao, Zhou He
Supervisory Control of Automated Manufacturing Systems Based on State-Tree Structures. Symmetry 14 (7) (2022)
Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma
Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing. IEEE Robotics Autom. Lett. 7 (3) (2022)
Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Zhou He, Ziyue Ma, Wei Tang
Performance safety enforcement in strongly connected timed event graphs. Autom. 128 (2021)
Dongxu Zhang, Jinyang He, Jianwei Liang, Zhou He
Surface Slip Deformation Characteristics of Nickel-Base Single Crystal Thin Plates With Film Cooling Holes. IEEE Access 8 (2020)
Ning Ran, Jinyuan Hao, Zijian Dong, Zhou He, Zhiheng Liu, Yuan Ruan, Shouguang Wang
K-Codiagnosability Verification of Labeled Petri Nets. IEEE Access 7 (2019)
Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64 (12) (2019)
Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua
An improved approach for marking optimization of timed weighted marked graphs. Discret. Event Dyn. Syst. 29 (2) (2019)
Ziyue Ma, Zhou He, Zhiwu Li
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction. CASE (2019)
Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu
Diagnosability analysis of bounded Petri nets. ETFA (2018)
Zhou He, Zhiwu Li, Alessandro Giua
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. IEEE Trans. Autom. Control. 63 (8) (2018)
Zhou He, Miao Liu, Ning Ran, Zhiwu Li
Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement. IEEE Access 6 (2018)
Miao Liu, Zhou He, Naiqi Wu, Abdulrahman Al-Ahmari, Zhiwu Li
Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets. IEEE Access 5 (2017)
Zhou He, ZhiWu Li, Alessandro Giua
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. IEEE Trans. Control. Syst. Technol. 25 (4) (2017)
Zhou He, Zhiwu Li, Alessandro Giua
Optimization of deterministic timed weighted marked graphs. CASE (2017)
Zhou He, Zhiwu Li, Alessandro Giua
Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Trans Autom. Sci. Eng. 14 (2) (2017)
Zhou He, ZhiWu Li, Alessandro Giua
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. CDC (2016)
Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT (2016)
Zhou He, Zhiwu Li, Alessandro Giua
Cycle time optimization of deterministic timed weighted marked graphs. CASE (2015)
Zhou He, ZhiWu Li, Alessandro Giua
Marking optimization of deterministic timed weighted marked graphs. CASE (2014)