西安电子科技大学机电工程学院导师教师师资介绍简介-马子玥

删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

本站小编 Free考研考试/2021-07-07

基本信息
马子玥工学博士硕士生导师副教授
机电工程学院自动控制系

联系方式
地址：西安电子科技大学机电工程学院
电子邮箱：maziyue@xidian.edu.cn, maziyue@gmail.com
办公地点：北校区III-343

个人简介
马子玥，男，1984年11月生于陕西西安，籍贯河北玉田。本科与研究生就读于北京大学化学与分子工程学院，分别于2007年与2011年取得学士与硕士学位。2011年加入西安电子科技大学参加工作。2016年于西安电子科技大学取得博士学位（机械电子工程）与意大利卡利亚里大学取得联合培养博士学位（电子信息工程，Ingegneria Informatica e Automatica）。现为西安电子科技大学机电工程学院自动控制系副教授。
工作经历
2019.9 - 至今西安电子科技大学机电工程学院自动控制系副教授
2018.1 - 2019.8 西安电子科技大学机电工程学院自动控制系讲师
2014.1 - 2017.12 西安电子科技大学机电工程学院辅导员
2011.7 - 2013.7 西安电子科技大学电子工程学院辅导员
学习经历
2012.9 - 2016.9 西安电子科技大学工学博士（机械电子工程） //卡利亚里大学工学博士（电子信息工程联合培养）
2007.9 - 2011.7 北京大学理学硕士（高分子化学与物理）
2003.9 - 2007.7 北京大学理学学士（化学）// 北京大学经济学双学位（中国经济研究中心）
访问经历
2013.7 - 2013.9意大利卡利亚里大学（Department of Electrical and Electronic Engineering, University of Cagliari）
2015.1 - 2015.12 意大利卡利亚里大学（Department of Electrical and Electronic Engineering, University of Cagliari）
2019.1 - 2019.4 加拿大多伦多大学（Department of Electrical & Computer Engineering, University of Toronto）
硕士招生信息(2022年9月入学)
0811控制科学与工程（学术型），学科方向：01控制理论与控制工程
0854电子信息（专业学位），学科方向：01控制工程与智能感知
2021-2022年硕士招生名额（2022年9月入学）：1-2人（名额数按惯例于2022年初最终确定；报考前请邮件联系）

合作者主页
李志武 西安电子科技大学西安 // Xidian University
Alessandro Giua卡利亚里大学卡利亚里意大利 // University of Cagliari,Cagliari,Italy
童音西南交通大学成都 // Southwest Jiaotong University
何舟陕西科技大学西安 //Shaanxi University of Science and Technology
殷翔上海交通大学上海 // Shanghai Jiao Tong University
蔡凯大阪城市大学大阪日本 //Osaka City University, Osaka, Japan

科学研究
主要研究方向
系统控制理论，物联网系统，离散事件系统
自动机与Petri网理论，监督控制理论
故障诊断与预测，状态估计，资源优化，信息安全
主持项目
局部可观测Petri网系统的标识故障诊断, 中央高校基本科研业务费项目, JB210413, 2021-2022.
Petri网系统的状态与行为监督控制器设计, 国家自然科学基金青年项目, **, 2018-2020.
局部可观Petri控制器设计, 陕西省自然科学基础研究计划（一般项目）, 2019JQ-022, 2019-2020.
局部可观Petri网系统控制器设计, 中央高校基本科研业务费项目, JB190407, 2019-2020.
Petri网监督控制与优化, 中央高校基本科研业务费项目, JBF180401-15, 2018.
离散事件系统监督与重构, 中央高校基本科研业务费项目,JB142001-15, 2014.
参与项目
离散事件系统监督与重构, 国家自然科学基金面上项目, **, 2015-2018.
基于非纯网结构的Petri网控制器优化设计, 国家自然科学基金面上项目, Grant No. **, 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).
期刊审稿人
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
IEEE Access
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.

