Research Interests

Systems and Control Theory, Cyber-Physical Systems, Discrete Event Systems
Automaton & Petri Net Theories, Supervisory Control Theory
Fault Diagnosis & Prognosis, State Estimation, Resource Optimization, Information Security

Hosting/ed Projects

- Quantitative Fault Diagnosis and Prediction of Discrete Event System Modeled by Petri Nets, ShaanXi Provincial Science Foundation, 2022JM-323, 2022-2023.
- Design of State and Behavioral Supervisors in Petri Nets, National Natural Science of Foundation of China, 61703321, 2018-2020.
- Design of Supervisors in Partially Observable Petri Nets, ShaanXi Provincial Science Foundation, 2019JQ-022, 2019-2020.
- Supervisor Design in Discrete-Event Systems Modeled by Petri Nets, High-End Foreign Experts Project (Ministry of Science and Technology of China), 2021–2022.
- Fault Diagnosis in Discrete-Event Systems Modeled by Petri Nets, High-End Foreign Experts Project (Ministry of Science and Technology of China), 2023–2024.

Fundamental Research Funds for the Central Universities (Xidian)

- Pattern-Pattern Diagnosability in Discrete Event Dynamic Systems, ZYTS23023, 2023.
- Marking Diagnosis in Partially Observable Petri Nets, JB210413, 2021-2022.
- Supervision of Partially Observable Petri Nets, JB190407, 2019-2020.
- Supervision and Optimization in Petri Nets, JBF180401, 2018.
- Supervision and Reconfiguration of Discrete Event Systems, China, JB142001-15, 2014.

Participating/ed Projects

- Supervision and Reconfiguration of Discrete Event Systems. National Natural Science of Foundation of China, 61472295, 2015-2018.
- Design and Optimization of Supervisors in Pure Petri Nets. National Natural Science of Foundation of China, 61673309, 2017-2020.
- Defensive Strategy of Network Attacks in DEDSs Under Detection-Protection Mechanism, National Natural Science of Foundation of China, Grant No. 62373313, 2024-2027.

Academic Services

Technical Committee Member of IEEE Control System Society on Discrete Event Systems (IEEE-CSS-DES) since 2017.
Conference Associate Editor of
- CASE’23: 19th IEEE International Conference on Automation Science and Engineering (Auckland, New Zealand, 2023)
- CASE’22: 18th IEEE International Conference on Automation Science and Engineering (Mexico City, Mexico / hybrid, 2022)
- CASE’21: the 17th IEEE International Conference on Automation Science and Engineering (Lyon, France)
- CASE’20: the 16th IEEE International Conference on Automation Science and Engineering (Virtual [online])
- CASE’19: the 15th IEEE International Conference on Automation Science and Engineering (Vancouver, Canada)
- CASE’18: the 14th IEEE International Conference on Automation Science and Engineering (Munich, Germany)
- CASE’17: the 13th IEEE International Conference on Automation Science and Engineering (Xi'an, China)
- SMC’23: 2023 IEEE International Conference on Systems, Man, and Cybernetics (Oahu, Hawaii, 2023)
- SMC’22: 2022 IEEE International Conference on Systems, Man, and Cybernetics (Prague, Czech Republic, 2022)
- SMC’21: 2021 IEEE International Conference on Systems, Man, and Cybernetics (Västerås, Sweden)
- SMC’20: 2020 IEEE International Conference on Systems, Man, and Cybernetics (Virtual [online])
- SMC’19: 2019 IEEE International Conference on Systems, Man, and Cybernetics (Bari, Italy) 
- ECC’23: 2023 European Control Conference (Bucharest, Romania, 2023)
- ECC’22: 2022 European Control Conference (London, UK / hybrid, 2022)
- ECC’21: 2021 European Control Conference (Rotterdam, the Netherlands)
- ECC’20: 2020 European Control Conference (Virtual [online])
- ECC’19: 2019 European Control Conference (Naples, Italy)
Conference Track Program Committee Member of
- ETFA’23: 28th International Conference on Emerging Technologies and Factory Automation (Sinaia, Romania, 2023)
- ETFA’22: 27th International Conference on Emerging Technologies and Factory Automation (Stuttgart, Germany, 2022)
- ETFA’21: the 26th International Conference on Emerging Technologies and Factory Automation (Västerås, Sweden)
- ETFA’20: the 25th International Conference on Emerging Technologies and Factory Automation (Virtual [online])
- ETFA’19: the 24th International Conference on Emerging Technologies and Factory Automation (Zaragoza, Spain)
- ETFA’18: the 23rd International Conference on Emerging Technologies and Factory Automation (Torino, Italy)
- ETFA’17: the 22nd International Conference on Emerging Technologies and Factory Automation (Limassol, Cyprus)
- VECoS’20: Formal Verification and Evaluation of Computer and Communication Systems (Xi’an, China)
Local Organizing Committee Member of
- WODES’16: the 13th IEEE International Workshop on Discrete Event Systems (Xi’an, China).
- ETFA’13: the 18th IEEE International Conference on Emerging Technologies and Factory Automation (Cagliari, Italy).
Conference Session Organization and Chairing
- Co-organized and chaired an invited session on ``Supervision and Estimation of Automated Systems using Discrete-Event Systems'' during the 15th IEEE International Conference on Automation Science and Engineering, August, 2019 (CASE'19, Vancouver, Canada).

Journal Reviewer of:

IEEE Transactions on Automatic Control (Outstanding Reviewer Award in 2016)
Automatica
IEEE Transactions on Automation Science and Engineering
IEEE Transactions on System, Man, and Cybernetics: Systems
IEEE Transactions on Control Systems Technology
Discrete Event Dynamic Systems: Theory and Applications
IEEE Control System Letters (Outstanding Reviewer Award in 2022)
IEEE Robotics and Automation Letters
Information Science
etc.

Conference Reviewer of:

Conference on Decision and Control (CDC)
American Control Conference (ACC)
IFAC World Congress (IFAC WC)
Workshop on Discrete Event Systems (WODES)
IEEE International Conference on Automation Science and Engineering (CASE)
European Control Conference (ECC)
etc.