Gaiyun LIU
Dr. and Associate Professor
Systems Control & Automation Group
Department of Automation
School of Electro-Mechanical Engineering
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
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.
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.