科研成果 l 国家自然科学基金面上项目，62373234，2024.01—2027.12，主持 l 国家自然科学基金青年项目，61803246，2019.01—2021.12，主持 l 中国博士后科学基金面上项目，2019M663608，2019.07—2021.07，主持 l 陕西省自然科学基金面上项目，2023-JC-YB-564，2023.01—2024.12，主持 l 陕西省自然科学基金青年项目，2020JQ-733，2020.01—2021.12，主持 l 陕西省重点实验室开放课题，2020CP03，2020.09—2022.08，主持 l 陕西省高校第五批青年杰出人才支持计划，2022，主持 l 陕西省高校科学技术协会青年托举人才计划项目，2021，主持 l 陕西科技大学高水平博士科研启动基金，2017，主持 l 作为主要参与人参加国家自然科学基金项目6项 l 在IEEE Transactions on Automatic Control、Automatica、IEEE CDC等国际控制领域顶尖期刊和国际会议上发表SCI/EI论文30余篇，授权国家发明专利7项，软件著作权1项 社会兼职 l 国际电气与电子工程师学会会员(IEEE Member) l 中国自动化学会会员 l IEEE CASE 2017和IEEE CASE 2019国际会议分会场联合主席 l 担任10多个国际著名期刊和会议审稿人，包括IEEE Transactions on Automatic Control、IEEE Transactions on Control Systems Technology、IEEE CDC等 合作交流 l 曾赴意大利、法国、瑞典、马耳他、美国、加拿大、新加坡、台湾等国家和地区交流访问、参加IEEE CDC、IEEE CASE等国际会议，并做口头报告 l 研究生崔晨浩于2019年3月赴意大利University of Cagliari进行为期3个月的交流访问，并于2022年赴该校继续攻读博士学位 l 研究生董钰颖于2019年9月赴瑞典KTH Royal Institute of Technology进行为期3个月的交流访问 l 研究生施威杰2023年被哈尔滨工业大学控制科学与工程录取攻读博士学位 l 研究生张喆于2024年1月赴意大利University of Cagliari进行为期3个月的交流访问 代表性成果 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区) 11．何舟;施威杰;马子玥;古婵;刘苗，一种生产线资源稳健配置方法、系统、设备及可读存储介质, 2023-05-30, 国家发明专利, ZL 2022 1 0143501.X，授权 12．何舟;张瑞杰;施威杰;古婵;刘苗， 一种基于Petri网理论的带时间窗的车辆路径优化方法，国家发明专利，ZL202010230036.4, 2021-08-24，授权 13．何舟;施威杰;马子玥;刘苗;古婵, 一种基于Petri网的多横梁水切割最优走刀路径规划方法，国家发明专利，ZL202110462059.2，2021-11-16，授权 14．何舟;张瑞杰;胡兴律;汤伟, 一种多医用配送机器人实时路径规划方法, 2020-11-13, ZL201911326135.6，国家发明专利，授权 15．何舟;施威杰;马子玥;古婵;刘苗, 一种信息安全路径规划方法、系统、设备及可读存储介质, 2022-10-14, 国家发明专利, ZL 202210193215.4，授权 16．何舟;李建强;施威杰, 液力变矩器装配生产线资源配置服务平台, 2022SR0428298, 2022-04-02，计算机软件著作，授权 |
