1. Verification of approximate opacity for switched systems: A compositional approach. (November 2021) Authors: Liu, Siyuan; Swikir, Abdalla; Zamani, Majid Journal: Nonlinear analysis Issue: Volume 42(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