Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (ETFA, 2013)

A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (WODES, 2014)

A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. - Ziyue Ma; ZhiWu Li 001; Alessandro Giua (ACC, 2015)

A method to verify the controllability of language specifications in Petri nets based on basis marking analysis. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (CDC, 2015)

Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]. - Ziyue Ma; ZhiWu Li 001; Alessandro Giua (Autom., 2015)

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints. - Ziyue Ma; ZhiWu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2015)

Verification of language-based opacity in Petri nets using verifier. - Yin Tong; Ziyue Ma; ZhiWu Li 001; Carla Seatzu; Alessandro Giua (ACC, 2016)

Supervisory enforcement of current-state opacity with uncomparable observations. - Yin Tong; Ziyue Ma; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (WODES, 2016)

Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (Autom., 2016)

Computation of admissible marking sets in weighted state machines by dynamic programming. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (CDC, 2017)

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2017)

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. - Ziyue Ma; Yin Tong; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2017)

Active Diagnosis of Petri Nets Using Q-Diagnoser. - Yihui Hu; Ziyue Ma; Zhiwu Li 001 (CASE, 2019)

Supervisory Control in Partially Observable Petri Nets with Sensor Reduction. - Ziyue Ma; Zhou He 001; Zhiwu Li 001 (CASE, 2019)

Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. - Chao Gu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (CDC, 2019)

An improved approach for marking optimization of timed weighted marked graphs. - Zhou He 001; Miao Liu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (Discret. Event Dyn. Syst., 2019)

Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (CDC, 2020)

Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees. - Ziyue Ma; Jiafeng Zhang (CDC, 2020)

Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. - Chao Gu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (CoRR, 2020)

Design of Supervisors for Active Diagnosis in Discrete Event Systems. - Yihui Hu; Ziyue Ma; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2020)

Marking Estimation in a Class of Time Labeled Petri Nets. - Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2020)

Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming. - Ziyue Ma; Guanghui Zhu; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2020)

Performance safety enforcement in strongly connected timed event graphs. - Zhou He 001; Ziyue Ma; Wei Tang (Autom., 2021)

Diagnosability enforcement in labeled Petri nets using supervisory control. - Yihui Hu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (Autom., 2021)

Marking diagnosability verification in labeled Petri nets. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (Autom., 2021)

Verification and enforcement of strong infinite- and k-step opacity using state recognizers. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (Autom., 2021)

Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. - Zhou He 001; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE CAA J. Autom. Sinica, 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 061; Li Ding (J. Sensors, 2021)

Marking Predictability and Prediction in Labeled Petri Nets. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2021)

Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs. - Ziyue Ma; Guanghui Zhu; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2021)

Secret Protections in Discrete-Event Systems with Minimum Costs. - Jiagang Jiang; Ziyue Ma; Kai Cai (ACC, 2022)

Design of supervisors for linear marking specifications in labeled Petri nets. - Ziyue Ma; Zhou He 001; Zhiwu Li 001; Alessandro Giua (Autom., 2022)

Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. - Chao Gu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE Control. Syst. Lett., 2022)

On Resilient Supervisory Control Against Indefinite Actuator Attacks in Discrete-Event Systems. - Ziyue Ma; Kai Cai (IEEE Control. Syst. Lett., 2022)

Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing. - Weijie Shi; Zhou He 001; Wei Tang; Weifeng Liu 004; Ziyue Ma (IEEE Robotics Autom. Lett., 2022)

Optimal Secret Protections in Discrete-Event Systems. - Ziyue Ma; Kai Cai (IEEE Trans. Autom. Control., 2022)

Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis. - Ziyue Ma; Minqiang Zou; Jiafeng Zhang; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2022)

Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. - Chao Gu; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Syst. Man Cybern. Syst., 2022)

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 (RICAI, 2023)

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. - Weijie Shi; Zhou He 001; Ziyue Ma; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2023)

Performance Optimization for a Class of Petri Nets. - Weijie Shi; Zhou He 001; Chan Gu; Ning Ran; Ziyue Ma (Sensors, 2023)

Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems. - Yin Tong; Ziyue Ma (IEEE Trans. Autom. Control., 2023)

Rumor Containment by Blocking Nodes in Social Networks. - Lan Yang 007; Ziyue Ma; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs. - Chao Gu; Ziyue Ma; Zhiwu Li 001 (Autom., 2024)

A New Method in Facial Registration in Clinics Based on Structure Light Images. - Pengfei Li; Ziyue Ma; Hong Wang 037; Juan Deng; Yan Wang; Zhenyu Xu; Feng Yan; Wenjun Tu; Hong Sha (CoRR, 2024)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications. - Bohan Cui; Ziyue Ma; Shaoyuan Li; Xiang Yin 003 (CoRR, 2024)

Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. - Ziyue Ma; Yin Tong; Carla Seatzu (IEEE Trans. Autom. Control., 2024)

Research on Monitoring Assistive Devices for Rehabilitation of Movement Disorders through Multi-Sensor Analysis Combined with Deep Learning. - Zhenyu Xu; Zijing Wu; Linlin Wang; Ziyue Ma; Juan Deng; Hong Sha; Hong Wang 037 (Sensors, 2024)

Secret Protections With Costs and Disruptiveness in Discrete-Event Systems Using Centralities. - Ziyue Ma; Jiagang Jiang; Kai Cai (IEEE Trans. Autom. Control., 2024)

Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information. - Yihui Hu; Ziyue Ma; Zhi Wu Li 001 (IEEE Trans Autom. Sci. Eng., 2024)

Advanced Machine Learning Models for Estimating the Distribution of Sea-Surface Particulate Organic Carbon (POC) Concentrations Using Satellite Remote Sensing Data: The Mediterranean as an Example. - Chao Li; Huisheng Wu; Chaojun Yang; Long Cui; Ziyue Ma; Lejie Wang (Sensors, 2024)

Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications. - Yihui Hu; Ziyue Ma; Ruotian Liu; Maria Pia Fanti; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Actuator-Enabling Attacks in Discrete-event Systems with Unknown Supervisors. - Ziyue Ma; Alessandro Giua; Carla Seatzu (ACC, 2025)

Secret Protection in Discrete-Event Systems With Generalized Confidentiality Requirements. - Ziyue Ma; Kai Cai (IEEE Trans. Autom. Control., 2025)