您现在的位置: 首页 >> 师资队伍 >> 教师系列 >>



韩晓光


发布日期:2023-09-04

1c05984f7d684c3f9c5a18881d5fbd85.jpg

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

科研项目:

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

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

3. 国家自然科学基金面上项目 (主要参与人,已结题), 项目名称:基于逻辑动态系统的代数状态空间理论Petri 系统建模及分析,项目编号:61573199,起止时间:20161月至201912月,项目经费: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. 长期担任 AutomaticaIEEE 汇刊、IEEE CDCIFAC World Congress 等多个国际系统控制领域主流学术期刊及会议论文审稿人

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

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

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

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

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

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

联系方式:

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

E-mailhxg-allen@163.comxiaoguanghan@tust.edu.cn