何舟，副教授/硕导。国际电气与电子工程师协会会员、中国自动化学会会员，《IEEE Transactions on Automatic Control》、《IEEE Transactions on Control Systems Technology》等10多个国际著名期刊和会议审稿人。在IEEE Transactions on Automatic Control、Automatica、IEEE CDC等国际期刊/会议发表SCI/EI论文30余篇，授权国家发明专利7项，软件著作权1项。

科研成果

国家自然科学基金面上项目，62373234，2024.01—2027.12，主持

国家自然科学基金青年项目，61803246，2019.01—2021.12，主持

中国博士后科学基金面上项目，2019M663608，2019.07—2021.07，主持

陕西省自然科学基金面上项目，2023-JC-YB-564，2023.01—2024.12，主持

陕西省自然科学基金青年项目，2020JQ-733，2020.01—2021.12，主持

陕西省重点实验室开放课题，2020CP03，2020.09—2022.08，主持

陕西省高校第五批青年杰出人才支持计划，2022，主持

陕西省高校科学技术协会青年托举人才计划项目，2021，主持

陕西科技大学高水平博士科研启动基金，2017，主持

作为主要参与人参加国家自然科学基金项目6项

代表论文

1．Z. He, Z.W. Li, A.Giua, “Performance optimization for timed weighted marked graphs under infinite server semantics”, IEEE Transactions on Automatic Control,63(8): 2573-2580, 2018. (IF:6.8，Top期刊)

2．Z. He, Z.W. Li, A.Giua, F. Basile, C. Seatzu, “Some remarks on state estimation and fault diagnosis of time labeled Petri net systems with unobservable transitions”, IEEE Transactions on Automatic Control, 64(12): 5253-5259, 2019. (IF:6.8，Top期刊)

3．N. Ran, T. Li, Z. He, C. Seatzu, “Codiagnosability enforcement in labeled Petri nets”, IEEE Transactions on Automatic Control, vol. 68, no. 4, 2023. (IF:6.8，Top期刊)

4．Z. He, Z. Ma, “Performance safety enforcement in strongly connected timed event graphs”, Automatica,128(109605), 2021. (IF:6.4，Top期刊)

5．Z. Ma, Z. He, Z.W. Li, A.Giua, “Design of supervisors for linear marking specifications in labeled Petri nets”, Automatica, 136, 2022. (IF:6.4，Top期刊)

6．Z. He, Z. Ma, W. Tang, “Performance safety enforcement in stochastic event graphs against boost and slow attacks”, Nonlinear Analysis: Hybrid Systems, 41(101057), 2021. (IF:4.2，Top期刊)

7．Z. He, Z. Ma, Z.W. Li, A.Giua, “Parametric transformation of timed weighted marked graphs: application to optimal resource allocation”, IEEE/CAA Journal of Automatica Sinica, 8(1):179-188, 2021. (IF:11.8，Top期刊)

8．Z. He, Z.W. Li, A.Giua, “Optimization of deterministic timed weighted marked graphs”, IEEE Transactions on Automation Science and Engineering, 14(2): 1084-1095, 2017. (IF:5.6，Top期刊)

9．Z. He, Z.W. Li, A.Giua, “Cycle time optimization of deterministic timed weighted marked graphs by transformation”, IEEE Transactions on Control Systems Technology, 25(4): 1318-1330, 2017. (IF:4.8，中科院2区)

10．W. Shi, Z. He*, W. Tang, W. Liu, Z. Ma, “Path planning of multi-robot systems with Boolean specifications based on simulated annealing”, IEEE Robotics and Automation Letters, 2022, vol. 7, no. 3, pp. 6091-6098. (IF:5.2，中科院2区)