张慧敏 老师

---

职称/职务：副教授
研究方向/教研室：计算机应用教研室
电子邮件：cchuiminzhang@outlook.com
通信地址：广西桂林市七星区育才路15号广西师范大学计算机科学与信息工程学院

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

---

个人简介

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

---

研究兴趣
?形式语言与自动机理论，Petri网
? 离散事件系统监督控制
? 离散事件系统故障诊断
离散事件系统隐私保护

---

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

---

科研项目
1.基于自动机学习的黑盒嵌入式系统的监督控制研究,广西省青年基金，2020-2023，主持在研
2.基于自动机学习的黑盒系统故障诊断器生成算法研究，教育厅青年教师科研能力提升项目，2020-2021，主持在研
3.基于自动机学习和监督控制理论的软件系统需求一致性问题研究，广西可信软件重点实验室项目，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年青年教师讲课比赛二等奖。

---

主要教学工作

?算法设计与分析
?形式化语言与自动机理论
数据库原理
?计算机应用基础