Pages that link to "Item:Q2348369"
From MaRDI portal
The following pages link to Enforcing opacity of regular predicates on modal transition systems (Q2348369):
Displaying 5 items.
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
