Existential Opacity for Discrete-Event Systems with State Observations

Zhiyuan Huang, Zhao Tong, Jiakai Li +1

Opacity is a fundamental system property for confidentiality in discrete-event systems (DES). Classical opacity is typically defined under event-based observations, requiring that…