Pages that link to "Item:Q2060871"
From MaRDI portal
The following pages link to Verification of approximate opacity for switched systems: a compositional approach (Q2060871):
Displaying 5 items.
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Further results on exponential stability of switched systems (Q2686529) (← links)
- (Q5209327) (← links)
- (Q5319351) (← links)
- Finite-step approximately bi-similar symbolic model for switched systems (Q6559382) (← links)