韩晓光 - 天津科技大学 - 电子信息与自动化学院

个人简介

主要科研项目 1.南开大学2016年博士研究生科研创新计划立项资助项目(项目负责人),项目名称:基于逻辑层次的代数状态空间方法的离散事件动态系统控制问题研究,项目编号:63163004,起止时间:2016年1月至2016年12月,项目经费:0.7万元。 2.国家自然科学基金(项目主要参与人),项目名称:基于逻辑动态系统的代数状态空间理论的Petri网系统建模及分析,项目编号:61573199,起止时间:2016年1月至2019年12月,项目经费:65万元。获奖情况 1.第12届中国智能系统会议最佳论文奖(2016) 2.指导学生获全国大学生数学建模竞赛国家二等奖2项(2013,2014)、获全国大学生数学建模竞赛天津市一等奖3项(2010,2012,2013)、天津市二等奖6项(2010,2011,2012,2013,2014)

研究领域

1.Petri网理论(PetriNetsTheory) 2.有限自动机理论(FiniteAutomataTheory) 3.离散事件系统监督控制(SupervisoryControlofDiscrete-EventSystems) 4.形式化方法(FormalMethods) 5.信息物理系统(Cyber-PhysicalSystems)

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

期刊论文 J-1X.G.HanandZ.Q.Chen,Matrixapproachtononblockingnessverificationandenforcementformodulardiscrete-eventsystems,inpreparation,2018. J-2X.G.Han,P.F.Wang,Z.Q.Chen,Modeling,propertyverificationandenforcementofcontrollednondeterministicdiscrete-eventsystems,inpreparation,2018. J-3X.G.Han,Z.Q.Chen,R.Su.Synthesisofminimally-restrictiveoptimalstability-enforcingsupervisorsfornondeterministicdiscrete-eventsystems.Systems&ControlLetters,Minorrevisionasregularpaper,April,2018.(SCI，IF:2.656) J-4X.G.HanandZ.Q.Chen.Amatrix-basedapproachtoverifyingstabilityandsynthesizingoptimalstabilizingcontrollersoffinite-stateautomata.JournaloftheFranklinInstitute,Acceptedandinpress,September,2018.(SCI，IF:3.576) J-5X.G.Han,Z.Q.Chen,K.Z.Zhang,Z.X.Liu,Q.Zhang.Modeling,reachabilityandcontrollabilityofboundedPetrinetsbasedonsemi-tensorproductofmatrices.AsianJournalofControl,Acceptedandinpress:https://doi.org/10.1002/asjc.1915,September,2018.(SCI，IF:1.528) J-6X.G.Han.FormalMethodsforDiscrete-TimeDynamicalSystems(BOOKREVIEW).IEEEControlSystemsMagazine,Acceptedandinpress,DOI:10.1109/MCS.2018.2866657,August,2018.(SCI，IF:5.060) J-7X.G.Han,Z.Q.Chen,Z.X.Liu,Q.Zhang.Thedetectionandstabilizationoflimitcyclefordeterministicfiniteautomata.InternationalJournalofControl,2018,91(4):874-886.(SCI，IF:2.101) J-8X.G.Han,Z.Q.Chen,Z.X.Liu,Q.Zhang.CalculationofsiphonsandminimalsiphonsinPetrinetsbasedonsemi-tensorproductofmatrices.IEEETransactionsonSystems,Man,andCybernetics:Systems,2017,47(3):531-536.(SCI，IF:2.350) J-9J.J.Wang,X.G.Han,Z.Q.Chen,Q.Zhang.Modelmatchingofinput-outputasynchronoussequentialmachinesbasedonthesemi-tensorproductofmatrices.FutureGenerationComputerSystems,2018,83:468-475.(SCI，IF:4.639) J-10J.J.Wang,X.G.Han,Z.Q.Chen,Q.Zhang.Calculatingskeletonmatrixofasynchronoussequentialmachinesbasedonthesemi-tensorproductofmatrices.IETControlTheoryandApplications,2017,11(13):2131-2139.(SCI，IF:2.536) J-11N.Gao,X.G.Han,Z.Q.Chen,Q.Zhang.Anovelmatrixapproachtoobservabilityanalysisoffiniteautomata.InternationalJournalofSystemsScience,2017,48(16):3558-3568.(SCI，IF:2.285) J-12Z.P.Zhang,Z.Q.Chen,X.G.Han,Z.X.Liu.Onthestaticoutputfeedbackstabilizationofdeterministicfiniteautomatabasedupontheapproachofsemi-tensorproductofmatrices.Kybernetika,2018,54(1):41-60.(SCI，IF:0.632) J-13N.Gao,X.G.Han,Z.Q.Chen,Q.Zhang.ModelingandreachabilityanalysisofsynchronizingtransitionsboundedPetrinetsystemsbasedupontheSTPofmatrices.JournalofChinaUniversitiesofPostsandTelecommunications,24(1):77-862017. J-14韩晓光，陈增强，刘忠信，张青.有界Petri网系统稳定性与镇定性分析的矩阵半张量积方法.中国科学：信息科学,2016,46(11):1542-1554. J-15韩晓光，陈增强，刘忠信，张青.Petri网信标和陷阱计算的矩阵半张量积方法.控制理论与应用,2016,33(7):849-855. J-16韩晓光，陈增强，张奎泽，刘忠信，张青.一类Petri网系统建模与可达性分析STP方法.北京邮电大学学报,2016,39(6):72-76. J-17韩晓光，陈增强，刘忠信，张青.有界Petri网的可逆性和活性的STP判别方法.系统科学与数学,2016,36(3):361-370. J-18高娜,韩晓光,陈增强,张青.基于矩阵方法的有界Petri网系统的能观性分析.控制理论与应用,2018,35(1):71-78. J-19高娜，韩晓光，陈增强，张青.带有同步变迁的有界Petri网系统的建模及可达性分析.系统科学与数学,2016,36(7):924-936. 会议论文 C-1X.G.Han,Z.Q.Chen,J.M.Zhang.Matrixapproachtodetectabilityofdiscrete-eventsystemsunderpartialobservation.In:Proc.13thIEEEConferenceonAutomationScienceandEngineering(IEEECASE&2017),pp.187-192,Xi'an,China. C-2X.G.Han,Z.Q.Chen,Z.X.Liu,Q.Zhang.CalculatingbasissiphonsofPetrinetsbasedonsemi-tensorproductofmatrices.InProc.35thChineseControlConference(CCC&2016),pp.2331-2336,Chengdu,China. C-3X.G.Han,Z.Q.Chen,K.Z.Zhang,Z.X.Liu,Q.Zhang.ModelingandreachabilityanalysisofaclassofPetrinetsviasemi-tensorproductofmatrices.InProc.34thChineseControlConference(CCC&2015),pp.6586-6591,Changsha,China. C-4J.J.Wang,X.G.Han,Z.Q.Chen,Q.Zhang.AnimprovedalgorithmforsiphonsandminimalsiphonsinPetrinetsbasedonsemi-tensorproductofmatrices.In:Proc.12thChineseIntelligentSystemsConference(CISC&2016),Volume405oftheseriesLectureNotesinElectricalEngineering.Springer,Singapore,pp.371-386. C-5Z.P.Zhang,Z.Q.Chen,X.G.Han,Z.X.Liu.Staticoutputfeedbackstabilizationofdeterministicfiniteautomata.In:Proc.36thChineseControlConference(CCC&2017),pp.2421-2425,Dalian,China.

学术兼职

1. 中国自动化学会控制理论专业委员会《TCCT离散事件动态系统学组》委员 2. IEEE Transactions on Automatic Control (TAC)、Automatica、International Journal of Control (IJC)、Information Sciences、Asian Journal of Control (AJC)、控制理论与应用、IEEE CASE、中国控制会议(CCC) 等期刊与会议论文审稿人