Ziyue Ma

58 papers C 5Journal 41Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
CAE-RBNN: An Uncertainty-Aware Model of Island NDVI Prediction.
ISPRS Int. J. Geo Inf.
Zheng Xiang, Cunjin Xue, Ziyue Ma, Qingrui Liu, Zhi Li
2025 C conf
Actuator-Enabling Attacks in Discrete-event Systems with Unknown Supervisors.
ACC
Ziyue Ma, Alessandro Giua, Carla Seatzu
2025 J jnl
Secret Protection in Discrete-Event Systems With Generalized Confidentiality Requirements.
IEEE Trans. Autom. Control.
Ziyue Ma, Kai Cai
2025 — conf
The Synchronous Effect of AI-Driven Resource Orchestration: Evidence from Manufacturing Digital Transformation.
AMCIS
Ziyue Ma, Martin J. Liu, Wendy Ye, Maria Luo, Ruizhi Yuan
2025 — conf
Weakly Harmful Actuator-Enabling Attacks in Discrete-Event Systems with Unknown Supervisors.
CDC
Ziyue Ma, Alessandro Giua, Carla Seatzu
2024 J jnl
A New Method in Facial Registration in Clinics Based on Structure Light Images.
CoRR
Pengfei Li, Ziyue Ma, Hong Wang, Juan Deng, Yan Wang, Zhenyu Xu, Feng Yan, Wenjun Tu, Hong Sha
2024 J jnl
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.
Sensors
Chao Li, Huisheng Wu, Chaojun Yang, Long Cui, Ziyue Ma, Lejie Wang
2024 J jnl
Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information.
IEEE Trans Autom. Sci. Eng.
Yihui Hu, Ziyue Ma, Zhi Wu Li
2024 J jnl
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs.
Autom.
Chao Gu, Ziyue Ma, ZhiWu Li
2024 J jnl
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications.
CoRR
Bohan Cui, Ziyue Ma, Shaoyuan Li, Xiang Yin
2024 J jnl
Research on Monitoring Assistive Devices for Rehabilitation of Movement Disorders through Multi-Sensor Analysis Combined with Deep Learning.
Sensors
Zhenyu Xu, Zijing Wu, Linlin Wang, Ziyue Ma, Juan Deng, Hong Sha, Hong Wang
2024 J jnl
Secret Protections With Costs and Disruptiveness in Discrete-Event Systems Using Centralities.
IEEE Trans. Autom. Control.
Ziyue Ma, Jiagang Jiang, Kai Cai
2024 J jnl
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications.
IEEE Trans. Syst. Man Cybern. Syst.
Yihui Hu, Ziyue Ma, Ruotian Liu, Maria Pia Fanti, ZhiWu Li
2024 J jnl
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.
IEEE Trans. Autom. Control.
Ziyue Ma, Yin Tong, Carla Seatzu
2023 — conf
Multi-UAV Trajectory Planning and Tracking Via Improved Informed-RRT* and MPC Algorithms.
RICAI
Haosheng Jiang, Zexian Huang, Ziyue Ma, Zhenxing Zhang, Jian Wu, Xubin Ping
2023 J jnl
Performance Optimization for a Class of Petri Nets.
Sensors
Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma
2023 J jnl
Rumor Containment by Blocking Nodes in Social Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Lan Yang, Ziyue Ma, ZhiWu Li, Alessandro Giua
2023 J jnl
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.
IEEE Control. Syst. Lett.
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
2023 J jnl
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems.
IEEE Trans. Autom. Control.
Yin Tong, Ziyue Ma
2022 J jnl
Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis.
IEEE Trans. Autom. Control.
Ziyue Ma, Minqiang Zou, Jiafeng Zhang, ZhiWu Li
2022 J jnl
Design of supervisors for linear marking specifications in labeled Petri nets.
Autom.
Ziyue Ma, Zhou He, ZhiWu Li, Alessandro Giua
2022 J jnl
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.
IEEE Control. Syst. Lett.
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2022 J jnl
On Resilient Supervisory Control Against Indefinite Actuator Attacks in Discrete-Event Systems.
IEEE Control. Syst. Lett.
Ziyue Ma, Kai Cai
2022 J jnl
Optimal Secret Protections in Discrete-Event Systems.
IEEE Trans. Autom. Control.
Ziyue Ma, Kai Cai
2022 J jnl
Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing.
IEEE Robotics Autom. Lett.
Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma
2022 C conf
Secret Protections in Discrete-Event Systems with Minimum Costs.
ACC
Jiagang Jiang, Ziyue Ma, Kai Cai
2022 J jnl
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst.
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
BPSK Modulation-Based Local Oscillator-Free IQ Demodulation for Millimeter Wave Imaging.
J. Sensors
Qibin Zheng, Yanpeng Jian, Lei Wang, Ziyue Ma, Xinyu Li, Chaofan Song, Ping Li, Li Ding
2021 J jnl
Diagnosability enforcement in labeled Petri nets using supervisory control.
Autom.
Yihui Hu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs.
IEEE Trans. Autom. Control.
Ziyue Ma, Guanghui Zhu, ZhiWu Li
2021 J jnl
Marking Predictability and Prediction in Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ziyue Ma, Xiang Yin, ZhiWu Li
2021 J jnl
Marking diagnosability verification in labeled Petri nets.
Autom.
Ziyue Ma, Xiang Yin, ZhiWu Li
2021 J jnl
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.
CoRR
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.
IEEE CAA J. Autom. Sinica
Zhou He, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Performance safety enforcement in strongly connected timed event graphs.
Autom.
Zhou He, Ziyue Ma, Wei Tang
2021 J jnl
Verification and enforcement of strong infinite- and k-step opacity using state recognizers.
Autom.
Ziyue Ma, Xiang Yin, ZhiWu Li
2020 J jnl
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming.
IEEE Trans. Autom. Control.
Ziyue Ma, Guanghui Zhu, ZhiWu Li, Alessandro Giua
2020 J jnl
Design of Supervisors for Active Diagnosis in Discrete Event Systems.
IEEE Trans. Autom. Control.
Yihui Hu, Ziyue Ma, ZhiWu Li
2020 — conf
Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees.
CDC
Ziyue Ma, Jiafeng Zhang
2020 — conf
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers.
CDC
Ziyue Ma, Xiang Yin, ZhiWu Li
2020 J jnl
Marking Estimation in a Class of Time Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2020 J jnl
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach.
CoRR
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2019 — conf
Active Diagnosis of Petri Nets Using Q-Diagnoser.
CASE
Yihui Hu, Ziyue Ma, ZhiWu Li
2019 J jnl
An improved approach for marking optimization of timed weighted marked graphs.
Discret. Event Dyn. Syst.
Zhou He, Miao Liu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2019 — conf
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction.
CASE
Ziyue Ma, Zhou He, ZhiWu Li
2019 — conf
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.
CDC
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2017 J jnl
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control.
Ziyue Ma, Yin Tong, ZhiWu Li, Alessandro Giua
2017 J jnl
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.
IEEE Trans. Autom. Control.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2017 — conf
Computation of admissible marking sets in weighted state machines by dynamic programming.
CDC
Ziyue Ma, ZhiWu Li, Alessandro Giua
2016 J jnl
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.
Autom.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2016 — conf
Supervisory enforcement of current-state opacity with uncomparable observations.
WODES
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 C conf
Verification of language-based opacity in Petri nets using verifier.
ACC
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2015 C conf
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.
ACC
Ziyue Ma, ZhiWu Li, Alessandro Giua
2015 — conf
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.
CDC
Ziyue Ma, ZhiWu Li, Alessandro Giua
2015 J jnl
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].
Autom.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2015 J jnl
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.
IEEE Trans. Autom. Control.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2014 — conf
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures.
WODES
Ziyue Ma, ZhiWu Li, Alessandro Giua
2013 C conf
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints.
ETFA
Ziyue Ma, ZhiWu Li, Alessandro Giua