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

Lan H.

First

;Tong Y.

Penultimate

;Guo J.;Giua A.

Last

2020-01-01

---

Abstract

In this note, we point out that the observer of a given discrete event system and the observer of the reversed system can be used together to verify both infinite-step opacity and K-step opacity without constructing the two-way observer in Yin and Lafortune (2017). In this way, the complexity of checking the two opacity properties can be reduced.