Pages that link to "Item:Q4957708"
From MaRDI portal
The following pages link to Embedded Insertion Functions for Opacity Enforcement (Q4957708):
Displayed 5 items.
- Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← links)
- Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)