学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 马子玥的留言板
科学研究

主要研究方向

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

 

主持项目

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

校内项目:

- 局部可观测Petri网系统的标识故障诊断, 中央高校基本科研业务费项目, JB210413, 2021-2022.
- Petri网监督控制与优化, 中央高校基本科研业务费项目, JBF180401-15, 2018.
- 局部可观Petri网系统控制器设计, 中央高校基本科研业务费项目, JB190407, 2019-2020.

- 离散事件系统监督与重构, 中央高校基本科研业务费项目, JB142001-15, 2014.

 

参与项目

离散事件系统监督与重构, 国家自然科学基金面上项目, 61472295, 2015-2018.
基于非纯网结构的Petri网控制器优化设计, 国家自然科学基金面上项目, Grant No. 61673309, 2017-2020.

 

学术职务

Technical Committee Member of IEEE Control System Society on Discrete Event Systems (IEEE-CSS-DES) since 2017.
Conference Associate Editor of
- 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’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’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’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).

 

期刊审稿人

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

 

会议审稿人

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.