Pages that link to "Item:Q5125562"
From MaRDI portal
The following pages link to Synthesis of Dynamic Masks for Infinite-Step Opacity (Q5125562):
Displayed 5 items.
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)