您现在的位置: ya博 >> 师资队伍 >> 教师系列 >>



韩晓光


发布日期:2019-06-19

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

科研项目:

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

2. 天津市自然科学基金青年项目(主持,在研),项目名称:基于代数状态空间方法的非确定型离散事件系统建●!⒀橹び胱酆希钅勘嗪牛18JCQNJC74000,起始时间:201810月至20219月,项目经费:6万元。

3. 天津市教委科研计划一般项目(主持,在研),项目名称:基于?榛DES模型的信息物理系统验证与监督控制,项目编号:2019KJ212,起始时间:20201月至202212月,项目经费:6万元。

4. 国家自然科学基金面上项目(主研,已结题), 项目名称: 基于逻辑动态系统的代数状态空间理论的Petri 网系统建模及分析, 项目编号: 61573199, 起止时间: 20161月至201912月,项目经费:65万元。

社会/学术兼职:

1. 美国《数学评论》评论员 (MR156164)

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

3. 中国自动化学会TCCT离散事件动态系统学组委员。

4. 中国自动化学会TCCT逻辑系统控制学组委员。

5. 长期担任AutomaticaIEEE Transactions JournalsInformation SciencesSystems & Control Letters等多个控制领域国际权威学术期刊及会议论文审稿人。

5篇代表性研究成果

[1] 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. (SCIIF: 9.309)

[2] 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. (SCIIF: 5.91)

[3] 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. (SCIIF: 2.762)

[4] X. G. Han and 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. (SCIIF: 4.036)

[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. (SCIIF: 3.304)

联系方式

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

E-mailhxg-allen@163.com;xiaoguanghan@tust.edu.cn