default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZiyue Ma
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j35]Chao Gu, Ziyue Ma, Zhiwu Li:
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs. Autom. 164: 111625 (2024)- [j34]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): 4273 (2024) - [j33]Chao Li, Huisheng Wu, Chaojun Yang, Long Cui, Ziyue Ma, Lejie Wang:
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 24(17): 5669 (2024) - [j32]Ziyue Ma, Yin Tong, Carla Seatzu:
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. IEEE Trans. Autom. Control. 69(3): 2044-2051 (2024) - [j31]Ziyue Ma, Jiagang Jiang, Kai Cai:
Secret Protections With Costs and Disruptiveness in Discrete-Event Systems Using Centralities. IEEE Trans. Autom. Control. 69(7): 4380-4395 (2024) - [j30]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): 4778-4789 (2024) - [j29]Yihui Hu, Ziyue Ma, Ruotian Liu, Maria Pia Fanti, Zhiwu Li:
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications. IEEE Trans. Syst. Man Cybern. Syst. 54(10): 6242-6254 (2024) - 2023
- [j28]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: 2017-2022 (2023) - [j27]Weijie Shi, Zhou He, Chan Gu, Ning Ran, Ziyue Ma:
Performance Optimization for a Class of Petri Nets. Sensors 23(3): 1447 (2023) - [j26]Yin Tong, Ziyue Ma:
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems. IEEE Trans. Autom. Control. 68(7): 4305-4312 (2023) - [j25]Lan Yang, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Rumor Containment by Blocking Nodes in Social Networks. IEEE Trans. Syst. Man Cybern. Syst. 53(7): 3990-4002 (2023) - 2022
- [j24]Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua:
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136: 110031 (2022) - [j23]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. IEEE Control. Syst. Lett. 6: 1220-1225 (2022) - [j22]Ziyue Ma, Kai Cai:
On Resilient Supervisory Control Against Indefinite Actuator Attacks in Discrete-Event Systems. IEEE Control. Syst. Lett. 6: 2942-2947 (2022) - [j21]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): 6091-6098 (2022) - [j20]Ziyue Ma, Kai Cai:
Optimal Secret Protections in Discrete-Event Systems. IEEE Trans. Autom. Control. 67(6): 2816-2828 (2022) - [j19]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): 3685-3692 (2022) - [j18]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): 6162-6173 (2022) - 2021
- [j17]Zhou He, Ziyue Ma, Wei Tang:
Performance safety enforcement in strongly connected timed event graphs. Autom. 128: 109605 (2021) - [j16]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking diagnosability verification in labeled Petri nets. Autom. 131: 109713 (2021) - [j15]Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Diagnosability enforcement in labeled Petri nets using supervisory control. Autom. 131: 109776 (2021) - [j14]Ziyue Ma, Xiang Yin, Zhiwu Li:
Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Autom. 133: 109838 (2021) - [j13]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): 179-188 (2021) - [j12]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: 1-9 (2021) - [j11]Ziyue Ma, Guanghui Zhu, Zhiwu Li:
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs. IEEE Trans. Autom. Control. 66(2): 810-817 (2021) - [j10]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking Predictability and Prediction in Labeled Petri Nets. IEEE Trans. Autom. Control. 66(8): 3608-3623 (2021) - 2020
- [j9]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Marking Estimation in a Class of Time Labeled Petri Nets. IEEE Trans. Autom. Control. 65(2): 493-506 (2020) - [j8]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): 2662-2669 (2020) - [j7]Yihui Hu, Ziyue Ma, Zhiwu Li:
Design of Supervisors for Active Diagnosis in Discrete Event Systems. IEEE Trans. Autom. Control. 65(12): 5159-5172 (2020) - 2019
- [j6]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): 127-143 (2019) - 2017
- [j5]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): 1078-1093 (2017) - [j4]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Autom. Control. 62(3): 1329-1341 (2017) - 2016
- [j3]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74: 238-246 (2016) - 2015
- [j2]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: 131-134 (2015) - [j1]Ziyue Ma, ZhiWu Li, Alessandro Giua:
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints. IEEE Trans. Autom. Control. 60(7): 1774-1785 (2015)
Conference and Workshop Papers
- 2023
- [c14]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: 583-588 - 2022
- [c13]Jiagang Jiang, Ziyue Ma, Kai Cai:
Secret Protections in Discrete-Event Systems with Minimum Costs. ACC 2022: 3740-3745 - 2020
- [c12]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. CDC 2020: 4479-4484 - [c11]Ziyue Ma, Jiafeng Zhang:
Determining Optimal Control Sequences for Reconfiguration in Petri Nets Using Cost Trees. CDC 2020: 4485-4491 - 2019
- [c10]Ziyue Ma, Zhou He, Zhiwu Li:
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction. CASE 2019: 189-194 - [c9]Yihui Hu, Ziyue Ma, Zhiwu Li:
Active Diagnosis of Petri Nets Using Q-Diagnoser. CASE 2019: 203-208 - [c8]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC 2019: 6718-6723 - 2017
- [c7]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC 2017: 4847-4852 - 2016
- [c6]Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763 - [c5]Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Supervisory enforcement of current-state opacity with uncomparable observations. WODES 2016: 313-318 - 2015
- [c4]Ziyue Ma, ZhiWu Li, Alessandro Giua:
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC 2015: 365-370 - [c3]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: 1675-1681 - 2014
- [c2]Ziyue Ma, Zhiwu Li, Alessandro Giua:
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. WODES 2014: 66-72 - 2013
- [c1]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. ETFA 2013: 1-8
Informal and Other Publications
- 2024
- [i4]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 abs/2405.14292 (2024) - [i3]Bohan Cui, Ziyue Ma, Shaoyuan Li, Xiang Yin:
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications. CoRR abs/2409.06588 (2024) - 2021
- [i2]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. CoRR abs/2103.02475 (2021) - 2020
- [i1]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. CoRR abs/2003.14204 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
