Pages that link to "Item:Q5125562"
From MaRDI portal
The following pages link to Synthesis of Dynamic Masks for Infinite-Step Opacity (Q5125562):
Displayed 9 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)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
- Distributed encryption fusion estimation against full eavesdropping (Q6110290) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)