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

SCI Journals
[2021tac] Z. Y. Ma, G. H. Zhu, Z. W. Li. “Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs”, IEEE Transactions on Automatic Control, 2021, Early Access online. DOI: 10.1109/TAC.2020.2983088. (JCR Q1)
[2020tac-c] Y. H. Hu, Z. Y. Ma, Z. W. Li, “Design of Supervisors for Active Diagnosis in Discrete Event Systems”, IEEE Transactions on Automatic Control, Early Access online. DOI: 10.1109/TAC.2020.2970011. (JCR Q1)
[2020tac-b] Z. Y. Ma, G. H. Zhu, Z. W. Li, A. Giua. “Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming”, IEEE Transactions on Automatic Control, Early Access online. DOI: 10.1109/TAC.2019.2942570. (JCR Q1)
[2020tac-a] Z. Y. Ma, Z. W. Li, A. Giua. “Marking Estimation in a Class of Time Labeled Petri Nets”, IEEE Transactions on Automatic Control, 2020, 65(2): 493-506. DOI: 10.1109/TAC.2019.2907413. (to be indexed, JCR Q1)
[2019deds] Z. He, M. Liu, Z. Y. Ma, Z. W. Li, A. Giua. “An Improved Approach for Marking Optimization of Timed Weighted Marked Graphs”, Discrete Event Dynamic Systems, 2019, 29(2): 127-143. (SCI:000472526400001, EI:20190806529446, JCR Q1)
[2017tac-b] Z. Y. Ma, Z. W. Li, A. Giua. “Characterization of Admissible Marking Sets in Petri Nets with Conflicts and Synchronizations”, IEEE Transactions on Automatic Control, 2017, 62(3): 1329-1341. (SCI: 000395924300022, EI: 20171103444853, JCR Q1)
[2017tac-a] Z. Y. Ma, Y. Tong, Z. W. Li, A. Giua. “Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem”, IEEE Transactions on Automatic Control, 2017, 62(3): 1078-1093. (SCI: 000356871400004, EI: 20155201734474, JCR Q1)
[2016aut] Z. Y. Ma, Z. W. Li, A. Giua. “Petri Net Controllers for Generalized Mutual Exclusion Constraints with Floor Operators”, Automatica, 2016, 74(12): 238-246. (SCI: 000389087200028, EI: 20164002875779, JCR Q1)
[2015aut] Z. Y. Ma, Z. W. Li, A. Giua. “Comments on ‘Maximally Permissive Supervisor Synthesis Based on a New Constraint Transformation Method’ ”, Automatica, 2015, 51(1): 131-134. (SCI: 000348015500016, EI: 20150300420825, JCR Q1)
[2015tac] Z. Y. Ma, Z. W. Li, A. Giua. “Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints”, IEEE Transactions on Automatic Control, 2015, 60(7): 1774-1785. (SCI: 000356871400004, EI: 20155201734474, JCR Q1)

(JCR Quartile is from Thomson Reuters)

 

EI Journals
Z. Y. 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: 20165203176180)
Z. Y. Jiang, X. Y. Zhang, Z. Y. Ma. “Capacity Optimization for Power Storage Systems in Smart Grids”, in Chinese, Journal of Xidian University, 2015, 42(6): 106-112. (EI: 20160101750463)

 

Conference Papers
L. Yang, Z. Y. Ma, Z. W. Li, A. Giua, “Rumor containment by blocking nodes in social networks”, IFAC 2020 World Congress (IFAC’20), Berlin, Germany, 2020, accepted, Oral Presentation.
C. Gu, Z. Y. Ma, Z. W. Li, A. Giua, “Verification of Nonblockingness in Bounded Petri Nets with a semi-Structural Approach”, In Proceedings of the IEEE 58th Conference on Decision and Control (CDC’19), Nice, France, 2019, to appear.
Z. Y. Ma, Z. He, Z. W. Li, “Supervisory Control in Partially Observable Petri Nets with Sensor Reduction”, In Proceedings of the IEEE 15th International Conference on Automation Science and Engineering (CASE’19), Vancouver, Canada, 2019, 189-194. (EI:20194107517567)
Y. H. Hu, Z. Y. Ma, Z. W. Li, “Active Diagnosis of Petri Nets Using Q-Diagnoser”, In Proceedings of the IEEE 15th International Conference on Automation Science and Engineering (CASE’19), Vancouver, Canada, 2019, 203-208. (EI:20194107517745)

Z. Y. Ma, Z. He, Z. W. Li, A. Giua, “Design of Monitor-based Supervisors in Labelled Petri Nets”, In Proceedings of the 14th International Workshop on Discrete Event Systems (WODES’18), Sorrento Coast, Italy, 2018: 374-380. (EI: 20183005584446)
Z. Y. Ma, Z. W. Li, A. Giua, “Computation of Admissible Marking Sets in Weighted State Machines by Dynamic Programming”, In Proceedings of the 56th IEEE Conference on Decision and Control (CDC’17), Melbourne, Australia, 2017: 4847-4852. (EI: 20181805127767)
Z. Y. Ma, Y. Tong, Z. W. Li, A. Giua, “Marking Estimation in Labelled Petri Nets by the Representative Marking Graph”, In Proceedings of the 20th IFAC World Congress, Toulouse, France, 2017: 11175-11181. (EI:2005108874929)
Y. Tong, Z. Y. Ma, Z. W. Li, C. Seatzu, A. Giua, “Verification of Language-Based Opacity in Petri Nets Using Verifier”, In Proceedings of the 35th American Control Conference (ACC’16), Boston, USA, 2016: 757-763. (EI: 20164302948709)
Y. Tong, Z. Y. Ma, Z. W. Li, C. Seatzu, A. Giua. “Supervisory Enforcement of Current-State Opacity with Uncomparable Observations”, In Proceedings of the 13th International Workshop on Discrete Event Systems (WODES’16), Xi’an, China, 2016: 313-318. (EI: 20163302716651)
Z. Y. Ma, Z. W. Li, A. Giua. “A Method to Verify the Controllability of Language Specifications in Petri Nets Based on Basis Marking Analysis”, In Proceedings of the 54th IEEE Conference on Decision and Control (CDC’15), Osaka, Japan, 2015: 1675-1681. (EI: 20161402197152)
Z. Y. Ma, Z. W. Li, A. Giua. “A Constraint Transformation Technique in Petri Nets with Backward-Conflict-Free Uncontrollable Structures”, In Proceedings of the 34th American Control Conference (ACC’15), Chicago, USA, 2015: 365-370. (EI: 20153701252581)
Z. Y. Ma, Z. W. Li, A. Giua. “Linear Algebraic Characterization of Legal Markings for Petri Nets Supervisors”, In Proceedings of the 19th IFAC World Congress, 2014: 2429-2434. (EI: 20152200885658)

Z. Y. Ma, Z. W. Li, A. Giua. “A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures”, In Proceedings of the 12th International Workshop on Discrete Event Systems (WODES’14), Cachan, France, 2014: 66-72. (EI: 20154501491425)
Z. Y. Ma, Z. W. Li, A. Giua. “Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints”, In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’13), Cagliari, Italy, 2013: 1-8. (EI: 20135217133640)


Last updated: March 29, 2020