Xidian Meeting Xidian Guide About Help Search Home Login Control Panel AddBookMark Gaiyun Liu's MessageBoard
Profile

Gaiyun LIU

Dr. and Associate Professor

Systems Control & Automation Group

Department of Automation

School of Electro-Mechanical Engineering

Contact Information

Office: Main Building III-343, North Campus of Xidian University

Address: No. 2 South TaiBai Road, Xi'an 710071, China

Email: gyliu@xidian.edu.cn

Introduction

Dr. Gaiyun Liu received the B.S. and Ph.D. degrees from Xidian University, Xi’an, China, in 2006 and 2011, respectively. In 2011, she joined Xidian University, where she is currently an Associate Professor with the School of Electro-Mechanical Engineering. She was a Visiting Researcher with Universidad de Zaragoza, Zaragoza, Spain and with Conservatoire National des Arts et Metiers, Paris, France for more than 39 months. She has authored or coauthored over 20 publications. Her current research interests include Petri net theory and applications, supervisory control of discrete event systems, and robust supervisory control of automated manufacturing systems.

Academic Participation

1. IEEE Senior Member

2. Member of Chinese Association of Automation

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.