张慧敏 老师


职称/职务:副教授

研究方向/教研室:计算机应用教研室

电子邮件:cchuiminzhang@outlook.com

通信地址:广西桂林市七星区育才路15号广西师范大学计算机科学与信息工程学院 


[个人简介] [研究兴趣] [工作经历][科研项目] [代表性成][主要教学工作]

 



人简介

       张慧敏,博士/副教授,硕士生导师。


研究兴趣

机器学习,多智能体系统,信息物理融合系统(CPS),监督控制,故障诊断,隐私保护,信息安全  


学习工作经历 

2001.9-2005.6: 桂林电子科技大学,信息与计算科学专业,本科。
2005.9-2008.5: 桂林电子科技大学,计算机应用技术,硕士研究生。
2008.6.2014.8: 桂林电子科技大学,教师。
2014.9-2018.12:西安电子科技大学,控制理论与控制工程,博士研究生
2019.1-2020.11:广西师范大学,计算机科学与信息工程学院/软件学院,助理研究员。

2020.12-至今:广西师范大学,计算机科学与信息工程学院/软件学院,副教授。


科研项目

1.基于监督控制理论的多智能体系统协调控制研究,国家自然科学青年基金项目,2022.1-2024.12,主持在研

2.基于自动机学习的黑盒嵌入式系统的监督控制研究,广西省青年基金,2020-2023,主持在研

3.基于自动机学习的黑盒系统故障诊断器生成算法研究,教育厅青年教师科研能力提升项目,2020-2021,主持在研

4.基于自动机学习和监督控制理论的软件系统需求一致性问题研究,广西可信软件重点实验室项目,2019-2021,主持(已结题)


代表性成果

1.论文

[1] H. Zhang(张慧敏), L. Feng, and Z. Li. “Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems”, IEEE Transactions on Automation Science and Engineering, 2020, 17(1): 361–374.(SCI,中科院二区)

[2] H. Zhang(张慧敏), L. Feng, W. Xie and F. Yu. An approach for supervisor reductionof discrete-event systems, Verification and Evaluation of Computer andCommunication Systems, VECoS 2020, Lecture Notes in Computer Science, vol.12519, Springer, Cham, 2020: 3–14. (EI)

[3] H. Zhang(张慧敏), L. Feng, N. Wu, and Z. Li. "Integration of learning-based testing and supervisory control for requirements conformance of black box reactive systems", IEEE Transactions on Automation Science and Engineering, 2018, 15(1): 2–15. (SCI,中科院二区)

[4] H. Zhang(张慧敏), L. Feng, and Z. Li. "A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems",IEEE Transactions on Automatic Control, 2018, 63(10): 3345–3360.(SCI,中科院二区,顶刊)

[5]张慧敏,古天龙. 基于 Petri 网模型的 Ad Hoc 网络可生存性分析, 系统仿真学报,2008,20(9): 2487-2490.(EI)

[6]张慧敏,古天龙.网络可生存性的建模与分析技术,桂林电子科技大学学报,2006,5:370-374.


2.获奖情况

(1) 广西区2019年青年教师讲课比赛二等奖;

(2)广西师范大学2019年青年教师讲课比赛二等奖;

(3) 2020年广西师范大学本科教学课堂教学水平测评等级 优秀


主要教学工作

算法设计与分析
形式化语言与自动机理论

数据库原理

计算机应用基础