Pages that link to "Item:Q6099923"
From MaRDI portal
The following pages link to Verification and enforcement of current-state opacity based on a state space approach (Q6099923):
Displaying 8 items.
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver (Q6047065) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Minimum cost control of weighted networked evolutionary games with switched topologies and threshold (Q6542510) (← links)