Ziyue Ma

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Secret protections with costs and disruptiveness in discrete-event systems using centralities	2024-08-19	Paper
Verification of pattern-pattern diagnosability in partially observed discrete event systems	2024-07-21	Paper
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs	2024-06-05	Paper
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems	2023-10-02	Paper
Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis	2022-07-28	Paper
Optimal Secret Protections in Discrete-Event Systems	2022-07-28	Paper
Verification and enforcement of strong infinite- and $k$-step opacity using state recognizers	2022-01-07	Paper
Design of supervisors for linear marking specifications in labeled Petri nets	2022-01-03	Paper
Marking diagnosability verification in labeled Petri nets	2021-11-19	Paper
Performance safety enforcement in stochastic event graphs against boost and slow attacks	2021-11-19	Paper
Diagnosability enforcement in labeled Petri nets using supervisory control	2021-11-19	Paper
Marking Predictability and Prediction in Labeled Petri Nets	2021-09-09	Paper
Performance safety enforcement in strongly connected timed event graphs	2021-04-26	Paper
Design of Supervisors for Active Diagnosis in Discrete Event Systems	2021-03-12	Paper
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs	2021-03-12	Paper
Marking Estimation in a Class of Time Labeled Petri Nets	2020-10-07	Paper
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming	2020-10-07	Paper
An improved approach for marking optimization of timed weighted marked graphs	2020-01-22	Paper
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem	2017-07-27	Paper
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations	2017-07-27	Paper
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints	2017-05-16	Paper
Petri net controllers for generalized mutual exclusion constraints with floor operators	2016-11-14	Paper
Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]	2015-04-28	Paper

Research outcomes over time

This page was built for person: Ziyue Ma