Pages that link to "Item:Q3648711"
From MaRDI portal
The following pages link to Dynamic Observers for the Synthesis of Opaque Systems (Q3648711):
Displayed 8 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)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)