Ziyue Ma

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 44

Top Topics

Discrete Event Systems

Robot Path Planning

Top Venues

IEEE Trans. Autom. Control.

IEEE Control. Syst. Lett.

Publications

Ziyue Ma, Jiagang Jiang, Kai Cai
Secret Protections With Costs and Disruptiveness in Discrete-Event Systems Using Centralities. IEEE Trans. Autom. Control. 69 (7) (2024)
Ziyue Ma, Yin Tong, Carla Seatzu
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. IEEE Trans. Autom. Control. 69 (3) (2024)
Chao Gu, Ziyue Ma, Zhiwu Li
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs. Autom. 164 (2024)
Yihui Hu, Ziyue Ma, Zhi Wu Li
Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
Pengfei Li, Ziyue Ma, Hong Wang, Juan Deng, Yan Wang, Zhenyu Xu, Feng Yan, Wenjun Tu, Hong Sha
A New Method in Facial Registration in Clinics Based on Structure Light Images. CoRR (2024)
Zhenyu Xu, Zijing Wu, Linlin Wang, Ziyue Ma, Juan Deng, Hong Sha, Hong Wang
Research on Monitoring Assistive Devices for Rehabilitation of Movement Disorders through Multi-Sensor Analysis Combined with Deep Learning. Sensors 24 (13) (2024)
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. IEEE Control. Syst. Lett. 7 (2023)
Haosheng Jiang, Zexian Huang, Ziyue Ma, Zhenxing Zhang, Jian Wu, Xubin Ping
Multi-UAV Trajectory Planning and Tracking Via Improved Informed-RRT* and MPC Algorithms. RICAI (2023)
Yin Tong, Ziyue Ma
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems. IEEE Trans. Autom. Control. 68 (7) (2023)
Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma
Performance Optimization for a Class of Petri Nets. Sensors 23 (3) (2023)
Lan Yang, Ziyue Ma, Zhiwu Li, Alessandro Giua
Rumor Containment by Blocking Nodes in Social Networks. IEEE Trans. Syst. Man Cybern. Syst. 53 (7) (2023)
Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136 (2022)
Ziyue Ma, Kai Cai
Optimal Secret Protections in Discrete-Event Systems. IEEE Trans. Autom. Control. 67 (6) (2022)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. IEEE Control. Syst. Lett. 6 (2022)
Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma
Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing. IEEE Robotics Autom. Lett. 7 (3) (2022)
Ziyue Ma, Minqiang Zou, Jiafeng Zhang, Zhiwu Li
Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis. IEEE Trans. Autom. Control. 67 (7) (2022)
Jiagang Jiang, Ziyue Ma, Kai Cai
Secret Protections in Discrete-Event Systems with Minimum Costs. ACC (2022)
Ziyue Ma, Kai Cai
On Resilient Supervisory Control Against Indefinite Actuator Attacks in Discrete-Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 52 (10) (2022)
Qibin Zheng, Yanpeng Jian, Lei Wang, Ziyue Ma, Xinyu Li, Chaofan Song, Ping Li, Li Ding
BPSK Modulation-Based Local Oscillator-Free IQ Demodulation for Millimeter Wave Imaging. J. Sensors 2021 (2021)
Ziyue Ma, Xiang Yin, Zhiwu Li
Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Autom. 133 (2021)
Ziyue Ma, Guanghui Zhu, Zhiwu Li
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs. IEEE Trans. Autom. Control. 66 (2) (2021)
Ziyue Ma, Xiang Yin, Zhiwu Li
Marking Predictability and Prediction in Labeled Petri Nets. IEEE Trans. Autom. Control. 66 (8) (2021)
Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Diagnosability enforcement in labeled Petri nets using supervisory control. Autom. 131 (2021)
Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. CoRR (2021)
Ziyue Ma, Xiang Yin, Zhiwu Li
Marking diagnosability verification in labeled Petri nets. Autom. 131 (2021)
Zhou He, Ziyue Ma, Wei Tang
Performance safety enforcement in strongly connected timed event graphs. Autom. 128 (2021)
Ziyue Ma, Guanghui Zhu, Zhiwu Li, Alessandro Giua
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming. IEEE Trans. Autom. Control. 65 (6) (2020)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. CoRR (2020)
Ziyue Ma, Xiang Yin, Zhiwu Li
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. CDC (2020)
Yihui Hu, Ziyue Ma, Zhiwu Li
Design of Supervisors for Active Diagnosis in Discrete Event Systems. IEEE Trans. Autom. Control. 65 (12) (2020)
Ziyue Ma, Jiafeng Zhang
Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees. CDC (2020)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Marking Estimation in a Class of Time Labeled Petri Nets. IEEE Trans. Autom. Control. 65 (2) (2020)
Yihui Hu, Ziyue Ma, Zhiwu Li
Active Diagnosis of Petri Nets Using Q-Diagnoser. CASE (2019)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC (2019)
Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua
An improved approach for marking optimization of timed weighted marked graphs. Discret. Event Dyn. Syst. 29 (2) (2019)
Ziyue Ma, Zhou He, Zhiwu Li
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction. CASE (2019)
Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62 (3) (2017)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC (2017)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Autom. Control. 62 (3) (2017)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74 (2016)
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
Verification of language-based opacity in Petri nets using verifier. ACC (2016)
Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua
Supervisory enforcement of current-state opacity with uncomparable observations. WODES (2016)
Ziyue Ma, ZhiWu Li, Alessandro Giua
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC (2015)
Ziyue Ma, ZhiWu Li, Alessandro Giua
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints. IEEE Trans. Autom. Control. 60 (7) (2015)
Ziyue Ma, Zhiwu Li, Alessandro Giua
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis. CDC (2015)
Ziyue Ma, ZhiWu Li, Alessandro Giua
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]. Autom. 51 (2015)
Ziyue Ma, Zhiwu Li, Alessandro Giua
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. WODES (2014)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. ETFA (2013)