学术论文
You are welcome torequest any papers listed on this page. Please email to: maziyue@xidian.edu.cn
Journal Papers
[2022tac] Z. Ma, K. Cai.“Optimal Secret Protections in Discrete-Event Systems”, IEEE Transactions on Automatic Control, 2022, Early Access online. DOI: 10.1109/TAC.2021.**.
[2021nahs]Z. He,Z. Ma.“Performance Safety Enforcement in Stochastic Event Graphs Against Boost and Slow Attacks”, Nonlinear Analysis: Hybrid Systems, 2021, 41 (August), Article Number 101057.
[2021aut-d] Z.Ma, X. Yin, Z. Li.“Verification and Enforcement of Strong Infinite- and k-StepOpacity Using State Recognizers”, Automatica, 2021, in press.
[2021aut-c] Y. Hu, Z. Ma, Z. Li, A. Giua.“Diagnosability Enforcement in Labeled Petri Nets Using Supervisory Control”, Automatica, 2021, Article Number109776.
[2021aut-b] Z.Ma, X. Yin, Z. Li.“Marking Diagnosability Verification in Labeled Petri Nets”, Automatica, 2021, 131 (September), Article Number 109713.
[2021aut-a]Z. He,Z. Ma, W. Tang.“Performance Safety Enforcement in Strongly Connected Timed Event Graphs”, Automatica, 2021, 128 (June), Article Number 109605. (WOS: 019, EI: 683)
[2021tac-b] Z. Ma, X. Yin, Z. Li.“Marking Predictability and Prediction in Labeled Petri Nets”, IEEE Transactions on Automatic Control, 2021, Early Access online. DOI: 10.1109/TAC.2020.**.
[2021tac-a] Z. Ma, G. Zhu, Z. Li.“Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs”, IEEE Transactions on Automatic Control, 2021, 66(2), 810-817. (WOS: 0006**, EI: 865)
[2021jas] Z. He, Z. Ma, Z. Li., A. Giua. “Parametric Transformation of Timed Weighted Marked Graphs: Applications inOptimal Resource Allocation”, IEEE/CAA Journal of Automatica Sinica, 2021, 8(1), 179-188. (WOS: 015, EI: 393)
[2020tac-c] Y. Hu, Z. Ma, Z. Li.“Design of Supervisors for Active Diagnosis in Discrete Event Systems”, IEEE Transactions on Automatic Control, 2020, 65(12): 5159-5172. (WOS: 011, EI: 497)
[2020tac-b] Z. Ma, G. Zhu, Z. Li, A. Giua.“Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming”, IEEE Transactions on Automatic Control, 2020, 65(6): 2662-2669. (WOS: 028, EI: 20**8)
[2020tac-a] Z. Ma, Z. Li, A. Giua. “Marking Estimation in a Class of Time Labeled Petri Nets”, IEEE Transactions on Automatic Control, 2020, 65(2): 493-506.(WOS: 001, EI: 20**6)
[2019deds] Z. He, M. Liu, Z. Ma, Z. Li, A. Giua. “An Improved Approach for Marking Optimization of TimedWeighted Marked Graphs”, Discrete Event Dynamic Systems, 2019, 29(2): 127-143. (WOS: 001, EI: 20**6)
[2017tac-b] Z. Ma, Z. Li, A. Giua. “Characterization of Admissible Marking Sets in Petri Nets with Conflictsand Synchronizations”, IEEE Transactions on Automatic Control, 2017, 62(3): 1329-1341. (WOS:022, EI: 20**3,ESI Highly Cited Paper)
[2017tac-a] Z. Ma, Y. Tong, Z. Li, A. Giua. “Basis Marking Representation of Petri Net Reachability Spacesand Its Application to the Reachability Problem”, IEEE Transactions on Automatic Control, 2017, 62(3):1078-1093. (WOS: 004, EI: 20**4, ESI Highly Cited Paper)
[2016aut] Z. Ma, Z. Li, A. Giua. “Petri Net Controllers for Generalized Mutual Exclusion Constraints withFloor Operators”, Automatica, 2016, 74 (December): 238-246. (WOS: 028, EI: 20**9)
[2015aut] Z. Ma, Z. Li, A. Giua. “Comments on ‘Maximally Permissive Supervisor Synthesis Based on aNew Constraint Transformation Method’ ”, Automatica, 2015, 51 (January): 131-134. (WOS: 016,EI: 20**5)
[2015tac] Z. Ma, Z. Li, A. Giua. “Design of Optimal Petri Net Controllers for Disjunctive GeneralizedMutual Exclusion Constraints”, IEEE Transactions on Automatic Control, 2015, 60(7): 1774-1785. (WOS:004, EI: 20**4, ESI Highly Cited Paper)
EI and CN Papers
[2021lcsys] C. Gu, Z. Ma, Z. Li, A. Giua. “Non-Blockingness Verification of Bounded Petri NetsUsing Basis Reachability Graphs”, IEEE Control System Letters, 2021, in press. DOI: 10.1109/LCSYS.2021.**
[2022jxdu] M. Zou, Z. Ma. “An Efficient Method to Design Optimal Control Sequences in Petri Nets”, in Chinese,Journal of Xidian University, 2022, in press.
[2016jxdu] Z. Ma, Y. Tong. “Supervisor Synthesis in Petri Nets Based on Basis Marking Graphs”, in Chinese,Journal of Xidian University, 2016, 43(6): 68-73. (EI: 20**0)
[2015jxdu]Z.Jiang, X. Zhang, Z. Ma. “Capacity Optimization for Power Storage Systems in Smart Grids”,in Chinese, Journal of Xidian University, 2015, 42(6): 106-112. (EI: 20**3)
Peer-reviewed Conference Papers
[2020cdc-b] Z. Ma, J. Zhang.“Determining Optimal Control Sequences for Reconfiguration in Petri Nets”, 59th IEEE Conference on Decision and Control (CDC’20),Virtual (online), 2020,4485-4491. (EI: 156)
[2020cdc-a] Z. Ma, X. Yin, Z. Li.“Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers”, 59th IEEE Conference on Decision and Control (CDC’20),Virtual (online), 2020, 4479-4484.(EI: 067)
[2020ifac] L. Yang, Z. Ma, Z. Li, A. Giua.“Rumor containment by blocking nodes in social networks”, IFAC 2020 World Congress (IFAC’20), Virtual (online), 2020, Oral Presentation.
[2019cdc] C. Gu, Z. Ma, Z. Li, A. Giua.“Verification of Nonblockingness in Bounded Petri Nets with a semi-Structural Approach”, IEEE 58th Conference on Decision and Control (CDC’19), Nice, France, 2019, 6718-6723. (EI: 463)
[2019case-b] Y. Hu, Z. Ma, Z. Li.“Active Diagnosis of Petri Nets Using Q-Diagnoser”, IEEE 15th International Conference on Automation Science and Engineering(CASE’19), Vancouver, Canada, 2019, 203-208. (EI: 20**5)
[2019case-a]Z. Ma, Z. He, Z. Li.“Supervisory Control in Partially Observable Petri Nets with Sensor Reduction”, IEEE 15th International Conference on Automation Science and Engineering (CASE’19), Vancouver, Canada, 2019, 189-194. (EI: 20**7)
[2018wodes] Z. Ma, Z. He, Z. Li, A. Giua.“Design of Monitor-based Supervisors in Labelled Petri Nets”, 14th International Workshop on Discrete Event Systems (WODES’18), Sorrento Coast,Italy, 2018: 374-380. (EI: 20**6)
[2017cdc] Z. Ma, Z. Li, A. Giua.“Computation of Admissible Marking Sets in Weighted State Machinesby Dynamic Programming”, 56th IEEE Conference on Decision and Control (CDC’17),Melbourne, Australia, 2017: 4847-4852. (EI: 20**7)
[2017ifac] Z. Ma, Y. Tong, Z. Li, A. Giua. “Marking Estimation in Labelled Petri Nets by the RepresentativeMarking Graph”, 20th IFAC World Congress, Toulouse, France, 2017: 11175-11181.(EI: 29)
[2016acc] Y. Tong, Z. Ma, Z. Li, C. Seatzu, A. Giua, “Verification of Language-Based Opacity in Petri NetsUsing Verifier”, 35th American Control Conference (ACC’16), Boston, USA, 2016:757-763. (EI: 20**9)
[2016wodes] Y. Tong, Z.Ma, Z.Li, C. Seatzu, A. Giua. “Supervisory Enforcement of Current-State Opacitywith Uncomparable Observations”, 13th International Workshop on Discrete EventSystems (WODES’16), Xi’an, China, 2016: 313-318. (EI: 20**1)
[2015cdc] Z. Ma, Z. Li, A. Giua. “A Method to Verify the Controllability of Language Specifications inPetri Nets Based on Basis Marking Analysis”, 54th IEEE Conference on Decision andControl (CDC’15), Osaka, Japan, 2015: 1675-1681. (EI: 20**2)
[2015acc] Z.Ma, Z. Li, A. Giua. “A Constraint Transformation Technique in Petri Nets with Backward-Conflict-Free Uncontrollable Structures”,34th American Control Conference (ACC’15),Chicago, USA, 2015: 365-370. (EI: 20**1)
[2014ifac] Z.Ma, Z. Li, A. Giua. “Linear Algebraic Characterization of Legal Markings for Petri NetsSupervisors”, 19th IFAC World Congress, 2014: 2429-2434. (EI: 20**8)
[2014wodes] Z. Ma, Z. Li, A. Giua. “A Constraint Transformation Technique for Petri Nets with CertainUncontrollable Structures”,12th International Workshop on Discrete Event Systems(WODES’14), Cachan, France, 2014: 66-72. (EI: 20**5)
[2013etfa] Z. Ma, Z. Li, A. Giua. “Petri Net Controllers for Disjunctive Generalized Mutual ExclusionConstraints”, 18th IEEE International Conference on Emerging Technologies and FactoryAutomation (ETFA’13), Cagliari, Italy, 2013: 1-8. (EI: 20**0)
Last updated: June 26, 2021

