| 个人信息 | 西安电子科技大学个人主页
学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 刘改云的留言板
基本信息

刘改云 副教授

博士生导师 硕士生导师

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

硕士学科:

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

专硕:控制工程

工作单位:机电工程学院

联系方式

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

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

招生信息

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

个人简介

刘改云,博士,副教授,博士生导师。现为西安电子科技大学机电工程学院自动控制系副教授,IEEE高级会员,中国自动化学会会员。分别于2006年和2011年在西安电子科技大学获得学士和博士学位。多次赴法国国立工艺学院及西班牙萨拉戈萨大学合作科研,累加39个月。担任202014International Conference on Verification and Evaluation of Computer and Communication Systems程序委员会共同主席;2019SCI源期刊Advances in Mechanical Engineering客座编辑(LeadGuest Editor);在202015Workshop 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: The2019 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:The9th 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.

Baidu
map