Abstract: Opacity is a notion of privacy that is well studied in computer science and discrete-event systems. It describes an eavesdropper's inability to infer a system's “secret” states by observing ...