荣誉获奖
暂无

科研团队
团队教师

博士研究生
硕士研究生

课程教学
点击跳转到页面下载：
模糊控制系统的Matlab仿真
模糊控制器设计

招生信息
硕士招生信息（2022年9月入学）：
0811控制科学与工程（学术型），学科方向：01控制理论与控制工程
0854电子信息（专业学位），学科方向：01控制工程与智能感知
2021-2022年招生名额（2022年9月入学）：1-2人（招生名额数按惯例于2022年初最终确定；报考前请邮件联系）
2020-2021年实际招生（2021年9月入学）：4人
2019-2020年实际招生（2020年9月入学）：1人

Profile

Ziyue MA (马子玥)
Associate Professor in School of Electro-Mechanical Engineering
Xidian University, Xian 710071, China

Contact Information
Room III-343 of Main Building, North Campus of Xidian University
No.2 South Taibai Road, Xian 710071, China
Email: maziyue@xidian.edu.cn // maziyue@gmail.com

Introduction
I was born in Xian in November 1984. I received Bachelor and Master Degrees in College of Chemistry and Molecular Engineering from Peking University, Beijing, China, in 2007 and 2011, respectively. In 2016 got my Ph.D diploma in cotutorship between School of Electro-Mechanical Engineering (SEME) of Xidian University and Department of Electrical and Electronic Engineering (DIEE) of University of Cagliari (UNICA), co-advised by Prof. Dr. Zhiwu Li (Xidian) and Prof. Dr. Alessandro Giua (UNICA).
I joined Xidian University in 2011. In September 2019 I became an Associate Professor in School of Electro-Mechanical Engineering (SEME) of Xidian University.
Education Background
2003.09 - 2007.07, B.Sc. in Chemistry // B.Ec.(double degree) in Economics, Peking University
2007.09 - 2011.07, M.Sc. in Polymer Chemistry and Physics, Peking University
2012.09 - 2016.08, Ph.D in Electro-Mechanical Engineering, Xidian University // Ph. D (double degree) in Electronics and Computer Engineering, University of Cagliari
Academic Visiting
2013.7 - 2013.9 Department of Electrical and Electronic Engineering, University of Cagliari, Italy.
2015.1 - 2015.12 Department of Electrical and Electronic Engineering, University of Cagliari, Italy.
2019.1 - 2019.4 Department of Electrical & Computer Engineering, University of Toronto, Canada

