Ziyue Ma

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems	2023-10-02	Paper
Optimal Secret Protections in Discrete-Event Systems	2022-07-28	Paper
Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis	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
Performance safety enforcement in stochastic event graphs against boost and slow attacks	2021-11-19	Paper
Marking diagnosability verification in labeled Petri nets	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ziyue Ma