Pages that link to "Item:Q2665387"
From MaRDI portal
The following pages link to Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387):
Displaying 6 items.
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement (Q5125761) (← links)
- (Q5319351) (← links)