Collaborated Researchers
Zhiwu Li(Xidian University, , Xian, China)
Alessandro Giua(University of Cagliari, Cagliari, Italy)
Yin Tong(Southwest Jiaotong University, Chengdu, China)
Zhou He(Shaanxi University of Science and Technology, Xian, China)
Xiang Yin (Shanghai Jiao Tong University, Shanghai, China)
Kai Cai (Osaka City University, Osaka, Japan)

Research
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/hosted Projects
Marking Diagnosis in Partially Observable Petri Nets, Fundamental Research Funds for the Central Universities,China, Grant No. JB210413, 2021-2022.
Design of State and Behavioral Supervisors in Petri Nets, National Natural Science of Foundation of China,Grant No. **, 2018-2020.
Design of Supervisors in Partially Observable Petri Nets, ShaanXi Provincial Science Foundation, GrantNo. 2019JQ-022, 2019-2020.
Supervision of Partially Observable Petri Nets, Fundamental Research Funds for the Central Universities,China, Grant No. JB190407, 2019-2020.
Supervision and Optimization in Petri Nets, Fundamental Research Funds for the Central Universities,China, Grant No. JBF180401, 2018.
Supervision and Reconfiguration of Discrete Event Systems, Fundamental Research Funds for the CentralUniversities, China, Grant No. JB142001-15, 2014.
Participated Projects
Supervision and Reconfiguration of Discrete Event Systems. National Natural Science of Foundation ofChina, Grant No. **, 2015-2018.
Design and Optimization of Supervisors in Pure Petri Nets. National Natural Science of Foundation ofChina, Grant No. **, 2017-2020.
Academic Services
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).
Journal Reviewerof:
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
IEEE Access
etc.
Conference Reviewerof:
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.

