Optimization of deterministic timed weighted marked graphs Z He, Z Li, A Giua IEEE Transactions on Automation Science and Engineering 14 (2), 1084-1095, 2017 | 30 | 2017 |
Path planning of multi-robot systems with Boolean specifications based on simulated annealing W Shi, Z He, W Tang, W Liu, Z Ma IEEE Robotics and Automation Letters 7 (3), 6091-6098, 2022 | 27 | 2022 |
Performance optimization for timed weighted marked graphs under infinite server semantics Z He, Z Li, A Giua IEEE Transactions on Automatic Control 63 (8), 2573 - 2580, 2018 | 22 | 2018 |
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation Z He, Z Ma, Z Li, A Giua IEEE/CAA Journal of Automatica Sinica 8 (1), 179-188, 2021 | 21 | 2021 |
Cycle time optimization of deterministic timed weighted marked graphs by transformation Z He, Z Li, A Giua IEEE Transactions on Control Systems Technology 25 (4), 1318-1330, 2017 | 21 | 2017 |
K-codiagnosability verification of labeled Petri nets N Ran, J Hao, S Wang, Z Dong, Z He, Z Liu, Y Ruan IEEE Access 7 (1), 185055-185062, 2019 | 18 | 2019 |
An improved African vulture optimization algorithm for dual-resource constrained multi-objective flexible job shop scheduling problems Z He, B Tang, F Luan Sensors 23 (1), 90, 2023 | 17 | 2023 |
Performance safety enforcement in strongly connected timed event graphs Z He, Z Ma, T Wei Automatica 128, 109605, 2021 | 17 | 2021 |
Some remarks on “State estimation and fault diagnosis of time labeled Petri net systems with unobservable transitions” Z He, Z Li, A Giua, F Basile, S Carla IEEE Transactions on Automatic Control 64 (12), 5253-5259, 2019 | 17 | 2019 |
Path planning for automated guided vehicle systems with time constraints using timed Petri nets Z He, Y Dong, G Ren, C Gu, Z Li Measurement and Control 53 (9-10), 2030-2040, 2020 | 16 | 2020 |
Path planning of multi-type robot systems with time windows based on timed colored Petri nets Z He, R Zhang, N Ran, C Gu Applied Sciences 12 (14), 6878, 2022 | 10 | 2022 |
Performance safety enforcement in stochastic event graphs against boost and slow attacks Z He, Z Ma Nonlinear Analysis: Hybrid Systems 41, 101057, 2021 | 10 | 2021 |
A global path planning algorithm based on the feature map G Ren, P Liu, Z He IET Cyber-systems and Robotics 4 (1), 15–24, 2022 | 9 | 2022 |
Design of supervisors for linear marking specifications in labeled Petri nets Z Ma, Z He, Z Li, A Giua Automatica, 2022 | 8 | 2022 |
Resource configuration analysis for a class of Petri nets based on strongly connected characteristic resource subnets M Liu, Z He, N Wu, A Al-Ahmari, Z Li IEEE Access 5, 26376-26386, 2017 | 8 | 2017 |
Codiagnosability enforcement in labeled Petri nets N Ran, T Li, Z He, S Carla IEEE Transactions on Automatic Control 68 (4), 2436 - 2443, 2023 | 7 | 2023 |
Marking optimization of deterministic timed weighted marked graphs. Z He, Z Li, A Giua CASE14: IEEE Int. Conf. on Automation Science and Engineering, 413-418, 2014 | 7 | 2014 |
Security-preserving multi-robot path planning for Boolean specification tasks using labeled Petri nets W Shi, Z He, Z Ma, N Ran, X Yin IEEE Control Systems Letters 7, 2017 - 2022, 2023 | 5 | 2023 |
Design of Monitor-Based Supervisors in Labelled Petri Nets Z Ma, Z He, Z Li, A Giua WODES18: 14th Int. Work. on Discrete Event Systems (Sorrento Coast, Italy), 2018 | 5 | 2018 |
An improved approach for marking optimization of timed weighted marked graphs Z He, M Liu, Z Ma, Z Li, A Giua Discrete Event Dynamic Systems 29, 127–143, 2019 | 4 | 2019 |