Pages that link to "Item:Q3648711"
From MaRDI portal
The following pages link to Dynamic Observers for the Synthesis of Opaque Systems (Q3648711):
Displayed 6 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)