Zhou He

According to our database, Zhou He authored at least 28 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions.

Ning Ran, Tingting Li, Shouguang Wang, Zhou He

IEEE Trans Autom. Sci. Eng., April, 2024

Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming.

Zhou He, Jiaxing Yuan, Ning Ran, Xiang Yin

IEEE Control. Syst. Lett., 2024

Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications.

Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin

Proceedings of the 18th IEEE International Conference on Control & Automation, 2024

Bisimulation non-interference analysis of bounded Petri nets.

Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu

Proceedings of the 10th International Conference on Control, 2024

2023

Performance Optimization for a Class of Petri Nets.

Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma

Sensors, February, 2023

Codiagnosability Enforcement in Labeled Petri Nets.

Ning Ran, Tingting Li, Zhou He, Carla Seatzu

IEEE Trans. Autom. Control., 2023

An Improved African Vulture Optimization Algorithm for Dual-Resource Constrained Multi-Objective Flexible Job Shop Scheduling Problems.

Zhou He, Biao Tang, Fei Luan

Sensors, 2023

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.

Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin

IEEE Control. Syst. Lett., 2023

2022

Supervisory Control of Automated Manufacturing Systems Based on State-Tree Structures.

Chan Gu, Junbo Zhao, Zhou He

Symmetry, 2022

Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing.

Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma

IEEE Robotics Autom. Lett., 2022

Design of supervisors for linear marking specifications in labeled Petri nets.

Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua

Autom., 2022

2021

Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.

Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE CAA J. Autom. Sinica, 2021

Performance safety enforcement in strongly connected timed event graphs.

Zhou He, Ziyue Ma, Wei Tang

Autom., 2021

2020

Surface Slip Deformation Characteristics of Nickel-Base Single Crystal Thin Plates With Film Cooling Holes.

Dongxu Zhang, Jinyang He, Jianwei Liang, Zhou He

IEEE Access, 2020

2019

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".

Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu

IEEE Trans. Autom. Control., 2019

An improved approach for marking optimization of timed weighted marked graphs.

Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua

Discret. Event Dyn. Syst., 2019

K-Codiagnosability Verification of Labeled Petri Nets.

Ning Ran, Jinyuan Hao, Zijian Dong, Zhou He, Zhiheng Liu, Yuan Ruan, Shouguang Wang

IEEE Access, 2019

Supervisory Control in Partially Observable Petri Nets with Sensor Reduction.

Ziyue Ma, Zhou He, Zhiwu Li

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.

Zhou He, Zhiwu Li, Alessandro Giua

IEEE Trans. Autom. Control., 2018

Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement.

Zhou He, Miao Liu, Ning Ran, Zhiwu Li

IEEE Access, 2018

Diagnosability analysis of bounded Petri nets.

Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.

Zhou He, ZhiWu Li, Alessandro Giua

IEEE Trans. Control. Syst. Technol., 2017

Optimization of Deterministic Timed Weighted Marked Graphs.

Zhou He, Zhiwu Li, Alessandro Giua

IEEE Trans Autom. Sci. Eng., 2017

Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets.

Miao Liu, Zhou He, Naiqi Wu, Abdulrahman Al-Ahmari, Zhiwu Li

IEEE Access, 2017

2016

Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.

Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua

Proceedings of the International Conference on Control, 2016

Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics.

Zhou He, ZhiWu Li, Alessandro Giua

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Cycle time optimization of deterministic timed weighted marked graphs.

Zhou He, Zhiwu Li, Alessandro Giua

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Marking optimization of deterministic timed weighted marked graphs.

Zhou He, ZhiWu Li, Alessandro Giua

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014