科研成果及荣誉 ●陕西省高层次人才特殊支持计划青年拔尖人才,2025 ●陕西省青年科技新星,2024 ●陕西省高校第五批青年杰出人才,2022 ●陕西省高校科学技术协会青年托举人才,2021 ●陕西省科技进步二等奖,2024 ●国家自然科学基金面上项目,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,主持 ●在IEEE Transactions on Automatic Control、Automatica、IEEE CDC等国际控制领域顶尖期刊和国际会议上发表SCI/EI论文30余篇,申请国家发明专利30余项(已授权9项),软件著作权2项 社会兼职 ●IEEE 高级会员、中国自动化学会会员、中国人工智能学会会员 ●中国人工智能学会智能检测和运动控制专委会委员 ●IEEE CASE 2017和IEEE CASE 2019国际会议分会场联合主席 ●担任10多个国际著名期刊和会议审稿人,包括IEEE Transactions on Automatic Control、Automatica、IEEE CDC等
合作交流 ●曾赴意大利、法国、瑞典、马耳他、美国、加拿大、新加坡、冰岛、阿联酋等国家交流访问、参加IEEE CDC、IEEE IROS等国际会议,并做口头报告 ●指导的多名研究生先后赴意大利卡利亚里大学、瑞典皇家理工学院、法国勒阿弗尔大学等学校开展联合培养交流访问 ●指导的多名研究生被哈尔滨工业大学、荷兰埃因霍温理工大学、意大利卡利亚里大学、法国勒阿弗尔大学等高校录取攻读博士学位
代表性成果 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. (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. (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. (Top期刊) 4.Z. He, Z. Ma, “Performance safety enforcement in strongly connected timed event graphs”, Automatica,128(109605), 2021. (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. (Top期刊) 6.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. (Top期刊) 7.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. (Top期刊) 8.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. (中科院2区) 9.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. (Top期刊) 10.何舟;施威杰;马子玥;古婵;刘苗,一种生产线资源稳健配置方法、系统、设备及可读存储介质,2023-05-30,国家发明专利,ZL 2022 1 0143501.X,授权 11.何舟;张瑞杰;施威杰;古婵;刘苗,一种基于Petri网理论的带时间窗的车辆路径优化方法,国家发明专利,ZL202010230036.4, 2021-08-24,授权 12.何舟;施威杰;马子玥;刘苗;古婵,一种基于Petri网的多横梁水切割最优走刀路径规划方法,国家发明专利,ZL202110462059.2,2021-11-16,授权 13.何舟;袁世龙;张喆;古婵,一种基于基可达图的多智能体最优任务分配与规划方法、装置及系统,2024-08-02,国家发明专利,ZL 2023 1 1605617.1,授权 14.何舟;张喆;古婵,一种环境和运动不确定下的机器人复杂任务路径规划方法及系统,2024-04-26, 国家发明专利, ZL 2023 1 0593588.5,授权 15.何舟;李建强;施威杰,液力变矩器装配生产线资源配置服务平台,2022SR0428298,2022-04-02,计算机软件著作,授权 |