韩晓光，男，1984年6月生，汉族，黑龙江省海伦市人，天津科技大学电子信息与自动化学院副教授，硕士生导师。南开大学控制科学与工程专业毕业，获工学博士学位。天津市高校学科“青年后备人才”。当前研究方向包括：离散事件系统 (Discrete-Event Systems)；信息物理系统 (Cyber-Physical Systems)；布尔控制网络 (Boolean Control Networks)；网络安全与隐私 (Cyber-Security and Privacy)；形式化方法 (Formal Methods) 等。近年来在 Automatica、IEEE 汇刊、Systems & Control Letters、SCIENCE CHINA Information Sciences 等国内外系统控制领域主流学术期刊及会议上发表论文30余篇，其中SCI检索论文20余篇，EI检索论文10余篇。

科研项目：

1. 国家自然科学基金青年项目 (主持，已结题)，项目名称：网络攻击下基于DES模型的信息物理系统安全分析与监督控制研究, 项目编号：61903274, 起止时间: 2020年1月至2022年12月，项目经费：24万元

2. 天津市自然科学基金青年项目 (主持，已结题)，项目名称：基于代数状态空间方法的非确定型离散事件系统建模、验证与综合，项目编号：18JCQNJC74000，起始时间：2018年10月至2021年9月，项目经费：6万元

3. 国家自然科学基金面上项目 (主要参与人，已结题), 项目名称：基于逻辑动态系统的代数状态空间理论的Petri 网系统建模及分析，项目编号：61573199，起止时间：2016年1月至2019年12月，项目经费：65万元

代表性研究成果 (SCI, selected)：

[1] X.G. Han, K.Z. Zhang, J.H. Zhang, Z.W. Li, Z.Q. Chen. Strong current- state and initial-state opacity of discrete-event systems. Automatica, 2023, 148: 110756.

[2] X.G. Han, J.L. Wang, Z.W. Li, X.Y. Chen, Z.Q. Chen. Revisiting state estimation and weak detectability of discrete-event systems. IEEE Transactions on Automation Science and Engineering, 2023, 20(1): 662-674.

[3] X.G. Han, Z.Q. Chen, Z.X. Liu, Q. Zhang. Calculation of siphons and minimal siphons in Petri nets based on semi-tensor product of matrices. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47(3): 531-536.

[4] X.G. Han, W.D. Yang, X.Y. Chen, Z.W. Li, Z.Q. Chen. Detectability verification of probabilistic Boolean networks. Information Sciences, 2021, 548: 313-327.

[5] X.G. Han, P.F. Wang, Z.Q. Chen. Matrix approach to non-blockingness verification and enforcement for modular discrete-event systems. SCIENCE CHINA Information Sciences, 2020, 63(11): 219204.

[6] X.G. Han, Z.Q. Chen, R. Su. Synthesis of minimally-restrictive optimal stability-enforcing supervisors for nondeterministic discrete-event systems. Systems & Control Letters, 2019, 123: 33-39.

[7] X.G. Han, Z.Q. Chen, Z.X. Liu, Q. Zhang. The detection and stabilisation of limit cycle for deterministic finite automata. International Journal of Control, 2018, 91(4): 874-886.

[8] X.G. Han, Z.Q. Chen. A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers of finite-state automata. Journal of the Franklin Institute, 2018, 355(17): 8642-8663.

学术兼职：

1. 现任 Current Chinese Science: Cybernetics 副编辑 (Associate Editor)

2. 长期担任 Automatica、IEEE 汇刊、IEEE CDC、IFAC World Congress 等多个国际系统控制领域主流学术期刊及会议论文审稿人

3. 美国《数学评论》特邀评论员 (MR156164)

4. 国家自然科学基金项目通讯评审专家

5. IEEE 控制系统学会离散事件系统 (IEEE-CSS-DES) 技术委员会委员

6. 中国自动化学会 TCCT 离散事件动态系统专题研讨会程序委员会委员

7. 中国自动化学会 TCCT 逻辑系统控制专题研讨会程序委员会委员

8. 天津市系统科学与工业控制学会理事

联系方式：

通讯地址（邮编）：天津市河西区大沽南路1038号天津科技大学（河西校区）电子信息与自动化学院16号楼415工作室(300222)

E-mail：hxg-allen@163.com；xiaoguanghan@tust.edu.cn