主要研究方向

系统控制理论，物联网系统，离散事件系统
自动机与Petri网理论，监督控制理论
故障诊断与预测，状态估计，资源优化，信息安全

主持项目

- 基于Petri网模型的离散事件系统故障定量诊断与预测, 陕西省自然科学基础研究计划（一般项目-面上）, 2022JM-323, 2022-2023.
- Petri网系统的状态与行为监督控制器设计, 国家自然科学基金青年项目, 61703321, 2018-2020.
- 局部可观Petri控制器设计, 陕西省自然科学基础研究计划（一般项目-青年）, 2019JQ-022, 2019-2020.
- 基于Petri网的离散事件系统故障诊断方法, 国家级外国专家项目（科技部）, 2023-2024.
- 基于Petri网模型的离散事件系统控制器设计, 国家级外国专家项目（科技部）, 2021-2022.

校内项目：

- 离散事件动态系统的双模式故障诊断, 中央高校基本科研业务费项目, ZYTS23023, 2023.
- 局部可观测Petri网系统的标识故障诊断, 中央高校基本科研业务费项目, JB210413, 2021-2022.
- Petri网监督控制与优化, 中央高校基本科研业务费项目, JBF180401-15, 2018.
- 局部可观Petri网系统控制器设计, 中央高校基本科研业务费项目, JB190407, 2019-2020.
- 离散事件系统监督与重构, 中央高校基本科研业务费项目, JB142001-15, 2014.

参与项目

- “检测-防护”机制下离散事件动态系统网络攻击防御策略研究, 国家自然科学基金面上项目, 62373313, 2024-2027.
- 基于非纯网结构的Petri网控制器优化设计, 国家自然科学基金面上项目, 61673309, 2017-2020.
- 离散事件系统监督与重构, 国家自然科学基金面上项目, 61472295, 2015-2018.

学术职务

Senior Member of IEEE (IEEE Control System Society, IEEE Robotics and Automation Society)
Technical Committee Member
- IEEE Control System Society on Discrete Event Systems (IEEE-CSS-DES): since 2017
- IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems: since 2020
Editorial Board:
- Associate Editor of IEEE Transactions on Automation Science and Engineering: 2024 - onward
Conference Editorial Board (Associate Editor) of
- CASE’24: 20th IEEE International Conference on Automation Science and Engineering (Bari, Italy, 2024)
- 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: 17th IEEE International Conference on Automation Science and Engineering (Lyon, France)
- CASE’20: 16th IEEE International Conference on Automation Science and Engineering (Virtual [online])
- CASE’19: 15th IEEE International Conference on Automation Science and Engineering (Vancouver, Canada)
- CASE’18: 14th IEEE International Conference on Automation Science and Engineering (Munich, Germany)
- CASE’17: 13th IEEE International Conference on Automation Science and Engineering (Xi'an, China)
- SMC’24: 2024 IEEE International Conference on Systems, Man, and Cybernetics (Sarawak, Malaysia, 2024)
- 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’24: 2024 European Control Conference (Stockholm, Sweden, 2024)
- 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 an invited session on “Safety and Security of Discrete Event Systems” during the 41st American Control Conference (ACC’22, Atlanta, USA), June, 2022.
- 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 (CASE'19, Vancouver, Canada), August, 2019.

论文评阅人

Journals

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.

Conferences

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