主要科研成果 |
1.主持国家自然科学基金青年项目1项,中国博士科学基金面上项目1项,陕西省自然科学基金1项,陕西省重点实验室开放课题1项,陕西科技大学“引进博士科研启动基金”1项,陕西省高校科学技术协会青年托举人才项目,作为主要参与人参加国家自然科学基金项目6项。 2.在IEEE Transactions on Automatic Control、Automatica、CDC国际控制领域顶尖期刊和国际会议上发表论文25篇(第一作者或通讯作者17篇),授权国家发明专利4项,软件著作权1项。 3.国际电气与电子工程师学会会员(IEEE Member),曾担任IEEE CASE 2017和IEEE CASE 2019国际会议分会场联合主席。目前担任多个国际著名期刊和会议审稿人,包括IEEE Transactions on Automatic Control、IEEE Transactions on Control Systems Technology、IEEE Transactions on Intelligent Transportation Systems、CDC、CASE等。曾先后赴意大利、法国、瑞典、马耳他、美国、加拿大、台湾等国家和地区交流访问、参加国际会议,并做口头报告。 4.支持并鼓励研究生参加国内外学术交流及调研活动(本人指导的研究生崔晨浩于2019年3月赴意大利University of Cagliari进行为期3个月的交流访问,并计划2022年赴该校继续攻读博士学位;研究生董钰颖于2019年9月赴瑞典KTH Royal Institute of Technology进行为期3个月的交流访问) 5.代表性成果: [1] 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:5.792,中科院2区, Top期刊) [2] 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:5.792,中科院2区, 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:5.792,中科院2区, Top期刊) [4] Z. He, Z. Ma, “Performance safety enforcement in strongly connected timed event graphs”, Automatica,128(109605), 2021. (IF:5.944,中科院2区, 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:5.944,中科院2区, 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:6.163,中科院1区, 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:6.171,中科院1区, 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. (IF:5.485,中科院2区) [9] 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.083,中科院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:3.741,中科院2区) [11] 何舟;张瑞杰;施威杰;古婵;刘苗,一种基于Petri网理论的带时间窗的车辆路径优化方法,国家发明专利,ZL202010230036.4, 2021-08-24,授权 [12] 何舟;施威杰;马子玥;张瑞杰;刘苗;古婵,一种基于Petri网的多横梁水切割最优走刀路径规划方法,国家发明专利,ZL202110462059.2,2021-11-16,授权 [13] 何舟;张瑞杰;胡兴律;汤伟,一种多医用配送机器人实时路径规划方法, 2020-11-13, ZL201911326135.6,国家发明专利,授权 [14] 何舟;董钰颖;张瑞杰;马子玥;刘苗;古婵,一种基于Petri网和整数线性规划的车辆路径优化方法, 2020-02-17, ZL202010096155.5,国家发明专利, 授权 [15]何舟;李建强;施威杰,液力变矩器装配生产线资源配置服务平台, 2022SR0428298, 2022-04-02,计算机软件著作,授权 |