The following pages link to Ziyue Ma (Q340678):
Displayed 20 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101] (Q2342522) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints (Q2982662) (← links)
- Marking Predictability and Prediction in Labeled Petri Nets (Q4957608) (← links)
- Optimal Secret Protections in Discrete-Event Systems (Q5092185) (← links)
- Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis (Q5092292) (← links)
- Marking Estimation in a Class of Time Labeled Petri Nets (Q5125455) (← links)
- Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming (Q5125689) (← links)
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem (Q5282361) (← links)
- Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations (Q5282378) (← links)
- Design of Supervisors for Active Diagnosis in Discrete Event Systems (Q5853937) (← links)
- Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs (Q5854760) (← links)
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems (Q6080230) (← links)