Papers
You are welcome torequest any papers listed on this page. Please email to: maziyue@xidian.edu.cn
Journal Papers
[2022tac] Z. Ma, K. Cai.“Optimal Secret Protections in Discrete-Event Systems”, IEEE Transactions on Automatic Control, 2022, Early Access online. DOI: 10.1109/TAC.2021.**.
[2021nahs]Z. He,Z. Ma.“Performance Safety Enforcement in Stochastic Event Graphs Against Boost and Slow Attacks”, Nonlinear Analysis: Hybrid Systems, 2021, 41 (August), Article Number 101057.
[2021aut-d] Z.Ma, X. Yin, Z. Li.“Verification and Enforcement of Strong Infinite- and k-StepOpacity Using State Recognizers”, Automatica, 2021, in press.
[2021aut-c] Y. Hu, Z. Ma, Z. Li, A. Giua.“Diagnosability Enforcement in Labeled Petri Nets Using Supervisory Control”, Automatica, 2021, Article Number109776.
[2021aut-b] Z.Ma, X. Yin, Z. Li.“Marking Diagnosability Verification in Labeled Petri Nets”, Automatica, 2021, 131 (September), Article Number 109713.
[2021aut-a]Z. He,Z. Ma, W. Tang.“Performance Safety Enforcement in Strongly Connected Timed Event Graphs”, Automatica, 2021, 128 (June), Article Number 109605. (WOS: 019, EI: 683)
[2021tac-b] Z. Ma, X. Yin, Z. Li.“Marking Predictability and Prediction in Labeled Petri Nets”, IEEE Transactions on Automatic Control, 2021, Early Access online. DOI: 10.1109/TAC.2020.**.
[2021tac-a] Z. Ma, G. Zhu, Z. Li.“Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs”, IEEE Transactions on Automatic Control, 2021, 66(2), 810-817. (WOS: 0006**, EI: 865)
[2021jas] Z. He, Z. Ma, Z. Li., A. Giua. “Parametric Transformation of Timed Weighted Marked Graphs: Applications inOptimal Resource Allocation”, IEEE/CAA Journal of Automatica Sinica, 2021, 8(1), 179-188. (WOS: 015, EI: 393)
[2020tac-c] Y. Hu, Z. Ma, Z. Li.“Design of Supervisors for Active Diagnosis in Discrete Event Systems”, IEEE Transactions on Automatic Control, 2020, 65(12): 5159-5172. (WOS: 011, EI: 497)
[2020tac-b] Z. Ma, G. Zhu, Z. Li, A. Giua.“Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming”, IEEE Transactions on Automatic Control, 2020, 65(6): 2662-2669. (WOS: 028, EI: 20**8)
[2020tac-a] Z. Ma, Z. Li, A. Giua. “Marking Estimation in a Class of Time Labeled Petri Nets”, IEEE Transactions on Automatic Control, 2020, 65(2): 493-506.(WOS: 001, EI: 20**6)
[2019deds] Z. He, M. Liu, Z. Ma, Z. Li, A. Giua. “An Improved Approach for Marking Optimization of TimedWeighted Marked Graphs”, Discrete Event Dynamic Systems, 2019, 29(2): 127-143. (WOS: 001, EI: 20**6)
[2017tac-b] Z. Ma, Z. Li, A. Giua. “Characterization of Admissible Marking Sets in Petri Nets with Conflictsand Synchronizations”, IEEE Transactions on Automatic Control, 2017, 62(3): 1329-1341. (WOS:022, EI: 20**3,ESI Highly Cited Paper)
[2017tac-a] Z. Ma, Y. Tong, Z. Li, A. Giua. “Basis Marking Representation of Petri Net Reachability Spacesand Its Application to the Reachability Problem”, IEEE Transactions on Automatic Control, 2017, 62(3):1078-1093. (WOS: 004, EI: 20**4, ESI Highly Cited Paper)
[2016aut] Z. Ma, Z. Li, A. Giua. “Petri Net Controllers for Generalized Mutual Exclusion Constraints withFloor Operators”, Automatica, 2016, 74 (December): 238-246. (WOS: 028, EI: 20**9)
[2015aut] Z. Ma, Z. Li, A. Giua. “Comments on ‘Maximally Permissive Supervisor Synthesis Based on aNew Constraint Transformation Method’ ”, Automatica, 2015, 51 (January): 131-134. (WOS: 016,EI: 20**5)
[2015tac] Z. Ma, Z. Li, A. Giua. “Design of Optimal Petri Net Controllers for Disjunctive GeneralizedMutual Exclusion Constraints”, IEEE Transactions on Automatic Control, 2015, 60(7): 1774-1785. (WOS:004, EI: 20**4, ESI Highly Cited Paper)
EI and CN Papers
[2021lcsys] C. Gu, Z. Ma, Z. Li, A. Giua. “Non-Blockingness Verification of Bounded Petri NetsUsing Basis Reachability Graphs”, IEEE Control System Letters, 2021, in press. DOI: 10.1109/LCSYS.2021.**
[2022jxdu] M. Zou, Z. Ma. “An Efficient Method to Design Optimal Control Sequences in Petri Nets”, in Chinese,Journal of Xidian University, 2022, in press.
[2016jxdu] Z. Ma, Y. Tong. “Supervisor Synthesis in Petri Nets Based on Basis Marking Graphs”, in Chinese,Journal of Xidian University, 2016, 43(6): 68-73. (EI: 20**0)
[2015jxdu]Z.Jiang, X. Zhang, Z. Ma. “Capacity Optimization for Power Storage Systems in Smart Grids”,in Chinese, Journal of Xidian University, 2015, 42(6): 106-112. (EI: 20**3)
Peer-reviewed Conference Papers
[2020cdc-b] Z. Ma, J. Zhang.“Determining Optimal Control Sequences for Reconfiguration in Petri Nets”, 59th IEEE Conference on Decision and Control (CDC’20),Virtual (online), 2020,4485-4491. (EI: 156)
[2020cdc-a] Z. Ma, X. Yin, Z. Li.“Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers”, 59th IEEE Conference on Decision and Control (CDC’20),Virtual (online), 2020, 4479-4484.(EI: 067)
[2020ifac] L. Yang, Z. Ma, Z. Li, A. Giua.“Rumor containment by blocking nodes in social networks”, IFAC 2020 World Congress (IFAC’20), Virtual (online), 2020, Oral Presentation.
[2019cdc] C. Gu, Z. Ma, Z. Li, A. Giua.“Verification of Nonblockingness in Bounded Petri Nets with a semi-Structural Approach”, IEEE 58th Conference on Decision and Control (CDC’19), Nice, France, 2019, 6718-6723. (EI: 463)
[2019case-b] Y. Hu, Z. Ma, Z. Li.“Active Diagnosis of Petri Nets Using Q-Diagnoser”, IEEE 15th International Conference on Automation Science and Engineering(CASE’19), Vancouver, Canada, 2019, 203-208. (EI: 20**5)
[2019case-a]Z. Ma, Z. He, Z. Li.“Supervisory Control in Partially Observable Petri Nets with Sensor Reduction”, IEEE 15th International Conference on Automation Science and Engineering (CASE’19), Vancouver, Canada, 2019, 189-194. (EI: 20**7)
[2018wodes] Z. Ma, Z. He, Z. Li, A. Giua.“Design of Monitor-based Supervisors in Labelled Petri Nets”, 14th International Workshop on Discrete Event Systems (WODES’18), Sorrento Coast,Italy, 2018: 374-380. (EI: 20**6)
[2017cdc] Z. Ma, Z. Li, A. Giua.“Computation of Admissible Marking Sets in Weighted State Machinesby Dynamic Programming”, 56th IEEE Conference on Decision and Control (CDC’17),Melbourne, Australia, 2017: 4847-4852. (EI: 20**7)
[2017ifac] Z. Ma, Y. Tong, Z. Li, A. Giua. “Marking Estimation in Labelled Petri Nets by the RepresentativeMarking Graph”, 20th IFAC World Congress, Toulouse, France, 2017: 11175-11181.(EI: 29)
[2016acc] Y. Tong, Z. Ma, Z. Li, C. Seatzu, A. Giua, “Verification of Language-Based Opacity in Petri NetsUsing Verifier”, 35th American Control Conference (ACC’16), Boston, USA, 2016:757-763. (EI: 20**9)
[2016wodes] Y. Tong, Z.Ma, Z.Li, C. Seatzu, A. Giua. “Supervisory Enforcement of Current-State Opacitywith Uncomparable Observations”, 13th International Workshop on Discrete EventSystems (WODES’16), Xi’an, China, 2016: 313-318. (EI: 20**1)
[2015cdc] Z. Ma, Z. Li, A. Giua. “A Method to Verify the Controllability of Language Specifications inPetri Nets Based on Basis Marking Analysis”, 54th IEEE Conference on Decision andControl (CDC’15), Osaka, Japan, 2015: 1675-1681. (EI: 20**2)
[2015acc] Z.Ma, Z. Li, A. Giua. “A Constraint Transformation Technique in Petri Nets with Backward-Conflict-Free Uncontrollable Structures”,34th American Control Conference (ACC’15),Chicago, USA, 2015: 365-370. (EI: 20**1)
[2014ifac] Z.Ma, Z. Li, A. Giua. “Linear Algebraic Characterization of Legal Markings for Petri NetsSupervisors”, 19th IFAC World Congress, 2014: 2429-2434. (EI: 20**8)
[2014wodes] Z. Ma, Z. Li, A. Giua. “A Constraint Transformation Technique for Petri Nets with CertainUncontrollable Structures”,12th International Workshop on Discrete Event Systems(WODES’14), Cachan, France, 2014: 66-72. (EI: 20**5)
[2013etfa] Z. Ma, Z. Li, A. Giua. “Petri Net Controllers for Disjunctive Generalized Mutual ExclusionConstraints”, 18th IEEE International Conference on Emerging Technologies and FactoryAutomation (ETFA’13), Cagliari, Italy, 2013: 1-8. (EI: 20**0)
Last updated: June 26, 2021

Honors
点击网页顶部“添加栏目”可以添加其他栏目
把鼠标放在栏目标题处，尝试拖动栏目。

Team
团队教师

博士研究生
硕士研究生

Teaching
目前本人承担的教学任务：

课件下载示例

Admission
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~