您现在的位置: ya博 >> 研究生教育 >> 院内导师 >>



韩晓光


发布日期:2019-06-09

一、导师情况简介

姓名:韩晓光

性别:男

职务、职称:副教授

导师类型:硕士生导师

主要社会/学术兼职:

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

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

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

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

5.长期担任AutomaticaIEEE Transactions Journals多个控制领域国际权威学术期刊及会议论文审稿人

二、当前研究方向

1.离散事件系统(Discrete-Event Systems)

2.信息物理系统(Cyber-Physical Systems)

3.网络安全与隐私(Cyber-Security and Privacy)

4.布尔网络(Boolean Networks)

5.形式化方法(Formal Methods)

三、科研情况(在研和已完成主要科研项目及成果)

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

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

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

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

四、学术成果(发表的主要论文、著作)

近年来在IEEE Transactions JournalsInformation SciencesSystems & Control LettersSCIENCE CHINA Information Sciences 等国内外控制领域知名学术期刊及会议上发表论文30余篇。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)

五、联系方式

办公地点:电子信息与自动化ya博16号楼415工作室

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

通讯地址 (邮编):天津市河西区大沽南路103896信箱(300222