Pages that link to "Item:Q4990273"
From MaRDI portal
The following pages link to On Approximate Opacity of Cyber-Physical Systems (Q4990273):
Displayed 7 items.
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- Differential privacy for symbolic systems with application to Markov chains (Q6160739) (← links)