Pages that link to "Item:Q6198145"
From MaRDI portal
The following pages link to Enforcing opacity by insertion functions under multiple energy constraints (Q6198145):
Displaying 4 items.
- Active opacity of discrete-event systems (Q6134222) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)