Marking optimization of deterministic timed weighted marked graphs. - Zhou He 001; ZhiWu Li 001; Alessandro Giua (CASE, 2014)

Cycle time optimization of deterministic timed weighted marked graphs. - Zhou He 001; Zhiwu Li 001; Alessandro Giua (CASE, 2015)

Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. - Zhou He 001; ZhiWu Li 001; Alessandro Giua (CDC, 2016)

Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. - Zhou He 001; Zhiwu Li 001; Isabel Demongodin; Alessandro Giua (CoDIT, 2016)

Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets. - Miao Liu; Zhou He 001; Naiqi Wu; Abdulrahman Al-Ahmari; Zhiwu Li 001 (IEEE Access, 2017)

Optimization of Deterministic Timed Weighted Marked Graphs. - Zhou He 001; Zhiwu Li 001; Alessandro Giua (IEEE Trans Autom. Sci. Eng., 2017)

Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. - Zhou He 001; ZhiWu Li 001; Alessandro Giua (IEEE Trans. Control. Syst. Technol., 2017)

Diagnosability analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Carla Seatzu (ETFA, 2018)

Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement. - Zhou He 001; Miao Liu; Ning Ran; Zhiwu Li 001 (IEEE Access, 2018)

Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. - Zhou He 001; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2018)

Supervisory Control in Partially Observable Petri Nets with Sensor Reduction. - Ziyue Ma; Zhou He 001; Zhiwu Li 001 (CASE, 2019)

K-Codiagnosability Verification of Labeled Petri Nets. - Ning Ran; Jinyuan Hao; Zijian Dong; Zhou He 001; Zhiheng Liu; Yuan Ruan; Shouguang Wang (IEEE Access, 2019)

An improved approach for marking optimization of timed weighted marked graphs. - Zhou He 001; Miao Liu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (Discret. Event Dyn. Syst., 2019)

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". - Zhou He 001; Zhiwu Li 001; Alessandro Giua; Francesco Basile; Carla Seatzu (IEEE Trans. Autom. Control., 2019)

Surface Slip Deformation Characteristics of Nickel-Base Single Crystal Thin Plates With Film Cooling Holes. - Dongxu Zhang; Jinyang He; Jianwei Liang; Zhou He 001 (IEEE Access, 2020)

Performance safety enforcement in strongly connected timed event graphs. - Zhou He 001; Ziyue Ma; Wei Tang (Autom., 2021)

Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. - Zhou He 001; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE CAA J. Autom. Sinica, 2021)

Design of supervisors for linear marking specifications in labeled Petri nets. - Ziyue Ma; Zhou He 001; Zhiwu Li 001; Alessandro Giua (Autom., 2022)

Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing. - Weijie Shi; Zhou He 001; Wei Tang; Weifeng Liu 004; Ziyue Ma (IEEE Robotics Autom. Lett., 2022)

Supervisory Control of Automated Manufacturing Systems Based on State-Tree Structures. - Chan Gu; Junbo Zhao; Zhou He 001 (Symmetry, 2022)

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. - Weijie Shi; Zhou He 001; Ziyue Ma; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2023)

An Improved African Vulture Optimization Algorithm for Dual-Resource Constrained Multi-Objective Flexible Job Shop Scheduling Problems. - Zhou He 001; Biao Tang; Fei Luan (Sensors, 2023)

Codiagnosability Enforcement in Labeled Petri Nets. - Ning Ran; Tingting Li; Zhou He 001; Carla Seatzu (IEEE Trans. Autom. Control., 2023)

Performance Optimization for a Class of Petri Nets. - Weijie Shi; Zhou He 001; Chan Gu; Ning Ran; Ziyue Ma (Sensors, 2023)

Bisimulation non-interference analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Mauro Franceschelli; Carla Seatzu (CoDIT, 2024)

Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. - Peng Lv 002; Guangqing Luo; Zhou He 001; Xianwei Li 001; Xiang Yin 003 (ICCA, 2024)

Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties. - Zhe Zhang; Zhou He 001; Ning Ran; Michel A. Reniers (IROS, 2024)

Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming. - Zhou He 001; Jiaxing Yuan; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2024)

Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions. - Ning Ran; Tingting Li; Shouguang Wang; Zhou He 001 (IEEE Trans Autom. Sci. Eng., 2024)

Fully distributed adaptive consensus tracking for uncertain multi-agent systems. - Chan Gu; Ying Ma; Zhou He 001 (Trans. Inst. Meas. Control, 2025)

Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets. - Zhou He 001; Shilong Yuan; Ning Ran; Dimitri Lefebvre (CoRR, 2025)

Scheduling of Flexible Manufacturing Systems Based on Place-Timed Petri Nets and Basis Reachability Graphs. - Zhou He 001; Ning Li; Ning Ran; Liang Li (CoRR, 2025)

Optimal Path Planning for Multi-Robot Systems Using Petri Nets. - Zhou He 001; Shilong Yuan; Ning Ran; Dimitri Lefebvre (IEEE Robotics Autom. Lett., 2025)