您现在的位置: 首页 >> 师资队伍 >> 教师系列 >> 韩晓光 发布日期:2023-09-04
韩晓光,男,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 |