Pages that link to "Item:Q2980627"
From MaRDI portal
The following pages link to Synthesis of Optimal Insertion Functions for Opacity Enforcement (Q2980627):
Displayed 7 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)