刘改云    副教授

博士生导师 硕士生导师

博士学科：控制理论与控制工程

硕士学科：

       学硕：控制理论与控制工程

       专硕：控制工程

工作单位：机电工程学院

电子邮箱：gyliu@xidian.edu.cn

办公地点：北校区主楼III区-343

拟推免/优研/报考的学生可发送简历至gyliu@xidian.edu.cn

    刘改云，博士，副教授，博士生导师。现为西安电子科技大学机电工程学院自动控制系副教授，IEEE高级会员，中国自动化学会会员。分别于2006年和2011年在西安电子科技大学获得学士和博士学位。多次赴法国国立工艺学院及西班牙萨拉戈萨大学合作科研，累加39个月。担任2020年14届International Conference on Verification and Evaluation of Computer and Communication Systems程序委员会共同主席；2019年SCI源期刊Advances in Mechanical Engineering客座编辑(Lead Guest Editor)；在2020年15届Workshop on Discrete Event Systems上组织“资源分配系统优化控制和调度”专题；任10余次国际学术会议程序委员会委员、组织委员；任20余个SCI期刊及国际学术会议稿件评阅人。

自2008年起长期从事Petri网理论及其应用研究，先后主持和参与多项科研项目，包括国家自然科学家基金项目、国际合作项目、陕西省基金项目等10余项。近年共计发表SCI检索期刊论文18篇(其中第一作者13篇)，发表/录用国际会议论文7篇。

Petri网理论与应用；形式化方法

离散事件系统鲁棒与安全控制；智能制造

1. IEEE高级会员

2. 中国自动化学会会员

3. Program Co-Chair: The 14th International Conference on Verification and Evaluation of Computer and Communication Systems, Xi'an, China, Oct. 26-27, 2020

4. Session Organizer: “Optimal Control and Scheduling of Resource Allocation Systems” in the 15th International Workshop on Discrete Event Systems, Rio de Janeiro, Brazil, November 11-13, 2020

5. Guest Editor: “Modeling, Analysis, Verification, and Control of Discrete Event Systems” in Advances in Mechanical Engineering, 2019

6. Member of the Program Committee: The 13th International Conference on Verification and Evaluation of Computer and Communication Systems, Porto, Portugal, October 7-9, 2019

7. Member of the Program Committee: The 2019 IEEE International Conference on Networking, Sensing and Control, Banff, Canada, May 9-11, 2019

8.Member of the Program Committee: The 2017 International Conference on Modeling, Simulation, and Control of Discrete Event Systems, Yilan, Taiwan, March 13-17, 2017

9.Member of the Program Committee: The 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Tunis, Tunisia, Oct. 6-7, 2016

10.Member of the Organizing Committee: The 13th International Workshop on Discrete Event Systems, Xi’an, China, May 30-June 1, 2016

11.Member of the Program Committee: The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems , Bucharest, Romania, Sep. 10-11, 2015

12. Member of the Program Committee: The 2nd International Workshop on Petri Nets for Adaptive Discrete Event Control Systems, Brussels, Belgium, June 22, 2015

13. Member of the Program Committee: The 7th International Workshop on Verification and Evaluation of Computer and Communication Systems , Florence, Italy, Nov. 21-22, 2013

14.Session Chair: IEEE International Conference on Mechatronics and Automation Manufacturing automation technology, Xi'an, China, Aug. 4-7, 2010

15.Peer Reviewer: Automatica, IEEE Transactions on Automatic Control, IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, IEEE Transactions on Control System Technology, Information Sciences, International Journal of Systems Science, Asia Journal of control, Transactions of the Institute of Measurement and Control, Computers & Electrical Engineering, Advances in Mechanical Engineering, IMA Journal of Mathematical Control and Information, System Engineering, IEEE/CAA Journal of Automatica Sinica, IEEE Access, IET Generation, Transmission & Distribution, IEEE Sensors Journal, and so on.