Ziyue Ma

According to our database, Ziyue Ma authored at least 44 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.

Ziyue Ma, Yin Tong, Carla Seatzu

IEEE Trans. Autom. Control., March, 2024

2023

Rumor Containment by Blocking Nodes in Social Networks.

Lan Yang, Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE Trans. Syst. Man Cybern. Syst., July, 2023

Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems.

Yin Tong, Ziyue Ma

IEEE Trans. Autom. Control., July, 2023

Performance Optimization for a Class of Petri Nets.

Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma

Sensors, February, 2023

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.

Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin

IEEE Control. Syst. Lett., 2023

Multi-UAV Trajectory Planning and Tracking Via Improved Informed-RRT* and MPC Algorithms.

Haosheng Jiang, Zexian Huang, Ziyue Ma, Zhenxing Zhang, Jian Wu, Xubin Ping

Proceedings of the 5th International Conference on Robotics, 2023

2022

Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.

Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE Trans. Syst. Man Cybern. Syst., 2022

Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis.

Ziyue Ma, Minqiang Zou, Jiafeng Zhang, Zhiwu Li

IEEE Trans. Autom. Control., 2022

Optimal Secret Protections in Discrete-Event Systems.

Ziyue Ma, Kai Cai

IEEE Trans. Autom. Control., 2022

Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing.

Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma

IEEE Robotics Autom. Lett., 2022

On Resilient Supervisory Control Against Indefinite Actuator Attacks in Discrete-Event Systems.

Ziyue Ma, Kai Cai

IEEE Control. Syst. Lett., 2022

Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.

Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE Control. Syst. Lett., 2022

Design of supervisors for linear marking specifications in labeled Petri nets.

Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua

Autom., 2022

Secret Protections in Discrete-Event Systems with Minimum Costs.

Jiagang Jiang, Ziyue Ma, Kai Cai

Proceedings of the American Control Conference, 2022

2021

Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs.

Ziyue Ma, Guanghui Zhu, Zhiwu Li

IEEE Trans. Autom. Control., 2021

Marking Predictability and Prediction in Labeled Petri Nets.

Ziyue Ma, Xiang Yin, Zhiwu Li

IEEE Trans. Autom. Control., 2021

BPSK Modulation-Based Local Oscillator-Free IQ Demodulation for Millimeter Wave Imaging.

Qibin Zheng, Yanpeng Jian, Lei Wang, Ziyue Ma, Xinyu Li, Chaofan Song, Ping Li, Li Ding

J. Sensors, 2021

Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.

Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE CAA J. Autom. Sinica, 2021

Verification and enforcement of strong infinite- and k-step opacity using state recognizers.

Ziyue Ma, Xiang Yin, Zhiwu Li

Autom., 2021

Marking diagnosability verification in labeled Petri nets.

Ziyue Ma, Xiang Yin, Zhiwu Li

Autom., 2021

Diagnosability enforcement in labeled Petri nets using supervisory control.

Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua

Autom., 2021

Performance safety enforcement in strongly connected timed event graphs.

Zhou He, Ziyue Ma, Wei Tang

Autom., 2021

2020

Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming.

Ziyue Ma, Guanghui Zhu, Zhiwu Li, Alessandro Giua

IEEE Trans. Autom. Control., 2020

Marking Estimation in a Class of Time Labeled Petri Nets.

Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE Trans. Autom. Control., 2020

Design of Supervisors for Active Diagnosis in Discrete Event Systems.

Yihui Hu, Ziyue Ma, Zhiwu Li

IEEE Trans. Autom. Control., 2020

Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach.

Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua

CoRR, 2020

Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees.

Ziyue Ma, Jiafeng Zhang

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers.

Ziyue Ma, Xiang Yin, Zhiwu Li

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

An improved approach for marking optimization of timed weighted marked graphs.

Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua

Discret. Event Dyn. Syst., 2019

Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.

Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Supervisory Control in Partially Observable Petri Nets with Sensor Reduction.

Ziyue Ma, Zhou He, Zhiwu Li

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Active Diagnosis of Petri Nets Using Q-Diagnoser.

Yihui Hu, Ziyue Ma, Zhiwu Li

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2017

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.

Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua

IEEE Trans. Autom. Control., 2017

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.

Ziyue Ma, Zhiwu Li, Alessandro Giua

IEEE Trans. Autom. Control., 2017

Computation of admissible marking sets in weighted state machines by dynamic programming.

Ziyue Ma, Zhiwu Li, Alessandro Giua

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.

Ziyue Ma, Zhiwu Li, Alessandro Giua

Autom., 2016

Supervisory enforcement of current-state opacity with uncomparable observations.

Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Verification of language-based opacity in Petri nets using verifier.

Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua

Proceedings of the 2016 American Control Conference, 2016

2015

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.

Ziyue Ma, ZhiWu Li, Alessandro Giua

IEEE Trans. Autom. Control., 2015

Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].

Ziyue Ma, ZhiWu Li, Alessandro Giua

Autom., 2015

A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.

Ziyue Ma, Zhiwu Li, Alessandro Giua

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.

Ziyue Ma, ZhiWu Li, Alessandro Giua

Proceedings of the American Control Conference, 2015

2014

A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures.

Ziyue Ma, Zhiwu Li, Alessandro Giua

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints.

Ziyue Ma, Zhiwu Li, Alessandro Giua

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013