Zhou He

37 papers A 1C 3Journal 27Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
A survey on performance evaluations in time-dependent Petri nets.
Discret. Event Dyn. Syst.
Maria Pia Fanti, Ruotian Liu, Shu Zhang, Zhou He, Dimitri Lefebvre
2026 J jnl
Allocation and Scheduling of Resource Allocation Systems via Variable Timed Petri Nets.
IEEE Trans Autom. Sci. Eng.
Weijie Shi, Jianbin Qiu, Shan Luo, Zhou He, Carla Seatzu
2025 J jnl
Fully distributed adaptive consensus tracking for uncertain multi-agent systems.
Trans. Inst. Meas. Control
Chan Gu, Ying Ma, Zhou He
2025 J jnl
Non-interference analysis of bounded labeled Petri nets.
CoRR
Ning Ran, Zhengguang Wu, Shaokang Zhang, Zhou He, Carla Seatzu
2025 J jnl
Optimal Path Planning for Multi-Robot Systems Using Petri Nets.
IEEE Robotics Autom. Lett.
Zhou He, Shilong Yuan, Ning Ran, Dimitri Lefebvre
2025 J jnl
Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets.
CoRR
Zhou He, Shilong Yuan, Ning Ran, Dimitri Lefebvre
2025 J jnl
Scheduling of Flexible Manufacturing Systems Based on Place-Timed Petri Nets and Basis Reachability Graphs.
CoRR
Zhou He, Ning Li, Ning Ran, Liang Li
2024 C conf
Bisimulation non-interference analysis of bounded Petri nets.
CoDIT
Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu
2024 — conf
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications.
ICCA
Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin
2024 A conf
Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties.
IROS
Zhe Zhang, Zhou He, Ning Ran, Michel A. Reniers
2024 J jnl
Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming.
IEEE Control. Syst. Lett.
Zhou He, Jiaxing Yuan, Ning Ran, Xiang Yin
2024 J jnl
Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions.
IEEE Trans Autom. Sci. Eng.
Ning Ran, Tingting Li, Shouguang Wang, Zhou He
2023 J jnl
An Improved African Vulture Optimization Algorithm for Dual-Resource Constrained Multi-Objective Flexible Job Shop Scheduling Problems.
Sensors
Zhou He, Biao Tang, Fei Luan
2023 J jnl
Codiagnosability Enforcement in Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ning Ran, Tingting Li, Zhou He, Carla Seatzu
2023 J jnl
Performance Optimization for a Class of Petri Nets.
Sensors
Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma
2023 J jnl
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.
IEEE Control. Syst. Lett.
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
2022 J jnl
Design of supervisors for linear marking specifications in labeled Petri nets.
Autom.
Ziyue Ma, Zhou He, ZhiWu Li, Alessandro Giua
2022 J jnl
Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing.
IEEE Robotics Autom. Lett.
Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma
2022 J jnl
Supervisory Control of Automated Manufacturing Systems Based on State-Tree Structures.
Symmetry
Chan Gu, Junbo Zhao, Zhou He
2021 J jnl
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.
IEEE CAA J. Autom. Sinica
Zhou He, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Performance safety enforcement in strongly connected timed event graphs.
Autom.
Zhou He, Ziyue Ma, Wei Tang
2020 J jnl
Surface Slip Deformation Characteristics of Nickel-Base Single Crystal Thin Plates With Film Cooling Holes.
IEEE Access
Dongxu Zhang, Jinyang He, Jianwei Liang, Zhou He
2019 J jnl
An improved approach for marking optimization of timed weighted marked graphs.
Discret. Event Dyn. Syst.
Zhou He, Miao Liu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2019 J jnl
K-Codiagnosability Verification of Labeled Petri Nets.
IEEE Access
Ning Ran, Jinyuan Hao, Zijian Dong, Zhou He, Zhiheng Liu, Yuan Ruan, Shouguang Wang
2019 J jnl
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".
IEEE Trans. Autom. Control.
Zhou He, ZhiWu Li, Alessandro Giua, Francesco Basile, Carla Seatzu
2019 — conf
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction.
CASE
Ziyue Ma, Zhou He, ZhiWu Li
2018 C conf
Diagnosability analysis of bounded Petri nets.
ETFA
Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu
2018 J jnl
Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement.
IEEE Access
Zhou He, Miao Liu, Ning Ran, ZhiWu Li
2018 J jnl
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.
IEEE Trans. Autom. Control.
Zhou He, ZhiWu Li, Alessandro Giua
2017 J jnl
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.
IEEE Trans. Control. Syst. Technol.
Zhou He, ZhiWu Li, Alessandro Giua
2017 J jnl
Optimization of Deterministic Timed Weighted Marked Graphs.
IEEE Trans Autom. Sci. Eng.
Zhou He, ZhiWu Li, Alessandro Giua
2017 — conf
Optimization of deterministic timed weighted marked graphs.
CASE
Zhou He, ZhiWu Li, Alessandro Giua
2017 J jnl
Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets.
IEEE Access
Miao Liu, Zhou He, Naiqi Wu, Abdulrahman Al-Ahmari, ZhiWu Li
2016 — conf
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics.
CDC
Zhou He, ZhiWu Li, Alessandro Giua
2016 C conf
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.
CoDIT
Zhou He, ZhiWu Li, Isabel Demongodin, Alessandro Giua
2015 — conf
Cycle time optimization of deterministic timed weighted marked graphs.
CASE
Zhou He, ZhiWu Li, Alessandro Giua
2014 — conf
Marking optimization of deterministic timed weighted marked graphs.
CASE
Zhou He, ZhiWu Li, Alessandro Giua