Pages that link to "Item:Q2063098"
From MaRDI portal
The following pages link to Comparing the notions of opacity for discrete-event systems (Q2063098):
Displaying 5 items.
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
- Sensor deception attacks against security in supervisory control systems (Q6537285) (← links)
