Pages that link to "Item:Q4990273"
From MaRDI portal
The following pages link to On Approximate Opacity of Cyber-Physical Systems (Q4990273):
Displayed 3 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)