DOC《西南交通大学关于2017年度公开招聘应聘人员情况》

1 On the Equivalence of Observation Structures for Petri Net Generators IEEE Transactions on Automatic Control

2016 61(9)

1 西安电子科技大学,卡利亚里大学 SCI ISSN: 0018-9286 A++ JCR: Q1 2.777

0 2 Verification of State-Based Opacity in Petri Nets IEEE Transactions on Automatic Control

2017 62(6)

1 西安电子科技大学,卡利亚里大学 SCI ISSN: 0018-9286 A++ JCR: Q1 2.777

1 3 Decidability of Opacity Problems in Labeled Petri Nets Automatica

2017 53(6)

1 西安电子科技大学,卡利亚里大学 SCI ISSN: 0005-1098 A++ JCR: Q1 3.635

0 4 Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem IEEE Transactions on Automatic Control

2017 62(3)

2 西安电子科技大学,卡利亚里大学 SCI ISSN: 0018-9286 A++ JCR: Q1 2.777

0 5 Verification of Current-State Opacity Using Petri Nets Proceedings of the

2015 American Control Conference

2015 1 西安电子科技大学,卡利亚里大学 EI B+

3

5、科研项目: 项目时间 项目名称 项目类型 经费 参与状况(排序) 2014.1~2016.12 基于信标的死锁控制及性能分析 国家自然科学基金委青年科学基金项目 25万 参与 2014.1~2016.12 柔性制造系统一般Petri网模型内在活性结构研究 国家自然科学基金委青年科学基金项目 27万 参与 2014.1~2016.12 柔性制造系统鲁棒死锁控制研究 国家自然科学基金委青年科学基金项目 24万 参与 2015.1~2017.12 基于Petri网的自动制造系统分布式控制研究 国家自然科学基金委青年科学基金项目 25万 参与 2015.1~2017.12 输出反馈鲁棒跟踪模型预测控制的理论和算法 国家自然科学基金委青年科学基金项目 23万 参与 2017.1~2019.12 基于R-TNCES的动态可重构离散事件系统的稳定性研究 国家自然科学基金委青年科学基金项目 20万 参与 2015.1~2018.12 离散事件系统的监督与重构 国家自然基金面上项目 80万 参与 2016.1~2020.12 基于非纯网结构的Petri网控制器优化设计 国家自然基金面上项目 62万 参与 2012.6~2015.12 Networked control systems for automation Region Sardinia, Italy 21.8万欧元 参与

6、出版专著 著作名称 作者 出版社 出版年份 ISBN号

7、专利情况 专利类别 专利名称 专利所有人 授权时间 授权国别 专利号

8、获奖情况: 时间 名称 奖项与等级 排序

2008 西安电子科技大学新生部优秀学生 校级

1 2010 西安电子科技大学优秀学生 校级

1 2011 全国大学生英语竞赛 三等奖,高等学校大学外语教学研究会

1 2011 西安电子科技大学优秀学生标兵 校级

1 2011 国家励志奖学金 国家级

1 2012 西安电子科技大学优秀毕业生 校级

1 2013 西安电子科技大学研究生学术年会优秀论文 一等奖,校级

1 2016 博士研究生国家奖学金 国家级

1 2016 西安电子科技大学优秀研究生 校级

1 2016 中国电科十四所国睿奖学金 校级 1