Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]

Hao Lan, Yin Tong, Jin Guo, Alessandro Giua. Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]. Automatica, 122:109290, 2020. [doi]

Abstract

Abstract is missing.