张慧敏 老师
职称/职务：教授
研究方向/教研室：计算机应用教研室
电子邮件：hmzh@gxnu.edu.cn；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-2025.11：广西师范大学，计算机科学与工程学院/软件学院，副教授。
2025.12-至今：广西师范大学，计算机科学与工程学院/软件学院，教授。
1.基于强化学习的信息物理系统不透明性监控研究，广西自然科学面上基金项目，2025.3-2028.2，主持（在研）
2.基于监督控制理论的多智能体系统协调控制研究，国家自然科学青年基金项目，2022.1-2024.12，主持(已结题)
3.基于自动机学习的黑盒嵌入式系统的监督控制研究,广西自然科学青年基金项目，2020-2023，主持(已结题)
4.基于自动机学习的黑盒系统故障诊断器生成算法研究，教育厅青年教师科研能力提升项目，2020-2021，主持（已结题）
5.基于自动机学习和监督控制理论的软件系统需求一致性问题研究，广西可信软件重点实验室项目，2019-2021，主持(已结题)
1.期刊论文
[1]Huimin 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二区, CCF B）
[2]Huimin 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二区, CCF B）
[3]Huimin 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二区, CCF B）
[4]Huimin Zhang, X. Zhu. Development and Evaluation of M+1-way__classication Mechanism Realized through Identifying Foreign Patterns, Soft Computing, 2022:1-10.（SCI三区）
[5]Huimin Zhang, Y. Shi, and W. Xie. Supervisor Synthesis for Multi-Agent SystemsWith Mutually Exclusive Resources, IEEE Access, 2023(11):11044-11053.（SCI三区）
[6]Huimin Zhang, X. Hu, X. Zhu, X. Liu, and W. Pedrycz
[7]Huimin Zhang, L. Huang, W. Huang, L. Feng and X. Li, Synthesis of OpacityEnforcing Supervisory Strategies Using Reinforcement Learning, IEEE Transactions onAutomation Science and Engineering, 2025, 22: 6896–6906. (SCI二区, CCF B)
[8]L. Li, C. Wang, Huimin Zhang, and D. Liu, Minimum Initial State Estimation ofLabeled Time Petri Nets in the Presence of Unobservable Transitions[J], Information Sciences,2026, 722: 1–20. (SCI二区)
2.会议论文
[1] Huimin 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)
[2] Huimin Zhang, Y. Shi, and F. Yu. Automaton model updating based on the L* algorithm, The 7th International Conference on Computing and Data Analysis, Guiyang, China,Sep. 15-17, 2023. (EI)
[3]Li Huang, Wanli Huang, and Huimin Zhang*, Synthesis of Joint Current-state OpacitySupervisory Policies by Deep Reinforcement Learning[C], 2025 64th IEEE Conference onDecision and Control, 2025.12.13.(EI)
3.授权专利
[1]张慧敏，施薏. 一种包含互斥资源的多智能体系统的控制器生成方法,2022.06.
4.软件著作权
[1] 黄丽; 张慧敏 ; 部分可观离散事件系统强制不透明性的监督控制器生成系统V1.0, 全部权利, 2023-10-1.
[2] 成伟梦; 张慧敏 ; 强化学习最优控制策略的形式化建模系统V1.0, 2023R11L2512018, 2023-11-1.
[3] 黄婉玲; 张慧敏; 部分可观离散事件系统强制不透明性的插入函数生成系统V1.0, 2025SR0051903, 2025-1.
[4] 许依东; 张慧敏; 自动驾驶仿真模型的形式化建模与验证系统1.0, 2025SR1388556, 2025-7.
1. 获奖情况
(1) 广西区年青年教师讲课比赛二等奖,2019；
(2）广西师范大学年青年教师讲课比赛二等奖,2019;
(3) 广西师范大学本科教学课堂教学水平测评优秀,2020
(4) 广西师范大学优秀课堂,2020
(5) 广西师范大学第七届教学能手,2021
(6) 广西师范大学独秀青年学者,2021
(7) 广西师范大学第一届教案设计大赛二等奖,2022
(8) 广西高等学校千名中青年骨干教师培育计划第五期培养对象,2022
(9) 广西师范大学诚华教师奖,2023
2. 主讲课程
算法设计与分析、形式化语言与自动机理论、数据库原理、程序设计基础、大学计算机、数据科学与大数据专业导读、
数据库应用开发综合实训